{
 "query": {
  "series": [
   "s109911"
  ],
  "page": 1
 },
 "total": 23,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e10rw9z",
   "iri": "https://id.confref.org/event/e10rw9z",
   "kind": "event",
   "label": "Automated Technology for Verification and Analysis - 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2025,
   "start": null,
   "end": null,
   "series": [
    "s109911"
   ],
   "place": "http://www.wikidata.org/entity/Q1355",
   "country": "IN",
   "lat": 12.9791,
   "lon": 77.5913,
   "mode": null
  },
  {
   "id": "s109911",
   "iri": "https://id.confref.org/series/s109911",
   "kind": "series",
   "label": "International Symposium on Automated Technology for Verification and Analysis",
   "acronyms": [
    "ATVA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "first": 2004,
   "last": 2025,
   "events": 22
  },
  {
   "id": "e10rw81",
   "iri": "https://id.confref.org/event/e10rw81",
   "kind": "event",
   "label": "Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2024,
   "start": null,
   "end": null,
   "series": [
    "s109911"
   ],
   "place": "http://www.wikidata.org/entity/Q34600",
   "country": "JP",
   "lat": 35.0116,
   "lon": 135.7681,
   "mode": null
  },
  {
   "id": "e10rw73",
   "iri": "https://id.confref.org/event/e10rw73",
   "kind": "event",
   "label": "Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2023,
   "start": null,
   "end": null,
   "series": [
    "s109911"
   ],
   "place": "http://www.wikidata.org/entity/Q334",
   "country": "SG",
   "lat": 1.3,
   "lon": 103.8,
   "mode": null
  },
  {
   "id": "e10rw65",
   "iri": "https://id.confref.org/event/e10rw65",
   "kind": "event",
   "label": "Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2022,
   "start": null,
   "end": null,
   "series": [
    "s109911"
   ],
   "place": null,
   "country": null,
   "lat": null,
   "lon": null,
   "mode": null
  },
  {
   "id": "e10rw57",
   "iri": "https://id.confref.org/event/e10rw57",
   "kind": "event",
   "label": "Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2021,
   "start": null,
   "end": null,
   "series": [
    "s109911"
   ],
   "place": "http://www.wikidata.org/entity/Q140075",
   "country": "AU",
   "lat": -28.0167,
   "lon": 153.4,
   "mode": null
  },
  {
   "id": "e10rw49",
   "iri": "https://id.confref.org/event/e10rw49",
   "kind": "event",
   "label": "Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2020,
   "start": null,
   "end": null,
   "series": [
    "s109911"
   ],
   "place": "http://www.wikidata.org/entity/Q1858",
   "country": "VN",
   "lat": 21.0245,
   "lon": 105.8412,
   "mode": null
  },
  {
   "id": "e10rw3b",
   "iri": "https://id.confref.org/event/e10rw3b",
   "kind": "event",
   "label": "Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings",
   "acronyms": [
    "ATVA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2019,
   "start": "2019-10-28",
   "end": "2019-10-31",
   "series": [
    "s109911"
   ],
   "place": "http://www.wikidata.org/entity/Q1867",
   "country": "TW",
   "lat": 25.0375,
   "lon": 121.5625,
   "mode": null
  },
  {
   "id": "e10e4c6",
   "iri": "https://id.confref.org/event/e10e4c6",
   "kind": "event",
   "label": "Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings",
   "acronyms": [
    "ATVA 2018",
    "ATVA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-10-07",
   "end": "2018-10-10",
   "series": [
    "s109911"
   ],
   "place": "http://www.wikidata.org/entity/Q65",
   "country": "US",
   "lat": 34.0522,
   "lon": -118.2437,
   "mode": null
  },
  {
   "id": "e100xg0",
   "iri": "https://id.confref.org/event/e100xg0",
   "kind": "event",
   "label": "International Symposium on Automated Technology for Verification and Analysis",
   "acronyms": [
    "ATVA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2017,
   "start": "2017-10-03",
   "end": "2017-10-06",
   "series": [
    "s109911"
   ],
   "place": "http://www.wikidata.org/entity/Q1538",
   "country": "IN",
   "lat": 18.5211,
   "lon": 73.8553,
   "mode": null
  },
  {
   "id": "e100xf3",
   "iri": "https://id.confref.org/event/e100xf3",
   "kind": "event",
   "label": "International Symposium on Automated Technology for Verification and Analysis",
   "acronyms": [
    "ATVA 2016",
    "ATVA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2016,
   "start": "2016-10-17",
   "end": "2016-10-20",
   "series": [
    "s109911"
   ],
   "place": "http://www.wikidata.org/entity/Q170616",
   "country": "JP",
   "lat": 35.6073,
   "lon": 140.1064,
   "mode": null
  },
  {
   "id": "e100xe5",
   "iri": "https://id.confref.org/event/e100xe5",
   "kind": "event",
   "label": "International Symposium on Automated Technology for Verification and Analysis",
   "acronyms": [
    "ATVA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2015,
   "start": "2015-10-12",
   "end": "2015-10-15",
   "series": [
    "s109911"
   ],
   "place": "http://www.wikidata.org/entity/Q8686",
   "country": "CN",
   "lat": 31.2325,
   "lon": 121.4692,
   "mode": null
  },
  {
   "id": "e100xd7",
   "iri": "https://id.confref.org/event/e100xd7",
   "kind": "event",
   "label": "International Symposium on Automated Technology for Verification and Analysis",
   "acronyms": [
    "ATVA 2014",
    "ATVA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-11-03",
   "end": "2014-11-07",
   "series": [
    "s109911"
   ],
   "place": "http://www.wikidata.org/entity/Q3130",
   "country": "AU",
   "lat": -33.8678,
   "lon": 151.21,
   "mode": null
  },
  {
   "id": "e100xc9",
   "iri": "https://id.confref.org/event/e100xc9",
   "kind": "event",
   "label": "International Symposium on Automated Technology for Verification and Analysis",
   "acronyms": [
    "ATVA 2013",
    "ATVA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2013,
   "start": "2013-10-15",
   "end": "2013-10-18",
   "series": [
    "s109911"
   ],
   "place": "http://www.wikidata.org/entity/Q1858",
   "country": "VN",
   "lat": 21.0245,
   "lon": 105.8412,
   "mode": null
  },
  {
   "id": "e100xbb",
   "iri": "https://id.confref.org/event/e100xbb",
   "kind": "event",
   "label": "International Symposium on Automated Technology for Verification and Analysis",
   "acronyms": [
    "ATVA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2012,
   "start": "2012-10-03",
   "end": "2012-10-06",
   "series": [
    "s109911"
   ],
   "place": "http://www.wikidata.org/entity/Q167715",
   "country": "IN",
   "lat": 8.4875,
   "lon": 76.9525,
   "mode": null
  },
  {
   "id": "e100xad",
   "iri": "https://id.confref.org/event/e100xad",
   "kind": "event",
   "label": "International Symposium on Automated Technology for Verification and Analysis",
   "acronyms": [
    "ATVA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2011,
   "start": "2011-10-11",
   "end": "2011-10-14",
   "series": [
    "s109911"
   ],
   "place": "http://www.wikidata.org/entity/Q1867",
   "country": "TW",
   "lat": 25.0375,
   "lon": 121.5625,
   "mode": null
  },
  {
   "id": "e100x9f",
   "iri": "https://id.confref.org/event/e100x9f",
   "kind": "event",
   "label": "International Symposium on Automated Technology for Verification and Analysis",
   "acronyms": [
    "ATVA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2010,
   "start": "2010-09-21",
   "end": "2010-09-24",
   "series": [
    "s109911"
   ],
   "place": "http://www.wikidata.org/entity/Q334",
   "country": "SG",
   "lat": 1.3,
   "lon": 103.8,
   "mode": null
  },
  {
   "id": "e100x8h",
   "iri": "https://id.confref.org/event/e100x8h",
   "kind": "event",
   "label": "International Symposium on Automated Technology for Verification and Analysis",
   "acronyms": [
    "ATVA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2009,
   "start": "2009-10-14",
   "end": "2009-10-16",
   "series": [
    "s109911"
   ],
   "place": "http://www.wikidata.org/entity/Q14773",
   "country": "MO",
   "lat": 22.19,
   "lon": 113.5381,
   "mode": null
  },
  {
   "id": "e100x7k",
   "iri": "https://id.confref.org/event/e100x7k",
   "kind": "event",
   "label": "International Symposium on Automated Technology for Verification and Analysis",
   "acronyms": [
    "ATVA 2008",
    "ATVA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2008,
   "start": "2008-10-20",
   "end": "2008-10-23",
   "series": [
    "s109911"
   ],
   "place": "http://www.wikidata.org/entity/Q8684",
   "country": "KR",
   "lat": 37.56,
   "lon": 126.99,
   "mode": null
  },
  {
   "id": "e100x6n",
   "iri": "https://id.confref.org/event/e100x6n",
   "kind": "event",
   "label": "International Symposium on Automated Technology for Verification and Analysis",
   "acronyms": [
    "ATVA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2007,
   "start": "2007-10-22",
   "end": "2007-10-25",
   "series": [
    "s109911"
   ],
   "place": "http://www.wikidata.org/entity/Q1490",
   "country": "JP",
   "lat": 35.6894,
   "lon": 139.6917,
   "mode": null
  },
  {
   "id": "e100x5q",
   "iri": "https://id.confref.org/event/e100x5q",
   "kind": "event",
   "label": "International Symposium on Automated Technology for Verification and Analysis",
   "acronyms": [
    "ATVA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2006,
   "start": "2006-10-23",
   "end": "2006-10-26",
   "series": [
    "s109911"
   ],
   "place": "http://www.wikidata.org/entity/Q956",
   "country": "CN",
   "lat": 39.904,
   "lon": 116.4075,
   "mode": null
  },
  {
   "id": "e100x4s",
   "iri": "https://id.confref.org/event/e100x4s",
   "kind": "event",
   "label": "International Symposium on Automated Technology for Verification and Analysis",
   "acronyms": [
    "ATVA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2005,
   "start": "2005-10-04",
   "end": "2005-10-07",
   "series": [
    "s109911"
   ],
   "place": "http://www.wikidata.org/entity/Q1867",
   "country": "TW",
   "lat": 25.0375,
   "lon": 121.5625,
   "mode": null
  },
  {
   "id": "e100x3v",
   "iri": "https://id.confref.org/event/e100x3v",
   "kind": "event",
   "label": "International Symposium on Automated Technology for Verification and Analysis",
   "acronyms": [
    "ATVA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2004,
   "start": "2004-10-31",
   "end": "2004-11-03",
   "series": [
    "s109911"
   ],
   "place": "http://www.wikidata.org/entity/Q22502",
   "country": "TW",
   "lat": 23.7667,
   "lon": 121.0,
   "mode": null
  }
 ]
}