{
 "query": {
  "series": [
   "s109911"
  ],
  "from": 2000,
  "to": 2009,
  "page": 1
 },
 "total": 7,
 "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": "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
  }
 ]
}