{
 "query": {
  "series": [
   "s10bncv"
  ],
  "from": 2000,
  "to": 2009,
  "page": 1
 },
 "total": 5,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "s10bncv",
   "iri": "https://id.confref.org/series/s10bncv",
   "kind": "series",
   "label": "International Workshop on Satisfiability Modulo Theories (SMT)",
   "acronyms": [
    "SMT"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "first": 2004,
   "last": 2025,
   "events": 14
  },
  {
   "id": "e11va0w",
   "iri": "https://id.confref.org/event/e11va0w",
   "kind": "event",
   "label": "Proceedings of the 5th International Workshop on Satisfiability Modulo Theories, SMT@CAV 2007, Berlin, Germany, July 1-2, 2007",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2007,
   "start": null,
   "end": null,
   "series": [
    "s10bncv"
   ],
   "place": "http://www.wikidata.org/entity/Q64",
   "country": "DE",
   "lat": 52.5167,
   "lon": 13.3833,
   "mode": null
  },
  {
   "id": "e11v9zy",
   "iri": "https://id.confref.org/event/e11v9zy",
   "kind": "event",
   "label": "Combined Proceedings of the Fourth Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006) and the First International Workshop on Probabilistic Automata and Logics (PaUL 2006), Parts of FloC 2006, Seattle, WA, USA, August 2006",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2006,
   "start": null,
   "end": null,
   "series": [
    "s10bncv"
   ],
   "place": "http://www.wikidata.org/entity/Q5083",
   "country": "US",
   "lat": 47.605,
   "lon": -122.33,
   "mode": null
  },
  {
   "id": "e11v9y0",
   "iri": "https://id.confref.org/event/e11v9y0",
   "kind": "event",
   "label": "Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2005,
   "start": null,
   "end": null,
   "series": [
    "s10bncv"
   ],
   "place": "http://www.wikidata.org/entity/Q23436",
   "country": "GB",
   "lat": 55.9533,
   "lon": -3.1892,
   "mode": null
  },
  {
   "id": "e11v9x2",
   "iri": "https://id.confref.org/event/e11v9x2",
   "kind": "event",
   "label": "Selected Papers from the Workshops on Disproving, D@IJCAR 2004, and the Second International Workshop on Pragmatics of Decision Procedures, PDPAR@IJCAR 2004, Cork, Ireland, July 2004",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2004,
   "start": null,
   "end": null,
   "series": [
    "s10bncv"
   ],
   "place": "http://www.wikidata.org/entity/Q36647",
   "country": "IE",
   "lat": 51.9,
   "lon": -8.4731,
   "mode": null
  }
 ]
}