{
 "query": {
  "kind": "event",
  "series": [
   "s10djws"
  ],
  "page": 1
 },
 "total": 28,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e120fyg",
   "iri": "https://id.confref.org/event/e120fyg",
   "kind": "event",
   "label": "Rigorous State-Based Methods - 12th International Conference, ABZ 2026, Tokyo, Japan, May 18-20, 2026, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2026,
   "start": null,
   "end": null,
   "series": [
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q1490",
   "country": "JP",
   "lat": 35.6894,
   "lon": 139.6917,
   "mode": null
  },
  {
   "id": "e120fxj",
   "iri": "https://id.confref.org/event/e120fxj",
   "kind": "event",
   "label": "Rigorous State-Based Methods - 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2025,
   "start": null,
   "end": null,
   "series": [
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q1718",
   "country": "DE",
   "lat": 51.2256,
   "lon": 6.7767,
   "mode": null
  },
  {
   "id": "e120fwm",
   "iri": "https://id.confref.org/event/e120fwm",
   "kind": "event",
   "label": "Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2024,
   "start": null,
   "end": null,
   "series": [
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q628",
   "country": "IT",
   "lat": 45.695,
   "lon": 9.67,
   "mode": null
  },
  {
   "id": "e120fvp",
   "iri": "https://id.confref.org/event/e120fvp",
   "kind": "event",
   "label": "Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2023,
   "start": null,
   "end": null,
   "series": [
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q40898",
   "country": "FR",
   "lat": 48.6928,
   "lon": 6.1836,
   "mode": null
  },
  {
   "id": "e10rhc4",
   "iri": "https://id.confref.org/event/e10rhc4",
   "kind": "event",
   "label": "Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2021,
   "start": null,
   "end": null,
   "series": [
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q3012",
   "country": "DE",
   "lat": 48.3986,
   "lon": 9.9911,
   "mode": null
  },
  {
   "id": "e10edes",
   "iri": "https://id.confref.org/event/e10edes",
   "kind": "event",
   "label": "Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings",
   "acronyms": [
    "ABZ 2020"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2020,
   "start": "2020-05-27",
   "end": "2020-05-29",
   "series": [
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q3012",
   "country": "DE",
   "lat": 48.3986,
   "lon": 9.9911,
   "mode": null
  },
  {
   "id": "e10edfq",
   "iri": "https://id.confref.org/event/e10edfq",
   "kind": "event",
   "label": "Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings",
   "acronyms": [
    "ABZ 2018",
    "ZUM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-06-05",
   "end": "2018-06-08",
   "series": [
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q79848",
   "country": "GB",
   "lat": 50.9067,
   "lon": -1.4044,
   "mode": null
  },
  {
   "id": "e10rhb6",
   "iri": "https://id.confref.org/event/e10rhb6",
   "kind": "event",
   "label": "Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings",
   "acronyms": [
    "ZUM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2016,
   "start": "2016-05-23",
   "end": "2016-05-27",
   "series": [
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q41329",
   "country": "AT",
   "lat": 48.3058,
   "lon": 14.2864,
   "mode": null
  },
  {
   "id": "e12pgnm",
   "iri": "https://id.confref.org/event/e12pgnm",
   "kind": "event",
   "label": "Alloy, ASM, B, VDM, TLA, and Z User Conference",
   "acronyms": [
    "ZUM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-06-02",
   "end": "2014-06-06",
   "series": [
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q7880",
   "country": "FR",
   "lat": 43.6044,
   "lon": 1.4433,
   "mode": null
  },
  {
   "id": "e10rh9a",
   "iri": "https://id.confref.org/event/e10rh9a",
   "kind": "event",
   "label": "Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2014,
   "start": null,
   "end": null,
   "series": [
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q7880",
   "country": "FR",
   "lat": 43.6044,
   "lon": 1.4433,
   "mode": null
  },
  {
   "id": "e10rha8",
   "iri": "https://id.confref.org/event/e10rha8",
   "kind": "event",
   "label": "ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2014,
   "start": null,
   "end": null,
   "series": [
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q7880",
   "country": "FR",
   "lat": 43.6044,
   "lon": 1.4433,
   "mode": null
  },
  {
   "id": "e10029a",
   "iri": "https://id.confref.org/event/e10029a",
   "kind": "event",
   "label": "International Conference on Abstract State Machines, Alloy, B, VDM, and Z",
   "acronyms": [
    "ABZ 2012",
    "ABZ",
    "ZUM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2012,
   "start": "2012-06-18",
   "end": "2012-06-21",
   "series": [
    "s109440",
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q13375",
   "country": "IT",
   "lat": 43.7167,
   "lon": 10.4,
   "mode": null
  },
  {
   "id": "e10rh8c",
   "iri": "https://id.confref.org/event/e10rh8c",
   "kind": "event",
   "label": "Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings",
   "acronyms": [
    "ZUM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2010,
   "start": "2010-02-22",
   "end": "2010-02-25",
   "series": [
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q3355910",
   "country": "CA",
   "lat": 45.3833,
   "lon": -72.2,
   "mode": null
  },
  {
   "id": "e10dw40",
   "iri": "https://id.confref.org/event/e10dw40",
   "kind": "event",
   "label": "Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings",
   "acronyms": [
    "ABZ 2008",
    "ZUM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2008,
   "start": "2008-09-16",
   "end": "2008-09-18",
   "series": [
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q84",
   "country": "GB",
   "lat": 51.5072,
   "lon": -0.1275,
   "mode": null
  },
  {
   "id": "e12pgmp",
   "iri": "https://id.confref.org/event/e12pgmp",
   "kind": "event",
   "label": "Alloy, ASM, B, VDM, TLA, and Z User Conference",
   "acronyms": [
    "ZUM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2007,
   "start": "2007-01-01",
   "end": "2007-01-01",
   "series": [
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q37100",
   "country": "NZ",
   "lat": -36.8492,
   "lon": 174.7653,
   "mode": null
  },
  {
   "id": "e12pgkr",
   "iri": "https://id.confref.org/event/e12pgkr",
   "kind": "event",
   "label": "Alloy, ASM, B, VDM, TLA, and Z User Conference",
   "acronyms": [
    "ZUM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2006,
   "start": "2006-01-01",
   "end": "2006-01-01",
   "series": [
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q38453",
   "country": "US",
   "lat": 34.0006,
   "lon": -81.0442,
   "mode": null
  },
  {
   "id": "e120fze",
   "iri": "https://id.confref.org/event/e120fze",
   "kind": "event",
   "label": "ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings",
   "acronyms": [
    "ZUM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2005,
   "start": "2005-04-13",
   "end": "2005-04-15",
   "series": [
    "s10cqxm",
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q213465",
   "country": "GB",
   "lat": 51.2354,
   "lon": -0.5746,
   "mode": null
  },
  {
   "id": "e10dm2c",
   "iri": "https://id.confref.org/event/e10dm2c",
   "kind": "event",
   "label": "ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings",
   "acronyms": [
    "B",
    "ZB 2003",
    "ZUM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2003,
   "start": "2003-06-04",
   "end": "2003-06-06",
   "series": [
    "s10cqxm",
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q38511",
   "country": "FI",
   "lat": 60.4517,
   "lon": 22.2669,
   "mode": null
  },
  {
   "id": "e10022r",
   "iri": "https://id.confref.org/event/e10022r",
   "kind": "event",
   "label": "International Conference of B and Z Users",
   "acronyms": [
    "B",
    "ZB 2002",
    "ZB"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2002,
   "start": "2002-01-23",
   "end": "2002-01-25",
   "series": [
    "s109440",
    "s10cqxm",
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q1289",
   "country": "FR",
   "lat": 45.1869,
   "lon": 5.7264,
   "mode": null
  },
  {
   "id": "e10dm3a",
   "iri": "https://id.confref.org/event/e10dm3a",
   "kind": "event",
   "label": "ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings",
   "acronyms": [
    "B",
    "ZB 2000",
    "ZUM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2000,
   "start": "2000-08-29",
   "end": "2000-09-02",
   "series": [
    "s10cqxm",
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q42462",
   "country": "GB",
   "lat": 53.95,
   "lon": -1.0833,
   "mode": null
  },
  {
   "id": "e10dtvk",
   "iri": "https://id.confref.org/event/e10dtvk",
   "kind": "event",
   "label": "ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings",
   "acronyms": [
    "ZUM 1998",
    "ZUM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1998,
   "start": "1998-09-24",
   "end": "1998-09-26",
   "series": [
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q64",
   "country": "DE",
   "lat": 52.5167,
   "lon": 13.3833,
   "mode": null
  },
  {
   "id": "e120g44",
   "iri": "https://id.confref.org/event/e120g44",
   "kind": "event",
   "label": "ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings",
   "acronyms": [
    "ZUM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1997,
   "start": "1997-04-03",
   "end": "1997-04-04",
   "series": [
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q161491",
   "country": "GB",
   "lat": 51.4542,
   "lon": -0.9731,
   "mode": null
  },
  {
   "id": "e1001y0",
   "iri": "https://id.confref.org/event/e1001y0",
   "kind": "event",
   "label": "International Conference of Z Users",
   "acronyms": [
    "ZUM 1995",
    "ZUM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1995,
   "start": "1995-09-07",
   "end": "1995-09-09",
   "series": [
    "s109440",
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q133315",
   "country": "IE",
   "lat": 52.6653,
   "lon": -8.6238,
   "mode": null
  },
  {
   "id": "e120g36",
   "iri": "https://id.confref.org/event/e120g36",
   "kind": "event",
   "label": "Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings",
   "acronyms": [
    "ZUM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1994,
   "start": "1994-06-29",
   "end": "1994-06-30",
   "series": [
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q350",
   "country": "GB",
   "lat": 52.2081,
   "lon": 0.1225,
   "mode": null
  },
  {
   "id": "e120g28",
   "iri": "https://id.confref.org/event/e120g28",
   "kind": "event",
   "label": "Z User Workshop, London, UK, 14-15 December 1992, Proceedings",
   "acronyms": [
    "ZUM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1992,
   "start": "1992-12-14",
   "end": "1992-12-15",
   "series": [
    "s10djws"
   ],
   "place": "http://www.wikidata.org/entity/Q84",
   "country": "GB",
   "lat": 51.5072,
   "lon": -0.1275,
   "mode": null
  }
 ]
}