{
 "query": {
  "kind": "event",
  "discipline": [
   "Q21198"
  ],
  "series": [
   "s10ahjm"
  ],
  "page": 1
 },
 "total": 10,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e11r7y8",
   "iri": "https://id.confref.org/event/e11r7y8",
   "kind": "event",
   "label": "Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings",
   "acronyms": [
    "SBMF"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-11-26",
   "end": "2018-11-30",
   "series": [
    "s10ahjm"
   ],
   "place": "http://www.wikidata.org/entity/Q36947",
   "country": "BR",
   "lat": -12.9831,
   "lon": -38.4928,
   "mode": null
  },
  {
   "id": "e11r7xa",
   "iri": "https://id.confref.org/event/e11r7xa",
   "kind": "event",
   "label": "Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings",
   "acronyms": [
    "SBMF"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2017,
   "start": "2017-11-29",
   "end": "2017-12-01",
   "series": [
    "s10ahjm"
   ],
   "place": "http://www.wikidata.org/entity/Q48344",
   "country": "BR",
   "lat": -8.0539,
   "lon": -34.8808,
   "mode": null
  },
  {
   "id": "e107m6g",
   "iri": "https://id.confref.org/event/e107m6g",
   "kind": "event",
   "label": "Brazilian Symposium on Formal Methods",
   "acronyms": [
    "SBMF"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2016,
   "start": "2016-11-23",
   "end": "2016-11-25",
   "series": [
    "s10ahjm"
   ],
   "place": "http://www.wikidata.org/entity/Q131620",
   "country": "BR",
   "lat": -5.795,
   "lon": -35.2089,
   "mode": null
  },
  {
   "id": "e107m5j",
   "iri": "https://id.confref.org/event/e107m5j",
   "kind": "event",
   "label": "Brazilian Symposium on Formal Methods",
   "acronyms": [
    "SBMF"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2015,
   "start": "2015-09-21",
   "end": "2015-09-22",
   "series": [
    "s10ahjm"
   ],
   "place": "http://www.wikidata.org/entity/Q42800",
   "country": "BR",
   "lat": -19.9281,
   "lon": -43.9419,
   "mode": null
  },
  {
   "id": "e107m4m",
   "iri": "https://id.confref.org/event/e107m4m",
   "kind": "event",
   "label": "Brazilian Symposium on Formal Methods",
   "acronyms": [
    "SBMF"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-09-29",
   "end": "2014-10-01",
   "series": [
    "s10ahjm"
   ],
   "place": "http://www.wikidata.org/entity/Q168888",
   "country": "BR",
   "lat": -9.6658,
   "lon": -35.735,
   "mode": null
  },
  {
   "id": "e107m3p",
   "iri": "https://id.confref.org/event/e107m3p",
   "kind": "event",
   "label": "Brazilian Symposium on Formal Methods",
   "acronyms": [
    "SBMF"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2013,
   "start": "2013-09-29",
   "end": "2013-10-04",
   "series": [
    "s10ahjm"
   ],
   "place": "http://www.wikidata.org/entity/Q2844",
   "country": "BR",
   "lat": -15.7939,
   "lon": -47.8828,
   "mode": null
  },
  {
   "id": "e107m2r",
   "iri": "https://id.confref.org/event/e107m2r",
   "kind": "event",
   "label": "Brazilian Symposium on Formal Methods",
   "acronyms": [
    "SBMF"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2012,
   "start": "2012-09-23",
   "end": "2012-09-28",
   "series": [
    "s10ahjm"
   ],
   "place": "http://www.wikidata.org/entity/Q131620",
   "country": "BR",
   "lat": -5.795,
   "lon": -35.2089,
   "mode": null
  },
  {
   "id": "e107m1t",
   "iri": "https://id.confref.org/event/e107m1t",
   "kind": "event",
   "label": "Brazilian Symposium on Formal Methods",
   "acronyms": [
    "SBMF"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2011,
   "start": "2011-09-26",
   "end": "2011-09-30",
   "series": [
    "s10ahjm"
   ],
   "place": "http://www.wikidata.org/entity/Q174",
   "country": "BR",
   "lat": -23.5504,
   "lon": -46.6339,
   "mode": null
  },
  {
   "id": "e107m0w",
   "iri": "https://id.confref.org/event/e107m0w",
   "kind": "event",
   "label": "Brazilian Symposium on Formal Methods",
   "acronyms": [
    "SBMF 2010",
    "SBMF"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2010,
   "start": "2010-11-08",
   "end": "2010-11-11",
   "series": [
    "s10ahjm"
   ],
   "place": "http://www.wikidata.org/entity/Q131620",
   "country": "BR",
   "lat": -5.795,
   "lon": -35.2089,
   "mode": null
  },
  {
   "id": "e107kzy",
   "iri": "https://id.confref.org/event/e107kzy",
   "kind": "event",
   "label": "Brazilian Symposium on Formal Methods",
   "acronyms": [
    "SBMF 2009",
    "SBMF"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2009,
   "start": "2009-08-19",
   "end": "2009-08-21",
   "series": [
    "s10ahjm"
   ],
   "place": "http://www.wikidata.org/entity/Q694833",
   "country": "BR",
   "lat": -29.3789,
   "lon": -50.8739,
   "mode": null
  }
 ]
}