{
 "query": {
  "series": [
   "s10ahex"
  ],
  "country": [
   "GB"
  ],
  "page": 1
 },
 "total": 6,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e11p2rx",
   "iri": "https://id.confref.org/event/e11p2rx",
   "kind": "event",
   "label": "Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, the 28th International Conference on Theory and Applications of Satisfiability Testing and the 18th International Symposium on Combinatorial Search (CP 2025 & SAT 2025 & SoCS 2025), Glasgow, UK, August 10-11, 2025.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1350299",
    "http://www.wikidata.org/entity/Q875276"
   ],
   "year": 2025,
   "start": null,
   "end": null,
   "series": [
    "s10ahex",
    "s10bncv",
    "s10mwb3",
    "s1238m5"
   ],
   "place": "http://www.wikidata.org/entity/Q4093",
   "country": "GB",
   "lat": 55.8611,
   "lon": -4.25,
   "mode": null
  },
  {
   "id": "e11r2ap",
   "iri": "https://id.confref.org/event/e11r2ap",
   "kind": "event",
   "label": "28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, Glasgow, Scotland, August 12-15, 2025",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1350299",
    "http://www.wikidata.org/entity/Q875276"
   ],
   "year": 2025,
   "start": null,
   "end": null,
   "series": [
    "s10ahex"
   ],
   "place": "http://www.wikidata.org/entity/Q4093",
   "country": "GB",
   "lat": 55.8611,
   "lon": -4.25,
   "mode": null
  },
  {
   "id": "e11r234",
   "iri": "https://id.confref.org/event/e11r234",
   "kind": "event",
   "label": "Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings",
   "acronyms": [
    "SAT"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-09",
   "end": "2018-07-12",
   "series": [
    "s10ahex"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": null
  },
  {
   "id": "e107k9b",
   "iri": "https://id.confref.org/event/e107k9b",
   "kind": "event",
   "label": "International Conference on Theory and Applications of Satisfiability Testing",
   "acronyms": [
    "SAT 2010",
    "SAT"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2010,
   "start": "2010-07-11",
   "end": "2010-07-14",
   "series": [
    "s10ahex"
   ],
   "place": "http://www.wikidata.org/entity/Q23436",
   "country": "GB",
   "lat": 55.9533,
   "lon": -3.1892,
   "mode": null
  },
  {
   "id": "e107k8d",
   "iri": "https://id.confref.org/event/e107k8d",
   "kind": "event",
   "label": "International Conference on Theory and Applications of Satisfiability Testing",
   "acronyms": [
    "SAT 2009",
    "SAT"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2009,
   "start": "2009-06-30",
   "end": "2009-07-03",
   "series": [
    "s10ahex"
   ],
   "place": "http://www.wikidata.org/entity/Q23051",
   "country": "GB",
   "lat": 51.6167,
   "lon": -3.95,
   "mode": null
  },
  {
   "id": "e107k4n",
   "iri": "https://id.confref.org/event/e107k4n",
   "kind": "event",
   "label": "International Conference on Theory and Applications of Satisfiability Testing",
   "acronyms": [
    "SAT"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2005,
   "start": "2005-06-19",
   "end": "2005-06-23",
   "series": [
    "s10ahex"
   ],
   "place": "http://www.wikidata.org/entity/Q207736",
   "country": "GB",
   "lat": 56.3389,
   "lon": -2.7989,
   "mode": null
  }
 ]
}
