{
 "query": {
  "field": [
   "6"
  ],
  "discipline": [
   "Q8078"
  ],
  "page": 1
 },
 "total": 83,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "s109f9b",
   "iri": "https://id.confref.org/series/s109f9b",
   "kind": "series",
   "label": "Annual Conference on Computer Science Logic",
   "acronyms": [
    "CSL"
   ],
   "fields": [
    "1.2",
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q2878974",
    "http://www.wikidata.org/entity/Q8078"
   ],
   "first": 1987,
   "last": 2026,
   "events": 39
  },
  {
   "id": "s10as65",
   "iri": "https://id.confref.org/series/s10as65",
   "kind": "series",
   "label": "International Conference on Implementation and Application of Automata",
   "acronyms": [
    "CIAA"
   ],
   "fields": [
    "1.2",
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q192161",
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q214526",
    "http://www.wikidata.org/entity/Q8078",
    "http://www.wikidata.org/entity/Q844718"
   ],
   "first": 1996,
   "last": 2026,
   "events": 31
  },
  {
   "id": "s10b1nw",
   "iri": "https://id.confref.org/series/s10b1nw",
   "kind": "series",
   "label": "Advances in Modal Logic",
   "acronyms": [
    "AiML"
   ],
   "fields": [
    "1.2",
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q210841",
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q8078"
   ],
   "first": 1996,
   "last": 2026,
   "events": 16
  },
  {
   "id": "e10y1pk",
   "iri": "https://id.confref.org/event/e10y1pk",
   "kind": "event",
   "label": "32nd EACSL Annual Conference on Computer Science Logic",
   "acronyms": [
    "CSL 2024"
   ],
   "fields": [
    "1.2",
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q8078"
   ],
   "year": 2024,
   "start": "2024-02-19",
   "end": "2024-02-23",
   "series": [
    "s109f9b"
   ],
   "place": "http://www.wikidata.org/entity/Q2634",
   "country": "IT",
   "lat": 40.8358,
   "lon": 14.2486,
   "mode": "on site"
  },
  {
   "id": "e11ze56",
   "iri": "https://id.confref.org/event/e11ze56",
   "kind": "event",
   "label": "27th International Conference on Implementation and Application of Automata",
   "acronyms": [
    "CIAA 2023"
   ],
   "fields": [
    "1.2",
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q8078"
   ],
   "year": 2023,
   "start": "2023-09-19",
   "end": "2023-09-22",
   "series": [
    "s10as65"
   ],
   "place": "http://www.wikidata.org/entity/Q4831304",
   "country": "CY",
   "lat": 35.1957,
   "lon": 33.8759,
   "mode": "on site"
  },
  {
   "id": "e10y1nn",
   "iri": "https://id.confref.org/event/e10y1nn",
   "kind": "event",
   "label": "31st EACSL Annual Conference on Computer Science Logic",
   "acronyms": [
    "CSL 2023"
   ],
   "fields": [
    "1.2",
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q8078"
   ],
   "year": 2023,
   "start": "2023-02-13",
   "end": "2023-02-16",
   "series": [
    "s109f9b"
   ],
   "place": "http://www.wikidata.org/entity/Q270",
   "country": "PL",
   "lat": 52.23,
   "lon": 21.0111,
   "mode": "on site"
  },
  {
   "id": "e11ze48",
   "iri": "https://id.confref.org/event/e11ze48",
   "kind": "event",
   "label": "26th International Conference on Implementation and Application of Automata",
   "acronyms": [
    "CIAA 22"
   ],
   "fields": [
    "1.2",
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q8078"
   ],
   "year": 2022,
   "start": "2022-06-28",
   "end": "2022-07-01",
   "series": [
    "s10as65"
   ],
   "place": "http://www.wikidata.org/entity/Q30974",
   "country": "FR",
   "lat": 49.4431,
   "lon": 1.1025,
   "mode": "on site"
  },
  {
   "id": "e10y1mq",
   "iri": "https://id.confref.org/event/e10y1mq",
   "kind": "event",
   "label": "30th EACSL Annual Conference on Computer Science Logic",
   "acronyms": [
    "CSL 2022"
   ],
   "fields": [
    "1.2",
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q8078"
   ],
   "year": 2022,
   "start": "2022-02-14",
   "end": "2022-02-19",
   "series": [
    "s109f9b"
   ],
   "place": "http://www.wikidata.org/entity/Q3033",
   "country": "DE",
   "lat": 51.5339,
   "lon": 9.9356,
   "mode": "online"
  },
  {
   "id": "e10y1ks",
   "iri": "https://id.confref.org/event/e10y1ks",
   "kind": "event",
   "label": "29th EACSL Annual Conference on Computer Science Logic",
   "acronyms": [
    "CSL 2021"
   ],
   "fields": [
    "1.2",
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q8078"
   ],
   "year": 2021,
   "start": "2021-01-25",
   "end": "2021-01-28",
   "series": [
    "s109f9b"
   ],
   "place": "http://www.wikidata.org/entity/Q437",
   "country": "SI",
   "lat": 46.0514,
   "lon": 14.5061,
   "mode": "online"
  },
  {
   "id": "e127bkw",
   "iri": "https://id.confref.org/event/e127bkw",
   "kind": "event",
   "label": "27th International Symposium on Temporal Representation and Reasoning",
   "acronyms": [
    "TIME 2020"
   ],
   "fields": [
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q8078"
   ],
   "year": 2020,
   "start": "2020-09-23",
   "end": "2020-09-25",
   "series": [
    "s126v0n"
   ],
   "place": "http://www.wikidata.org/entity/Q38",
   "country": "IT",
   "lat": 42.5,
   "lon": 12.5,
   "mode": "on site"
  },
  {
   "id": "e12498v",
   "iri": "https://id.confref.org/event/e12498v",
   "kind": "event",
   "label": "International Conference on Inductive Logic Programming",
   "acronyms": [
    "ILP 2020"
   ],
   "fields": [
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q8078"
   ],
   "year": 2020,
   "start": "2020-09-09",
   "end": "2020-09-11",
   "series": [
    "s126j1w"
   ],
   "place": "http://www.wikidata.org/entity/Q1524",
   "country": "GR",
   "lat": 37.9842,
   "lon": 23.7281,
   "mode": "on site"
  },
  {
   "id": "e12fwhz",
   "iri": "https://id.confref.org/event/e12fwhz",
   "kind": "event",
   "label": "25th International Conference on Implementation and Application of Automata",
   "acronyms": [
    "CIAA 2020"
   ],
   "fields": [
    "1.2",
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q192161",
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q214526",
    "http://www.wikidata.org/entity/Q8078",
    "http://www.wikidata.org/entity/Q844718"
   ],
   "year": 2020,
   "start": "2020-09-08",
   "end": "2020-09-11",
   "series": [
    "s10as65"
   ],
   "place": "http://www.wikidata.org/entity/Q537323",
   "country": "GB",
   "lat": 52.7705,
   "lon": -1.2046,
   "mode": "on site"
  },
  {
   "id": "e124zzp",
   "iri": "https://id.confref.org/event/e124zzp",
   "kind": "event",
   "label": "30th International Symposium on Logic-Based Program Synthesis and Transformation",
   "acronyms": [
    "LOPSTR 2020"
   ],
   "fields": [
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q8078"
   ],
   "year": 2020,
   "start": "2020-09-07",
   "end": "2020-09-09",
   "series": [
    "s126mqd"
   ],
   "place": "http://www.wikidata.org/entity/Q1891",
   "country": "IT",
   "lat": 44.4939,
   "lon": 11.3428,
   "mode": "on site"
  },
  {
   "id": "e127dc9",
   "iri": "https://id.confref.org/event/e127dc9",
   "kind": "event",
   "label": "International Conference on Theorem Proving with Analytic Tableaux and Related Methods",
   "acronyms": [
    "TABLEAUX 2020"
   ],
   "fields": [
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q8078"
   ],
   "year": 2020,
   "start": "2020-06-29",
   "end": "2020-07-05",
   "series": [
    "s126tvz"
   ],
   "place": "http://www.wikidata.org/entity/Q90",
   "country": "FR",
   "lat": 48.8567,
   "lon": 2.3522,
   "mode": "on site"
  },
  {
   "id": "e10y1jv",
   "iri": "https://id.confref.org/event/e10y1jv",
   "kind": "event",
   "label": "28th EACSL Annual Conference on Computer Science Logic",
   "acronyms": [
    "CSL 2020"
   ],
   "fields": [
    "1.2",
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q8078"
   ],
   "year": 2020,
   "start": "2020-01-13",
   "end": "2020-01-16",
   "series": [
    "s109f9b"
   ],
   "place": "http://www.wikidata.org/entity/Q1492",
   "country": "ES",
   "lat": 41.3825,
   "lon": 2.1769,
   "mode": "on site"
  },
  {
   "id": "s126j1w",
   "iri": "https://id.confref.org/series/s126j1w",
   "kind": "series",
   "label": "International Conference on Inductive Logic Programming",
   "acronyms": [
    "ILP"
   ],
   "fields": [
    "1.2",
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q80006",
    "http://www.wikidata.org/entity/Q8078"
   ],
   "first": 2009,
   "last": 2020,
   "events": 5
  },
  {
   "id": "s126mpf",
   "iri": "https://id.confref.org/series/s126mpf",
   "kind": "series",
   "label": "IEEE Symposium on Logic in Computer Science",
   "acronyms": [
    "LICS"
   ],
   "fields": [
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q8078"
   ],
   "first": 1988,
   "last": 2020,
   "events": 35
  },
  {
   "id": "s126mqd",
   "iri": "https://id.confref.org/series/s126mqd",
   "kind": "series",
   "label": "International Symposium on Logic-based Program Synthesis and Transformation",
   "acronyms": [
    "LOPSTR"
   ],
   "fields": [
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q8078"
   ],
   "first": 2016,
   "last": 2020,
   "events": 5
  },
  {
   "id": "s126tvz",
   "iri": "https://id.confref.org/series/s126tvz",
   "kind": "series",
   "label": "International Conference on Theorem Proving with Analytic Tableaux and Related Methods",
   "acronyms": [
    "TABLEAUX"
   ],
   "fields": [
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q8078"
   ],
   "first": 2020,
   "last": 2020,
   "events": 1
  },
  {
   "id": "s126v0n",
   "iri": "https://id.confref.org/series/s126v0n",
   "kind": "series",
   "label": "International Symposium on Temporal Representation and Reasoning",
   "acronyms": [
    "TIME"
   ],
   "fields": [
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q8078"
   ],
   "first": 2018,
   "last": 2020,
   "events": 3
  },
  {
   "id": "e127bmt",
   "iri": "https://id.confref.org/event/e127bmt",
   "kind": "event",
   "label": "26th International Symposium on Temporal Representation and Reasoning",
   "acronyms": [
    "TIME 2019"
   ],
   "fields": [
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q8078"
   ],
   "year": 2019,
   "start": "2019-10-16",
   "end": "2019-10-19",
   "series": [
    "s126v0n"
   ],
   "place": "http://www.wikidata.org/entity/Q8851",
   "country": "ES",
   "lat": 36.7167,
   "lon": -4.4167,
   "mode": "on site"
  },
  {
   "id": "e124zyr",
   "iri": "https://id.confref.org/event/e124zyr",
   "kind": "event",
   "label": "29th International Symposium on Logic-based Program Synthesis and Transformation",
   "acronyms": [
    "LOPSTR 2019"
   ],
   "fields": [
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q8078"
   ],
   "year": 2019,
   "start": "2019-10-08",
   "end": "2019-10-10",
   "series": [
    "s126mqd"
   ],
   "place": "http://www.wikidata.org/entity/Q36433",
   "country": "PT",
   "lat": 41.15,
   "lon": -8.6108,
   "mode": "on site"
  },
  {
   "id": "e124z93",
   "iri": "https://id.confref.org/event/e124z93",
   "kind": "event",
   "label": "34th Annual ACM/IEEE Symposium on Logic in Computer Science",
   "acronyms": [
    "LICS 2019"
   ],
   "fields": [
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q8078"
   ],
   "year": 2019,
   "start": "2019-06-24",
   "end": "2019-06-27",
   "series": [
    "s126mpf"
   ],
   "place": "http://www.wikidata.org/entity/Q24639",
   "country": "CA",
   "lat": 49.2608,
   "lon": -123.1139,
   "mode": "on site"
  },
  {
   "id": "e127bpp",
   "iri": "https://id.confref.org/event/e127bpp",
   "kind": "event",
   "label": "25 th TIME International Symposium on Temporal Representation and Reasoning",
   "acronyms": [
    "TIME 2018"
   ],
   "fields": [
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q8078"
   ],
   "year": 2018,
   "start": "2018-10-15",
   "end": "2018-10-17",
   "series": [
    "s126v0n"
   ],
   "place": "http://www.wikidata.org/entity/Q270",
   "country": "PL",
   "lat": 52.23,
   "lon": 21.0111,
   "mode": "on site"
  },
  {
   "id": "e10y1hx",
   "iri": "https://id.confref.org/event/e10y1hx",
   "kind": "event",
   "label": "27th EACSL Annual Conference on Computer Science Logic",
   "acronyms": [
    "CSL 2018",
    "CSL"
   ],
   "fields": [
    "1.2",
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q8078"
   ],
   "year": 2018,
   "start": "2018-09-04",
   "end": "2018-09-07",
   "series": [
    "s109f9b"
   ],
   "place": "http://www.wikidata.org/entity/Q2256",
   "country": "GB",
   "lat": 52.48,
   "lon": -1.9025,
   "mode": "on site"
  }
 ]
}