{
 "query": {
  "kind": "event",
  "series": [
   "s123ebj"
  ],
  "page": 1
 },
 "total": 8,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "e11rqna",
   "iri": "https://id.confref.org/event/e11rqna",
   "kind": "event",
   "label": "Proceedings of the 10th International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square 2025) Collocated with The 30th International Conference on Automated Deduction (CADE 2025), Stuttgart, Germany, August 2, 2025.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2025,
   "start": null,
   "end": null,
   "series": [
    "s123ebj"
   ],
   "place": "http://www.wikidata.org/entity/Q1022",
   "country": "DE",
   "lat": 48.7775,
   "lon": 9.18,
   "mode": null
  },
  {
   "id": "e11mzes",
   "iri": "https://id.confref.org/event/e11mzes",
   "kind": "event",
   "label": "Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024 co-located with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024), Nancy, France, July 2, 2024.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2024,
   "start": null,
   "end": null,
   "series": [
    "s1236aw",
    "s123ebj"
   ],
   "place": "http://www.wikidata.org/entity/Q40898",
   "country": "FR",
   "lat": 48.6928,
   "lon": 6.1836,
   "mode": null
  },
  {
   "id": "e11rqmc",
   "iri": "https://id.confref.org/event/e11rqmc",
   "kind": "event",
   "label": "Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2023,
   "start": null,
   "end": null,
   "series": [
    "s123ebj"
   ],
   "place": "http://www.wikidata.org/entity/Q26087",
   "country": "NO",
   "lat": 69.6496,
   "lon": 18.957,
   "mode": null
  },
  {
   "id": "e11rqke",
   "iri": "https://id.confref.org/event/e11rqke",
   "kind": "event",
   "label": "Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2022,
   "start": null,
   "end": null,
   "series": [
    "s123ebj"
   ],
   "place": "http://www.wikidata.org/entity/Q41621",
   "country": "IL",
   "lat": 32.8192,
   "lon": 34.9992,
   "mode": null
  },
  {
   "id": "e11rqjg",
   "iri": "https://id.confref.org/event/e11rqjg",
   "kind": "event",
   "label": "Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-Square@SIAM AG 2021, Virtual Event, College Station, USA, August 19-20, 2021.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2021,
   "start": null,
   "end": null,
   "series": [
    "s123ebj"
   ],
   "place": "http://www.wikidata.org/entity/Q695511",
   "country": "US",
   "lat": 30.6014,
   "lon": -96.3144,
   "mode": null
  },
  {
   "id": "e11rqhj",
   "iri": "https://id.confref.org/event/e11rqhj",
   "kind": "event",
   "label": "Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2019,
   "start": null,
   "end": null,
   "series": [
    "s123ebj"
   ],
   "place": "http://www.wikidata.org/entity/Q70",
   "country": "CH",
   "lat": 46.948,
   "lon": 7.4474,
   "mode": null
  },
  {
   "id": "e11rqgm",
   "iri": "https://id.confref.org/event/e11rqgm",
   "kind": "event",
   "label": "Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2018,
   "start": null,
   "end": null,
   "series": [
    "s123ebj"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": null
  },
  {
   "id": "e11ehq1",
   "iri": "https://id.confref.org/event/e11ehq1",
   "kind": "event",
   "label": "Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), Kaiserslautern, Germany, July 29, 2017.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [],
   "year": 2017,
   "start": null,
   "end": null,
   "series": [
    "s123ebj"
   ],
   "place": "http://www.wikidata.org/entity/Q3758",
   "country": "DE",
   "lat": 49.4447,
   "lon": 7.7689,
   "mode": null
  }
 ]
}