{
 "query": {
  "series": [
   "s10bncv"
  ],
  "from": 2020,
  "to": 2029,
  "page": 1
 },
 "total": 7,
 "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": "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": "e11va7e",
   "iri": "https://id.confref.org/event/e11va7e",
   "kind": "event",
   "label": "Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), Montreal, Canada, July, 22-23, 2024.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2024,
   "start": null,
   "end": null,
   "series": [
    "s10bncv"
   ],
   "place": "http://www.wikidata.org/entity/Q340",
   "country": "CA",
   "lat": 45.5033,
   "lon": -73.5868,
   "mode": null
  },
  {
   "id": "e11va6g",
   "iri": "https://id.confref.org/event/e11va6g",
   "kind": "event",
   "label": "Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy, July, 5-6, 2023.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2023,
   "start": null,
   "end": null,
   "series": [
    "s10bncv"
   ],
   "place": "http://www.wikidata.org/entity/Q220",
   "country": "IT",
   "lat": 41.8931,
   "lon": 12.4828,
   "mode": null
  },
  {
   "id": "e11va5j",
   "iri": "https://id.confref.org/event/e11va5j",
   "kind": "event",
   "label": "Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), Haifa, Israel, August 11-12, 2022.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2022,
   "start": null,
   "end": null,
   "series": [
    "s10bncv"
   ],
   "place": "http://www.wikidata.org/entity/Q41621",
   "country": "IL",
   "lat": 32.8192,
   "lon": 34.9992,
   "mode": null
  },
  {
   "id": "e11va4m",
   "iri": "https://id.confref.org/event/e11va4m",
   "kind": "event",
   "label": "Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), Online (initially located in Los Angeles, USA), July 18-19, 2021.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2021,
   "start": null,
   "end": null,
   "series": [
    "s10bncv"
   ],
   "place": "http://www.wikidata.org/entity/Q30",
   "country": "US",
   "lat": 39.8282,
   "lon": -98.5795,
   "mode": null
  },
  {
   "id": "e11va3p",
   "iri": "https://id.confref.org/event/e11va3p",
   "kind": "event",
   "label": "Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Online (initially located in Paris, France), July 5-6, 2020.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2020,
   "start": null,
   "end": null,
   "series": [
    "s10bncv"
   ],
   "place": "http://www.wikidata.org/entity/Q142",
   "country": "FR",
   "lat": 47.0,
   "lon": 2.0,
   "mode": null
  }
 ]
}