{
 "query": {
  "series": [
   "s109911"
  ],
  "from": 2010,
  "to": 2019,
  "page": 1
 },
 "total": 11,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "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": "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
  }
 ]
}