{
 "query": {
  "field": [
   "1"
  ],
  "discipline": [
   "Q2555318"
  ],
  "page": 2
 },
 "total": 49,
 "sort": "newest",
 "page": 2,
 "per_page": 25,
 "results": [
  {
   "id": "e1248h9",
   "iri": "https://id.confref.org/event/e1248h9",
   "kind": "event",
   "label": "e1248h9",
   "acronyms": [
    "IJCAR 2014"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318"
   ],
   "year": 2014,
   "start": "2014-07-19",
   "end": "2014-07-22",
   "series": [
    "s126hz0"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": "on site"
  },
  {
   "id": "e10tg97",
   "iri": "https://id.confref.org/event/e10tg97",
   "kind": "event",
   "label": "Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318",
    "http://www.wikidata.org/entity/Q431667"
   ],
   "year": 2014,
   "start": null,
   "end": null,
   "series": [
    "s10mnd6"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  },
  {
   "id": "e11h0xz",
   "iri": "https://id.confref.org/event/e11h0xz",
   "kind": "event",
   "label": "LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318",
    "http://www.wikidata.org/entity/Q275603",
    "http://www.wikidata.org/entity/Q5157327"
   ],
   "year": 2013,
   "start": null,
   "end": null,
   "series": [
    "s10a7nr"
   ],
   "place": "http://www.wikidata.org/entity/Q5460",
   "country": "ZA",
   "lat": -33.9367,
   "lon": 18.8614,
   "mode": null
  },
  {
   "id": "e1248gb",
   "iri": "https://id.confref.org/event/e1248gb",
   "kind": "event",
   "label": "e1248gb",
   "acronyms": [
    "IJCAR 2012"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318"
   ],
   "year": 2012,
   "start": "2012-06-25",
   "end": "2012-06-29",
   "series": [
    "s126hz0"
   ],
   "place": "http://www.wikidata.org/entity/Q18125",
   "country": "GB",
   "lat": 53.4794,
   "lon": -2.2453,
   "mode": "on site"
  },
  {
   "id": "e10tfw1",
   "iri": "https://id.confref.org/event/e10tfw1",
   "kind": "event",
   "label": "ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, Manchester, UK, June 2012",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318",
    "http://www.wikidata.org/entity/Q431667"
   ],
   "year": 2012,
   "start": null,
   "end": null,
   "series": [
    "s10mnd6"
   ],
   "place": "http://www.wikidata.org/entity/Q18125",
   "country": "GB",
   "lat": 53.4794,
   "lon": -2.2453,
   "mode": null
  },
  {
   "id": "e10tg1q",
   "iri": "https://id.confref.org/event/e10tg1q",
   "kind": "event",
   "label": "Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318",
    "http://www.wikidata.org/entity/Q431667"
   ],
   "year": 2012,
   "start": null,
   "end": null,
   "series": [
    "s10mnd6"
   ],
   "place": "http://www.wikidata.org/entity/Q18125",
   "country": "GB",
   "lat": 53.4794,
   "lon": -2.2453,
   "mode": null
  },
  {
   "id": "e10tg89",
   "iri": "https://id.confref.org/event/e10tg89",
   "kind": "event",
   "label": "Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318",
    "http://www.wikidata.org/entity/Q431667"
   ],
   "year": 2012,
   "start": null,
   "end": null,
   "series": [
    "s10mnd6"
   ],
   "place": "http://www.wikidata.org/entity/Q18125",
   "country": "GB",
   "lat": 53.4794,
   "lon": -2.2453,
   "mode": null
  },
  {
   "id": "e11wr44",
   "iri": "https://id.confref.org/event/e11wr44",
   "kind": "event",
   "label": "TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318",
    "http://www.wikidata.org/entity/Q811591"
   ],
   "year": 2011,
   "start": null,
   "end": null,
   "series": [
    "s10anr4"
   ],
   "place": "http://www.wikidata.org/entity/Q70",
   "country": "CH",
   "lat": 46.948,
   "lon": 7.4474,
   "mode": null
  },
  {
   "id": "e1248fe",
   "iri": "https://id.confref.org/event/e1248fe",
   "kind": "event",
   "label": "e1248fe",
   "acronyms": [
    "IJCAR 2010"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318"
   ],
   "year": 2010,
   "start": "2010-07-16",
   "end": "2010-07-19",
   "series": [
    "s126hz0"
   ],
   "place": "http://www.wikidata.org/entity/Q23436",
   "country": "GB",
   "lat": 55.9533,
   "lon": -3.1892,
   "mode": "on site"
  },
  {
   "id": "e105zhj",
   "iri": "https://id.confref.org/event/e105zhj",
   "kind": "event",
   "label": "International Conference on Logic for Programming Artificial Intelligence and Reasoning",
   "acronyms": [
    "LPAR"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318",
    "http://www.wikidata.org/entity/Q275603",
    "http://www.wikidata.org/entity/Q5157327"
   ],
   "year": 2010,
   "start": "2010-04-25",
   "end": "2010-05-01",
   "series": [
    "s10a7nr"
   ],
   "place": "http://www.wikidata.org/entity/Q3718",
   "country": "SN",
   "lat": 14.6726,
   "lon": -17.432,
   "mode": null
  },
  {
   "id": "e10tg7b",
   "iri": "https://id.confref.org/event/e10tg7b",
   "kind": "event",
   "label": "Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318",
    "http://www.wikidata.org/entity/Q431667"
   ],
   "year": 2010,
   "start": null,
   "end": null,
   "series": [
    "s10mnd6"
   ],
   "place": "http://www.wikidata.org/entity/Q23436",
   "country": "GB",
   "lat": 55.9533,
   "lon": -3.1892,
   "mode": null
  },
  {
   "id": "e11h0v3",
   "iri": "https://id.confref.org/event/e11h0v3",
   "kind": "event",
   "label": "Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318",
    "http://www.wikidata.org/entity/Q275603",
    "http://www.wikidata.org/entity/Q5157327"
   ],
   "year": 2010,
   "start": null,
   "end": null,
   "series": [
    "s10a7nr"
   ],
   "place": "http://www.wikidata.org/entity/Q7568",
   "country": "ID",
   "lat": -7.8005,
   "lon": 110.3913,
   "mode": null
  },
  {
   "id": "e11h0w1",
   "iri": "https://id.confref.org/event/e11h0w1",
   "kind": "event",
   "label": "Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318",
    "http://www.wikidata.org/entity/Q275603",
    "http://www.wikidata.org/entity/Q5157327"
   ],
   "year": 2010,
   "start": null,
   "end": null,
   "series": [
    "s10a7nr"
   ],
   "place": "http://www.wikidata.org/entity/Q7568",
   "country": "ID",
   "lat": -7.8005,
   "lon": 110.3913,
   "mode": null
  },
  {
   "id": "e1248dj",
   "iri": "https://id.confref.org/event/e1248dj",
   "kind": "event",
   "label": "e1248dj",
   "acronyms": [
    "IJCAR 2008"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318"
   ],
   "year": 2008,
   "start": "2008-10-08",
   "end": null,
   "series": [
    "s126hz0"
   ],
   "place": "http://www.wikidata.org/entity/Q40",
   "country": "AT",
   "lat": 48.0,
   "lon": 14.0,
   "mode": "on site"
  },
  {
   "id": "e10tg6d",
   "iri": "https://id.confref.org/event/e10tg6d",
   "kind": "event",
   "label": "Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318",
    "http://www.wikidata.org/entity/Q431667"
   ],
   "year": 2008,
   "start": null,
   "end": null,
   "series": [
    "s10mnd6"
   ],
   "place": "http://www.wikidata.org/entity/Q3130",
   "country": "AU",
   "lat": -33.8678,
   "lon": 151.21,
   "mode": null
  },
  {
   "id": "e11h0t5",
   "iri": "https://id.confref.org/event/e11h0t5",
   "kind": "event",
   "label": "Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318",
    "http://www.wikidata.org/entity/Q275603",
    "http://www.wikidata.org/entity/Q5157327"
   ],
   "year": 2008,
   "start": null,
   "end": null,
   "series": [
    "s10a7nr"
   ],
   "place": "http://www.wikidata.org/entity/Q3861",
   "country": "QA",
   "lat": 25.2861,
   "lon": 51.5294,
   "mode": null
  },
  {
   "id": "e1248cm",
   "iri": "https://id.confref.org/event/e1248cm",
   "kind": "event",
   "label": "e1248cm",
   "acronyms": [
    "IJCAR 2006"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318"
   ],
   "year": 2006,
   "start": "2006-08-16",
   "end": "2006-08-20",
   "series": [
    "s126hz0"
   ],
   "place": "http://www.wikidata.org/entity/Q5083",
   "country": "US",
   "lat": 47.605,
   "lon": -122.33,
   "mode": "on site"
  },
  {
   "id": "e10tg5f",
   "iri": "https://id.confref.org/event/e10tg5f",
   "kind": "event",
   "label": "Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318",
    "http://www.wikidata.org/entity/Q431667"
   ],
   "year": 2006,
   "start": null,
   "end": null,
   "series": [
    "s10mnd6"
   ],
   "place": "http://www.wikidata.org/entity/Q5083",
   "country": "US",
   "lat": 47.605,
   "lon": -122.33,
   "mode": null
  },
  {
   "id": "e105zdv",
   "iri": "https://id.confref.org/event/e105zdv",
   "kind": "event",
   "label": "International Conference on Logic for Programming Artificial Intelligence and Reasoning",
   "acronyms": [
    "LPAR"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318",
    "http://www.wikidata.org/entity/Q275603",
    "http://www.wikidata.org/entity/Q5157327"
   ],
   "year": 2005,
   "start": "2005-03-14",
   "end": "2005-03-18",
   "series": [
    "s10a7nr"
   ],
   "place": "http://www.wikidata.org/entity/Q1335",
   "country": "UY",
   "lat": -34.9059,
   "lon": -56.1913,
   "mode": null
  },
  {
   "id": "e1248bp",
   "iri": "https://id.confref.org/event/e1248bp",
   "kind": "event",
   "label": "e1248bp",
   "acronyms": [
    "IJCAR 2004"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318"
   ],
   "year": 2004,
   "start": "2004-04-07",
   "end": null,
   "series": [
    "s126hz0"
   ],
   "place": "http://www.wikidata.org/entity/Q36647",
   "country": "IE",
   "lat": 51.9,
   "lon": -8.4731,
   "mode": "on site"
  },
  {
   "id": "e10tg4h",
   "iri": "https://id.confref.org/event/e10tg4h",
   "kind": "event",
   "label": "Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318",
    "http://www.wikidata.org/entity/Q431667"
   ],
   "year": 2004,
   "start": null,
   "end": null,
   "series": [
    "s10mnd6"
   ],
   "place": "http://www.wikidata.org/entity/Q36647",
   "country": "IE",
   "lat": 51.9,
   "lon": -8.4731,
   "mode": null
  },
  {
   "id": "e10tgex",
   "iri": "https://id.confref.org/event/e10tgex",
   "kind": "event",
   "label": "Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004.",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318",
    "http://www.wikidata.org/entity/Q431667"
   ],
   "year": 2004,
   "start": null,
   "end": null,
   "series": [
    "s10mnd6"
   ],
   "place": "http://www.wikidata.org/entity/Q36647",
   "country": "IE",
   "lat": 51.9,
   "lon": -8.4731,
   "mode": null
  },
  {
   "id": "e1248ar",
   "iri": "https://id.confref.org/event/e1248ar",
   "kind": "event",
   "label": "e1248ar",
   "acronyms": [
    "IJCAR 2001"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318"
   ],
   "year": 2001,
   "start": "2001-06-18",
   "end": "2001-06-23",
   "series": [
    "s126hz0"
   ],
   "place": "http://www.wikidata.org/entity/Q2751",
   "country": "IT",
   "lat": 43.3183,
   "lon": 11.3314,
   "mode": "on site"
  },
  {
   "id": "e10tg3k",
   "iri": "https://id.confref.org/event/e10tg3k",
   "kind": "event",
   "label": "Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings",
   "acronyms": [],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318",
    "http://www.wikidata.org/entity/Q431667"
   ],
   "year": 2001,
   "start": null,
   "end": null,
   "series": [
    "s10mnd6"
   ],
   "place": "http://www.wikidata.org/entity/Q2751",
   "country": "IT",
   "lat": 43.3183,
   "lon": 11.3314,
   "mode": null
  }
 ]
}