{
 "query": {
  "field": [
   "1"
  ],
  "discipline": [
   "Q21198"
  ],
  "series": [
   "s10d7e1"
  ],
  "page": 1
 },
 "total": 8,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "s10d7e1",
   "iri": "https://id.confref.org/series/s10d7e1",
   "kind": "series",
   "label": "International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2)",
   "acronyms": [
    "ACL2"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "first": 2006,
   "last": 2025,
   "events": 11
  },
  {
   "id": "e120x7h",
   "iri": "https://id.confref.org/event/e120x7h",
   "kind": "event",
   "label": "Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018.",
   "acronyms": [
    "ACL2"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-11-05",
   "end": "2018-11-06",
   "series": [
    "s10d7e1"
   ],
   "place": "http://www.wikidata.org/entity/Q16559",
   "country": "US",
   "lat": 30.3,
   "lon": -97.7333,
   "mode": null
  },
  {
   "id": "e120wd6",
   "iri": "https://id.confref.org/event/e120wd6",
   "kind": "event",
   "label": "Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, May 22-23, 2017.",
   "acronyms": [
    "ACL2"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2017,
   "start": "2017-05-22",
   "end": "2017-05-23",
   "series": [
    "s10d7e1"
   ],
   "place": "http://www.wikidata.org/entity/Q16559",
   "country": "US",
   "lat": 30.3,
   "lon": -97.7333,
   "mode": null
  },
  {
   "id": "e120v3v",
   "iri": "https://id.confref.org/event/e120v3v",
   "kind": "event",
   "label": "Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, 1-2 October 2015.",
   "acronyms": [
    "ACL2"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2015,
   "start": "2015-10-01",
   "end": "2015-10-02",
   "series": [
    "s10d7e1"
   ],
   "place": "http://www.wikidata.org/entity/Q16559",
   "country": "US",
   "lat": 30.3,
   "lon": -97.7333,
   "mode": null
  },
  {
   "id": "e120t10",
   "iri": "https://id.confref.org/event/e120t10",
   "kind": "event",
   "label": "Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014.",
   "acronyms": [
    "ACL2"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-01-01",
   "end": "2014-01-01",
   "series": [
    "s10d7e1"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  },
  {
   "id": "e120s8k",
   "iri": "https://id.confref.org/event/e120s8k",
   "kind": "event",
   "label": "Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2013, Laramie, Wyoming, USA, May 30-31, 2013.",
   "acronyms": [
    "ACL2"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2013,
   "start": "2013-05-30",
   "end": "2013-05-31",
   "series": [
    "s10d7e1"
   ],
   "place": "http://www.wikidata.org/entity/Q327515",
   "country": "US",
   "lat": 41.3111,
   "lon": -105.5936,
   "mode": null
  },
  {
   "id": "e1212kh",
   "iri": "https://id.confref.org/event/e1212kh",
   "kind": "event",
   "label": "Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2011, Austin, Texas, USA, November 3-4, 2011.",
   "acronyms": [
    "ACL2"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2011,
   "start": "2011-11-03",
   "end": "2011-11-04",
   "series": [
    "s10d7e1"
   ],
   "place": "http://www.wikidata.org/entity/Q16559",
   "country": "US",
   "lat": 30.3,
   "lon": -97.7333,
   "mode": null
  },
  {
   "id": "e10p6ck",
   "iri": "https://id.confref.org/event/e10p6ck",
   "kind": "event",
   "label": "Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006, Seattle, Washington, USA, August 15-16, 2006",
   "acronyms": [
    "ACL2"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2006,
   "start": "2006-08-15",
   "end": "2006-08-16",
   "series": [
    "s10d7e1"
   ],
   "place": "http://www.wikidata.org/entity/Q5083",
   "country": "US",
   "lat": 47.605,
   "lon": -122.33,
   "mode": null
  }
 ]
}