{
 "query": {
  "country": [
   "AT"
  ],
  "page": 30
 },
 "total": 1515,
 "sort": "newest",
 "page": 30,
 "per_page": 25,
 "results": [
  {
   "id": "e12mp7f",
   "iri": "https://id.confref.org/event/e12mp7f",
   "kind": "event",
   "label": "Workshop on Knowledge Representation for Health-Care Data, Processes and Guidelines",
   "acronyms": [
    "KR4HC"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-07-21",
   "end": "2014-07-21",
   "series": [
    "s10969m"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  },
  {
   "id": "e11gcjb",
   "iri": "https://id.confref.org/event/e11gcjb",
   "kind": "event",
   "label": "Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014",
   "acronyms": [
    "KR"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-07-20",
   "end": "2014-07-24",
   "series": [
    "s10awej"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  },
  {
   "id": "e124vex",
   "iri": "https://id.confref.org/event/e124vex",
   "kind": "event",
   "label": "e124vex",
   "acronyms": [
    "KR 2014"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q109642276"
   ],
   "year": 2014,
   "start": "2014-07-20",
   "end": "2014-07-24",
   "series": [
    "s126m9a"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": "on site"
  },
  {
   "id": "e103gcg",
   "iri": "https://id.confref.org/event/e103gcg",
   "kind": "event",
   "label": "International Joint Conference on Automated Reasoning",
   "acronyms": [
    "FROCOS",
    "IJCAR"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-07-19",
   "end": "2014-07-22",
   "series": [
    "s109qes"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  },
  {
   "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": "e12c87e",
   "iri": "https://id.confref.org/event/e12c87e",
   "kind": "event",
   "label": "30th International Conference on Logic Programming",
   "acronyms": [
    "ICLP 2014"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q275603"
   ],
   "year": 2014,
   "start": "2014-07-19",
   "end": "2014-07-22",
   "series": [
    "s109xek"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": "on site"
  },
  {
   "id": "e12hzyx",
   "iri": "https://id.confref.org/event/e12hzyx",
   "kind": "event",
   "label": "International Conference on Automated Deduction (CADE)",
   "acronyms": [
    "CADE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-07-19",
   "end": "2014-07-24",
   "series": [
    "s109anq"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  },
  {
   "id": "e12nzvv",
   "iri": "https://id.confref.org/event/e12nzvv",
   "kind": "event",
   "label": "Analytic Tableaux and Related Methods (TABLEAUX)",
   "acronyms": [
    "TABLEAUX"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-07-19",
   "end": "2014-07-22",
   "series": [
    "s10anr4"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  },
  {
   "id": "e1019kc",
   "iri": "https://id.confref.org/event/e1019kc",
   "kind": "event",
   "label": "Computer Aided Verification",
   "acronyms": [
    "CAV 2014",
    "CAV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-07-18",
   "end": "2014-07-22",
   "series": [
    "s109b7k"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": "on site"
  },
  {
   "id": "e11wahq",
   "iri": "https://id.confref.org/event/e11wahq",
   "kind": "event",
   "label": "Workshop on Socio-Technical Aspects in Security and Trust",
   "acronyms": [
    "STAST 2014",
    "STAST"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-07-18",
   "end": "2014-07-18",
   "series": [
    "s10dfyr"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": "on site"
  },
  {
   "id": "e120tae",
   "iri": "https://id.confref.org/event/e120tae",
   "kind": "event",
   "label": "Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, WWV 2014, Vienna, Austria, July 18, 2014.",
   "acronyms": [
    "WWV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-07-18",
   "end": "2014-07-18",
   "series": [
    "s10bxqw"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  },
  {
   "id": "e120tnq",
   "iri": "https://id.confref.org/event/e120tnq",
   "kind": "event",
   "label": "Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014.",
   "acronyms": [
    "ITRS"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-07-18",
   "end": "2014-07-18",
   "series": [
    "s10dexv"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  },
  {
   "id": "e108npc",
   "iri": "https://id.confref.org/event/e108npc",
   "kind": "event",
   "label": "Working Conference on Verified Software: Theories, Tools, and Experiments",
   "acronyms": [
    "VSTTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-07-17",
   "end": "2014-07-18",
   "series": [
    "s10ar4a"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  },
  {
   "id": "e10jn6r",
   "iri": "https://id.confref.org/event/e10jn6r",
   "kind": "event",
   "label": "Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014.",
   "acronyms": [
    "DL 2014",
    "DLOG"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-07-17",
   "end": "2014-07-20",
   "series": [
    "s10mmhy"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  },
  {
   "id": "e10tybn",
   "iri": "https://id.confref.org/event/e10tybn",
   "kind": "event",
   "label": "VPT 2014. Second International Workshop on Verification and Program Transformation, July 17-18, 2014, Vienna, Austria, The workshop is an event of the Vienna Summer of Logic 2014 and it is co-located with the 26th International Conference on Computer Aided Verification CAV 2014",
   "acronyms": [
    "VPT"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-07-17",
   "end": "2014-07-18",
   "series": [
    "s10d79b"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  },
  {
   "id": "e11gtvb",
   "iri": "https://id.confref.org/event/e11gtvb",
   "kind": "event",
   "label": "Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014",
   "acronyms": [
    "LFMTP"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-07-17",
   "end": "2014-07-17",
   "series": [
    "s10ccyx"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  },
  {
   "id": "e11va1t",
   "iri": "https://id.confref.org/event/e11va1t",
   "kind": "event",
   "label": "Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, SMT 2014, affiliated with the 26th International Conference on Computer Aided Verification (CAV 2014), the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), and the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014), Vienna, Austria, July 17-18, 2014.",
   "acronyms": [
    "SMT"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-07-17",
   "end": "2014-07-18",
   "series": [
    "s10bncv"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  },
  {
   "id": "e120td8",
   "iri": "https://id.confref.org/event/e120td8",
   "kind": "event",
   "label": "Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014.",
   "acronyms": [
    "HCVS"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-07-17",
   "end": "2014-07-17",
   "series": [
    "s10cghk"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  },
  {
   "id": "e1025hj",
   "iri": "https://id.confref.org/event/e1025hj",
   "kind": "event",
   "label": "IFIP Annual Conference on Data and Applications Security and Privacy",
   "acronyms": [
    "DBSec"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-07-14",
   "end": "2014-07-16",
   "series": [
    "s109gjq"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  },
  {
   "id": "e107dwa",
   "iri": "https://id.confref.org/event/e107dwa",
   "kind": "event",
   "label": "International Conference on Rewriting Techniques and Applications",
   "acronyms": [
    "RTA",
    "TLCA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-07-14",
   "end": "2014-07-17",
   "series": [
    "s10aggs",
    "s10aper"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  },
  {
   "id": "e107kd3",
   "iri": "https://id.confref.org/event/e107kd3",
   "kind": "event",
   "label": "International Conference on Theory and Applications of Satisfiability Testing",
   "acronyms": [
    "SAT 2014",
    "SAT"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1350299",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-07-14",
   "end": "2014-07-17",
   "series": [
    "s10ahex"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  },
  {
   "id": "e10y1d6",
   "iri": "https://id.confref.org/event/e10y1d6",
   "kind": "event",
   "label": "23rd EACSL Annual Conference on Computer Science Logic",
   "acronyms": [
    "CSL 2014",
    "CSL",
    "LICS"
   ],
   "fields": [
    "1.2",
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q8078"
   ],
   "year": 2014,
   "start": "2014-07-14",
   "end": "2014-07-18",
   "series": [
    "s109f9b",
    "s10mme5"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": "on site"
  },
  {
   "id": "e124z4d",
   "iri": "https://id.confref.org/event/e124z4d",
   "kind": "event",
   "label": "e124z4d",
   "acronyms": [
    "LICS 2014"
   ],
   "fields": [
    "6.3"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q8078"
   ],
   "year": 2014,
   "start": "2014-07-14",
   "end": "2014-07-18",
   "series": [
    "s126mpf"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": "on site"
  },
  {
   "id": "e105ewd",
   "iri": "https://id.confref.org/event/e105ewd",
   "kind": "event",
   "label": "International Conference on Interactive Theorem Proving",
   "acronyms": [
    "ITP"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-07-13",
   "end": "2014-07-16",
   "series": [
    "s10a4j1"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  },
  {
   "id": "e11mt8a",
   "iri": "https://id.confref.org/event/e11mt8a",
   "kind": "event",
   "label": "Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), Vienna, Austria, July 13, 2014.",
   "acronyms": [
    "ORE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-07-13",
   "end": "2014-07-13",
   "series": [
    "s10cd1q"
   ],
   "place": "http://www.wikidata.org/entity/Q1741",
   "country": "AT",
   "lat": 48.2083,
   "lon": 16.3725,
   "mode": null
  }
 ]
}