{
 "query": {
  "series": [
   "s10ahjm"
  ],
  "country": [
   "BR"
  ],
  "page": 1
 },
 "total": 19,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e11r83y",
   "iri": "https://id.confref.org/event/e11r83y",
   "kind": "event",
   "label": "Formal Methods: Foundations and Applications - 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2025,
   "start": null,
   "end": null,
   "series": [
    "s10ahjm"
   ],
   "place": "http://www.wikidata.org/entity/Q48344",
   "country": "BR",
   "lat": -8.0539,
   "lon": -34.8808,
   "mode": null
  },
  {
   "id": "e11r820",
   "iri": "https://id.confref.org/event/e11r820",
   "kind": "event",
   "label": "Formal Methods: Foundations and Applications - 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2024,
   "start": null,
   "end": null,
   "series": [
    "s10ahjm"
   ],
   "place": "http://www.wikidata.org/entity/Q168376",
   "country": "BR",
   "lat": -20.3106,
   "lon": -40.2972,
   "mode": null
  },
  {
   "id": "e11r812",
   "iri": "https://id.confref.org/event/e11r812",
   "kind": "event",
   "label": "Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2023,
   "start": null,
   "end": null,
   "series": [
    "s10ahjm"
   ],
   "place": "http://www.wikidata.org/entity/Q40236",
   "country": "BR",
   "lat": -3.1189,
   "lon": -60.0217,
   "mode": null
  },
  {
   "id": "e10fjat",
   "iri": "https://id.confref.org/event/e10fjat",
   "kind": "event",
   "label": "Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings",
   "acronyms": [
    "SBMF 2020"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183"
   ],
   "year": 2020,
   "start": "2020-11-25",
   "end": "2020-11-27",
   "series": [
    "s10ahjm"
   ],
   "place": "http://www.wikidata.org/entity/Q188905",
   "country": "BR",
   "lat": -20.3853,
   "lon": -43.5036,
   "mode": null
  },
  {
   "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
  },
  {
   "id": "e120kdf",
   "iri": "https://id.confref.org/event/e120kdf",
   "kind": "event",
   "label": "Proceedings of the Eleventh Brazilian Symposium on Formal Methods, SBMF 2008, Salvador, Brazil, August 26-29, 2008",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2008,
   "start": null,
   "end": null,
   "series": [
    "s10ahjm"
   ],
   "place": "http://www.wikidata.org/entity/Q36947",
   "country": "BR",
   "lat": -12.9831,
   "lon": -38.4928,
   "mode": null
  },
  {
   "id": "e120j6y",
   "iri": "https://id.confref.org/event/e120j6y",
   "kind": "event",
   "label": "Proceedings of the Brazilian Symposium on Formal Methods, SBMF 2006, Natal, Rio Grande de Norte, Brazil, September 17-23, 2006",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2006,
   "start": null,
   "end": null,
   "series": [
    "s10ahjm"
   ],
   "place": "http://www.wikidata.org/entity/Q155",
   "country": "BR",
   "lat": -14.0,
   "lon": -53.0,
   "mode": null
  },
  {
   "id": "e120hye",
   "iri": "https://id.confref.org/event/e120hye",
   "kind": "event",
   "label": "Proceedings of the Second Brazilian Symposium on Formal Methods, SBMF 2005, Porto Alegre, RS, Brazil, November 30, 2005",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2005,
   "start": null,
   "end": null,
   "series": [
    "s10ahjm"
   ],
   "place": "http://www.wikidata.org/entity/Q40269",
   "country": "BR",
   "lat": -30.0328,
   "lon": -51.23,
   "mode": null
  },
  {
   "id": "e120gyf",
   "iri": "https://id.confref.org/event/e120gyf",
   "kind": "event",
   "label": "Proceedings of the Seventh Brazilian Symposium on Formal Methods, SBMF 2004, Recife, Pernambuco, Brazil, November 29 - December 1, 2004",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2004,
   "start": null,
   "end": null,
   "series": [
    "s10ahjm"
   ],
   "place": "http://www.wikidata.org/entity/Q48344",
   "country": "BR",
   "lat": -8.0539,
   "lon": -34.8808,
   "mode": null
  },
  {
   "id": "e120qcd",
   "iri": "https://id.confref.org/event/e120qcd",
   "kind": "event",
   "label": "Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2003,
   "start": null,
   "end": null,
   "series": [
    "s10ahjm"
   ],
   "place": "http://www.wikidata.org/entity/Q193016",
   "country": "BR",
   "lat": -7.2306,
   "lon": -35.8811,
   "mode": null
  }
 ]
}