{
 "query": {
  "field": [
   "1.2"
  ],
  "country": [
   "GB"
  ],
  "page": 31
 },
 "total": 2936,
 "sort": "newest",
 "page": 31,
 "per_page": 25,
 "results": [
  {
   "id": "e11ny1j",
   "iri": "https://id.confref.org/event/e11ny1j",
   "kind": "event",
   "label": "Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, PODC 2018, Egham, United Kingdom, July 23-27, 2018",
   "acronyms": [
    "PODC"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-23",
   "end": "2018-07-27",
   "series": [
    "s10mwjm"
   ],
   "place": "http://www.wikidata.org/entity/Q746681",
   "country": "GB",
   "lat": 51.4289,
   "lon": -0.5479,
   "mode": null
  },
  {
   "id": "e10eyns",
   "iri": "https://id.confref.org/event/e10eyns",
   "kind": "event",
   "label": "Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers",
   "acronyms": [
    "VSTTE 2018",
    "VSTTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-18",
   "end": "2018-07-19",
   "series": [
    "s10ar4a"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": null
  },
  {
   "id": "e118vm9",
   "iri": "https://id.confref.org/event/e118vm9",
   "kind": "event",
   "label": "Digitalisation, Innovation, and Transformation - 18th IFIP WG 8.1 International Conference on Informatics and Semiotics in Organisations, ICISO 2018, Reading, UK, July 16-18, 2018, Proceedings",
   "acronyms": [
    "ICISO"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-16",
   "end": "2018-07-18",
   "series": [
    "s109x55"
   ],
   "place": "http://www.wikidata.org/entity/Q161491",
   "country": "GB",
   "lat": 51.4542,
   "lon": -0.9731,
   "mode": null
  },
  {
   "id": "e113jh2",
   "iri": "https://id.confref.org/event/e113jh2",
   "kind": "event",
   "label": "22nd International Symposium on Formal Methods",
   "acronyms": [
    "FM 2018",
    "FM"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q1049183",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-15",
   "end": "2018-07-17",
   "series": [
    "s109pnb"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": "on site"
  },
  {
   "id": "e10txwk",
   "iri": "https://id.confref.org/event/e10txwk",
   "kind": "event",
   "label": "International Conference on Computer Aided Verification",
   "acronyms": [
    "CAV 2018",
    "CAV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-14",
   "end": "2018-07-17",
   "series": [
    "s109b7k"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": "on site"
  },
  {
   "id": "e118zvq",
   "iri": "https://id.confref.org/event/e118zvq",
   "kind": "event",
   "label": "34th International Conference on Logic Programming",
   "acronyms": [
    "ICLP 2018",
    "ICLP"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q275603"
   ],
   "year": 2018,
   "start": "2018-07-14",
   "end": "2018-07-17",
   "series": [
    "s109xek"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": "on site"
  },
  {
   "id": "e1248k5",
   "iri": "https://id.confref.org/event/e1248k5",
   "kind": "event",
   "label": "9th International Joint Conference on Automated Reasoning",
   "acronyms": [
    "IJCAR 2018"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q2555318"
   ],
   "year": 2018,
   "start": "2018-07-14",
   "end": "2018-07-17",
   "series": [
    "s126hz0"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": "on site"
  },
  {
   "id": "e12k5q1",
   "iri": "https://id.confref.org/event/e12k5q1",
   "kind": "event",
   "label": "Frontiers of Combining Systems (FroCoS)",
   "acronyms": [
    "FROCOS"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-14",
   "end": "2018-07-17",
   "series": [
    "s109qes"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": null
  },
  {
   "id": "e12m6ha",
   "iri": "https://id.confref.org/event/e12m6ha",
   "kind": "event",
   "label": "International Joint Conference on Automated Reasoning",
   "acronyms": [
    "IJCAR"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-14",
   "end": "2018-07-17",
   "series": [
    "s109qes"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": null
  },
  {
   "id": "e12nzxq",
   "iri": "https://id.confref.org/event/e12nzxq",
   "kind": "event",
   "label": "Analytic Tableaux and Related Methods (TABLEAUX)",
   "acronyms": [
    "TABLEAUX"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-14",
   "end": "2018-07-17",
   "series": [
    "s10anr4"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": null
  },
  {
   "id": "e11pv4d",
   "iri": "https://id.confref.org/event/e11pv4d",
   "kind": "event",
   "label": "Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom, July 13, 2018.",
   "acronyms": [
    "RCRA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-13",
   "end": "2018-07-13",
   "series": [
    "s10dezq"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": null
  },
  {
   "id": "e12j00q",
   "iri": "https://id.confref.org/event/e12j00q",
   "kind": "event",
   "label": "International Conference on Automated Deduction (CADE)",
   "acronyms": [
    "CADE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-13",
   "end": "2018-07-19",
   "series": [
    "s109anq"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": null
  },
  {
   "id": "e10pmb7",
   "iri": "https://id.confref.org/event/e10pmb7",
   "kind": "event",
   "label": "6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018",
   "acronyms": [
    "ADHS"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-11",
   "end": "2018-07-13",
   "series": [
    "s10c3y6"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": null
  },
  {
   "id": "e11wx9n",
   "iri": "https://id.confref.org/event/e11wx9n",
   "kind": "event",
   "label": "10th USENIX Workshop on the Theory and Practice of Provenance, TaPP 2018, London, UK, July 11-12, 2018.",
   "acronyms": [
    "TAPP"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-11",
   "end": "2018-07-12",
   "series": [
    "s10cgys"
   ],
   "place": "http://www.wikidata.org/entity/Q84",
   "country": "GB",
   "lat": 51.5072,
   "lon": -0.1275,
   "mode": null
  },
  {
   "id": "e11433c",
   "iri": "https://id.confref.org/event/e11433c",
   "kind": "event",
   "label": "21st International Conference on Information Fusion, FUSION 2018, Cambridge, UK, July 10-13, 2018",
   "acronyms": [
    "FUSION"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-10",
   "end": "2018-07-13",
   "series": [
    "s10bfw0"
   ],
   "place": "http://www.wikidata.org/entity/Q350",
   "country": "GB",
   "lat": 52.2081,
   "lon": 0.1225,
   "mode": null
  },
  {
   "id": "e10e37h",
   "iri": "https://id.confref.org/event/e10e37h",
   "kind": "event",
   "label": "Medical Image Understanding and Analysis - 22nd Conference, MIUA 2018, Southampton, UK, July 9-11, 2018, Proceedings",
   "acronyms": [
    "MIUA 2018",
    "MIUA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-09",
   "end": "2018-07-11",
   "series": [
    "s10a9jw"
   ],
   "place": "http://www.wikidata.org/entity/Q79848",
   "country": "GB",
   "lat": 50.9067,
   "lon": -1.4044,
   "mode": null
  },
  {
   "id": "e10y01z",
   "iri": "https://id.confref.org/event/e10y01z",
   "kind": "event",
   "label": "31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018",
   "acronyms": [
    "CSFW"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-09",
   "end": "2018-07-12",
   "series": [
    "s10b3db"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": null
  },
  {
   "id": "e112rnp",
   "iri": "https://id.confref.org/event/e112rnp",
   "kind": "event",
   "label": "Electronic Visualisation and the Arts, EVA London 2018, London, UK, July 9-13, 2018",
   "acronyms": [
    "EVA"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-09",
   "end": "2018-07-13",
   "series": [
    "s10c7gy"
   ],
   "place": "http://www.wikidata.org/entity/Q84",
   "country": "GB",
   "lat": 51.5072,
   "lon": -0.1275,
   "mode": null
  },
  {
   "id": "e11d3c8",
   "iri": "https://id.confref.org/event/e11d3c8",
   "kind": "event",
   "label": "Provenance and Annotation of Data and Processes - 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings",
   "acronyms": [
    "IPAW"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-09",
   "end": "2018-07-10",
   "series": [
    "s10a29p"
   ],
   "place": "http://www.wikidata.org/entity/Q84",
   "country": "GB",
   "lat": 51.5072,
   "lon": -0.1275,
   "mode": null
  },
  {
   "id": "e11f3b6",
   "iri": "https://id.confref.org/event/e11f3b6",
   "kind": "event",
   "label": "Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings",
   "acronyms": [
    "ITP"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-09",
   "end": "2018-07-12",
   "series": [
    "s10a4j1"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": null
  },
  {
   "id": "e11gvse",
   "iri": "https://id.confref.org/event/e11gvse",
   "kind": "event",
   "label": "Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018",
   "acronyms": [
    "LICS"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-09",
   "end": "2018-07-12",
   "series": [
    "s10mme5"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": null
  },
  {
   "id": "e11r234",
   "iri": "https://id.confref.org/event/e11r234",
   "kind": "event",
   "label": "Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings",
   "acronyms": [
    "SAT"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-09",
   "end": "2018-07-12",
   "series": [
    "s10ahex"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": null
  },
  {
   "id": "e114tzw",
   "iri": "https://id.confref.org/event/e114tzw",
   "kind": "event",
   "label": "5th International Workshop on Graphical Models for Security, held in conjunction with the Federated Logic Conference (FLoC) 2018, GraMSec@FLoC 2018, Oxford, UK, July 8, 2018, Revised Selected Papers",
   "acronyms": [
    "GRAMSEC"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-08",
   "end": "2018-07-08",
   "series": [
    "s109rp7"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": null
  },
  {
   "id": "e11bafz",
   "iri": "https://id.confref.org/event/e11bafz",
   "kind": "event",
   "label": "10th IEEE Sensor Array and Multichannel Signal Processing Workshop, SAM 2018, Sheffield, South Yorkshire, United Kingdom, July 8-11, 2018",
   "acronyms": [
    "IEEESAM"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-08",
   "end": "2018-07-11",
   "series": [
    "s10bbx2"
   ],
   "place": "http://www.wikidata.org/entity/Q23095",
   "country": "GB",
   "lat": 53.5,
   "lon": -1.3333,
   "mode": null
  },
  {
   "id": "e12mr1s",
   "iri": "https://id.confref.org/event/e12mr1s",
   "kind": "event",
   "label": "International Workshop on Linearity",
   "acronyms": [
    "LINEARITY"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-07-07",
   "end": "2018-07-08",
   "series": [
    "s10ccxz"
   ],
   "place": "http://www.wikidata.org/entity/Q34217",
   "country": "GB",
   "lat": 51.7519,
   "lon": -1.2578,
   "mode": null
  }
 ]
}