{
 "query": {
  "series": [
   "s109b7k"
  ],
  "from": 1990,
  "to": 1999,
  "page": 1
 },
 "total": 11,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "s109b7k",
   "iri": "https://id.confref.org/series/s109b7k",
   "kind": "series",
   "label": "International Conference on Computer Aided Verification",
   "acronyms": [
    "CAV"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q173326",
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q80993"
   ],
   "first": 1989,
   "last": 2026,
   "events": 40
  },
  {
   "id": "e10194b",
   "iri": "https://id.confref.org/event/e10194b",
   "kind": "event",
   "label": "Computer Aided Verification",
   "acronyms": [
    "CAV 1999",
    "CAV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1999,
   "start": "1999-07-06",
   "end": "1999-07-10",
   "series": [
    "s109b7k"
   ],
   "place": "http://www.wikidata.org/entity/Q3376",
   "country": "IT",
   "lat": 46.0667,
   "lon": 11.1167,
   "mode": "on site"
  },
  {
   "id": "e10193d",
   "iri": "https://id.confref.org/event/e10193d",
   "kind": "event",
   "label": "Computer Aided Verification",
   "acronyms": [
    "CAV 1998",
    "CAV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1998,
   "start": "1998-06-28",
   "end": "1998-07-02",
   "series": [
    "s109b7k"
   ],
   "place": "http://www.wikidata.org/entity/Q24639",
   "country": "CA",
   "lat": 49.2608,
   "lon": -123.1139,
   "mode": "on site"
  },
  {
   "id": "e10192f",
   "iri": "https://id.confref.org/event/e10192f",
   "kind": "event",
   "label": "Computer Aided Verification",
   "acronyms": [
    "CAV 1997",
    "CAV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1997,
   "start": "1997-06-22",
   "end": "1997-06-25",
   "series": [
    "s109b7k"
   ],
   "place": "http://www.wikidata.org/entity/Q41621",
   "country": "IL",
   "lat": 32.8192,
   "lon": 34.9992,
   "mode": "on site"
  },
  {
   "id": "e10191h",
   "iri": "https://id.confref.org/event/e10191h",
   "kind": "event",
   "label": "Computer Aided Verification",
   "acronyms": [
    "CAV 1996",
    "CAV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1996,
   "start": "1996-07-31",
   "end": "1996-08-03",
   "series": [
    "s109b7k"
   ],
   "place": "http://www.wikidata.org/entity/Q138338",
   "country": "US",
   "lat": 40.4867,
   "lon": -74.4444,
   "mode": "on site"
  },
  {
   "id": "e10190k",
   "iri": "https://id.confref.org/event/e10190k",
   "kind": "event",
   "label": "Computer Aided Verification",
   "acronyms": [
    "CAV 1995",
    "CAV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1995,
   "start": "1995-06-03",
   "end": "1995-06-05",
   "series": [
    "s109b7k"
   ],
   "place": "http://www.wikidata.org/entity/Q3992",
   "country": "BE",
   "lat": 50.6397,
   "lon": 5.5706,
   "mode": "on site"
  },
  {
   "id": "e1018zn",
   "iri": "https://id.confref.org/event/e1018zn",
   "kind": "event",
   "label": "Computer Aided Verification",
   "acronyms": [
    "CAV 1994",
    "CAV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1994,
   "start": "1994-06-21",
   "end": "1994-06-23",
   "series": [
    "s109b7k"
   ],
   "place": "http://www.wikidata.org/entity/Q41506",
   "country": "US",
   "lat": 37.4275,
   "lon": -122.1703,
   "mode": "on site"
  },
  {
   "id": "e1018yq",
   "iri": "https://id.confref.org/event/e1018yq",
   "kind": "event",
   "label": "Computer Aided Verification",
   "acronyms": [
    "CAV 1993",
    "CAV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1993,
   "start": "1993-06-28",
   "end": "1993-07-01",
   "series": [
    "s109b7k"
   ],
   "place": "http://www.wikidata.org/entity/Q1333250",
   "country": "GR",
   "lat": 35.25,
   "lon": 25.7167,
   "mode": "on site"
  },
  {
   "id": "e1018xs",
   "iri": "https://id.confref.org/event/e1018xs",
   "kind": "event",
   "label": "Computer Aided Verification",
   "acronyms": [
    "CAV 1992",
    "CAV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1992,
   "start": "1992-06-29",
   "end": "1992-07-01",
   "series": [
    "s109b7k"
   ],
   "place": "http://www.wikidata.org/entity/Q340",
   "country": "CA",
   "lat": 45.5033,
   "lon": -73.5868,
   "mode": "on site"
  },
  {
   "id": "e1018wv",
   "iri": "https://id.confref.org/event/e1018wv",
   "kind": "event",
   "label": "Computer Aided Verification",
   "acronyms": [
    "CAV 1991",
    "CAV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1991,
   "start": "1991-07-01",
   "end": "1991-07-04",
   "series": [
    "s109b7k"
   ],
   "place": "http://www.wikidata.org/entity/Q25410",
   "country": "DK",
   "lat": 57.05,
   "lon": 9.9167,
   "mode": "on site"
  },
  {
   "id": "e1018vx",
   "iri": "https://id.confref.org/event/e1018vx",
   "kind": "event",
   "label": "Computer Aided Verification",
   "acronyms": [
    "CAV 1990",
    "CAV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1990,
   "start": "1990-06-18",
   "end": "1990-06-21",
   "series": [
    "s109b7k"
   ],
   "place": "http://www.wikidata.org/entity/Q138338",
   "country": "US",
   "lat": 40.4867,
   "lon": -74.4444,
   "mode": "on site"
  }
 ]
}
