{
 "query": {
  "series": [
   "s10ahjm"
  ],
  "from": 2020,
  "to": 2029,
  "page": 1
 },
 "total": 7,
 "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": "s10ahjm",
   "iri": "https://id.confref.org/series/s10ahjm",
   "kind": "series",
   "label": "Brazilian Symposium on Formal Methods",
   "acronyms": [
    "SBMF"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "first": 2003,
   "last": 2025,
   "events": 21
  },
  {
   "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": "e11r804",
   "iri": "https://id.confref.org/event/e11r804",
   "kind": "event",
   "label": "Formal Methods: Foundations and Applications - 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2022,
   "start": null,
   "end": null,
   "series": [
    "s10ahjm"
   ],
   "place": null,
   "country": null,
   "lat": null,
   "lon": null,
   "mode": null
  },
  {
   "id": "e11r7z6",
   "iri": "https://id.confref.org/event/e11r7z6",
   "kind": "event",
   "label": "Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2021,
   "start": null,
   "end": null,
   "series": [
    "s10ahjm"
   ],
   "place": null,
   "country": null,
   "lat": null,
   "lon": null,
   "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
  }
 ]
}