{
 "query": {
  "field": [
   "1"
  ],
  "series": [
   "s109q69"
  ],
  "page": 2
 },
 "total": 41,
 "sort": "newest",
 "page": 2,
 "per_page": 25,
 "results": [
  {
   "id": "e103dzc",
   "iri": "https://id.confref.org/event/e103dzc",
   "kind": "event",
   "label": "International Conference on Formal Techniques for Networked and Distributed Systems",
   "acronyms": [
    "FORTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2003,
   "start": "2003-09-29",
   "end": "2003-10-02",
   "series": [
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q64",
   "country": "DE",
   "lat": 52.5167,
   "lon": 13.3833,
   "mode": null
  },
  {
   "id": "e103dye",
   "iri": "https://id.confref.org/event/e103dye",
   "kind": "event",
   "label": "International Conference on Formal Techniques for Networked and Distributed Systems",
   "acronyms": [
    "FORTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2002,
   "start": "2002-11-11",
   "end": "2002-11-14",
   "series": [
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q16555",
   "country": "US",
   "lat": 29.7628,
   "lon": -95.3831,
   "mode": null
  },
  {
   "id": "e103dxg",
   "iri": "https://id.confref.org/event/e103dxg",
   "kind": "event",
   "label": "International Conference on Formal Techniques for Networked and Distributed Systems",
   "acronyms": [
    "FORTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2001,
   "start": "2001-08-28",
   "end": "2001-08-31",
   "series": [
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q29151",
   "country": "KR",
   "lat": 33.38,
   "lon": 126.55,
   "mode": null
  },
  {
   "id": "e113t5k",
   "iri": "https://id.confref.org/event/e113t5k",
   "kind": "event",
   "label": "Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy",
   "acronyms": [
    "FORTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2000,
   "start": "2000-10-10",
   "end": "2000-10-13",
   "series": [
    "s109q69",
    "s10cet3"
   ],
   "place": "http://www.wikidata.org/entity/Q13375",
   "country": "IT",
   "lat": 43.7167,
   "lon": 10.4,
   "mode": null
  },
  {
   "id": "e113t4n",
   "iri": "https://id.confref.org/event/e113t4n",
   "kind": "event",
   "label": "Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), October 5-8, 1999, Beijing, China",
   "acronyms": [
    "FORTE",
    "PSTV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1999,
   "start": "1999-10-05",
   "end": "1999-10-08",
   "series": [
    "s109q69",
    "s10cet3"
   ],
   "place": "http://www.wikidata.org/entity/Q956",
   "country": "CN",
   "lat": 39.904,
   "lon": 116.4075,
   "mode": null
  },
  {
   "id": "e113t3q",
   "iri": "https://id.confref.org/event/e113t3q",
   "kind": "event",
   "label": "Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France",
   "acronyms": [
    "FORTE",
    "PSTV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1998,
   "start": "1998-01-01",
   "end": "1998-01-01",
   "series": [
    "s109q69",
    "s10cet3"
   ],
   "place": "http://www.wikidata.org/entity/Q90",
   "country": "FR",
   "lat": 48.8567,
   "lon": 2.3522,
   "mode": null
  },
  {
   "id": "e113t2s",
   "iri": "https://id.confref.org/event/e113t2s",
   "kind": "event",
   "label": "Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan",
   "acronyms": [
    "FORTE",
    "PSTV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1997,
   "start": "1997-01-01",
   "end": "1997-01-01",
   "series": [
    "s109q69",
    "s10cet3"
   ],
   "place": "http://www.wikidata.org/entity/Q35765",
   "country": "JP",
   "lat": 34.6938,
   "lon": 135.5021,
   "mode": null
  },
  {
   "id": "e113t1v",
   "iri": "https://id.confref.org/event/e113t1v",
   "kind": "event",
   "label": "Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996",
   "acronyms": [
    "FORTE",
    "PSTV"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1996,
   "start": "1996-10-08",
   "end": "1996-10-11",
   "series": [
    "s109q69",
    "s10cet3"
   ],
   "place": "http://www.wikidata.org/entity/Q3758",
   "country": "DE",
   "lat": 49.4447,
   "lon": 7.7689,
   "mode": null
  },
  {
   "id": "e113t0x",
   "iri": "https://id.confref.org/event/e113t0x",
   "kind": "event",
   "label": "Formal Description Techniques VIII, Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995",
   "acronyms": [
    "FORTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1995,
   "start": "1995-01-01",
   "end": "1995-01-01",
   "series": [
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q340",
   "country": "CA",
   "lat": 45.5033,
   "lon": -73.5868,
   "mode": null
  },
  {
   "id": "e113szz",
   "iri": "https://id.confref.org/event/e113szz",
   "kind": "event",
   "label": "Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994",
   "acronyms": [
    "FORTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1994,
   "start": "1994-01-01",
   "end": "1994-01-01",
   "series": [
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q70",
   "country": "CH",
   "lat": 46.948,
   "lon": 7.4474,
   "mode": null
  },
  {
   "id": "e113sy1",
   "iri": "https://id.confref.org/event/e113sy1",
   "kind": "event",
   "label": "Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993",
   "acronyms": [
    "FORTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1993,
   "start": "1993-10-26",
   "end": "1993-10-29",
   "series": [
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q100",
   "country": "US",
   "lat": 42.3603,
   "lon": -71.0578,
   "mode": null
  },
  {
   "id": "e113sx3",
   "iri": "https://id.confref.org/event/e113sx3",
   "kind": "event",
   "label": "Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992",
   "acronyms": [
    "FORTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1992,
   "start": "1992-10-13",
   "end": "1992-10-16",
   "series": [
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q239943",
   "country": "FR",
   "lat": 48.8133,
   "lon": -3.4433,
   "mode": null
  },
  {
   "id": "e113sw5",
   "iri": "https://id.confref.org/event/e113sw5",
   "kind": "event",
   "label": "Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991",
   "acronyms": [
    "FORTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1991,
   "start": "1991-11-19",
   "end": "1991-11-22",
   "series": [
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q3130",
   "country": "AU",
   "lat": -33.8678,
   "lon": 151.21,
   "mode": null
  },
  {
   "id": "e113sv7",
   "iri": "https://id.confref.org/event/e113sv7",
   "kind": "event",
   "label": "Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990",
   "acronyms": [
    "FORTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1990,
   "start": "1990-11-05",
   "end": "1990-11-08",
   "series": [
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q2807",
   "country": "ES",
   "lat": 40.4169,
   "lon": -3.7033,
   "mode": null
  },
  {
   "id": "e113st9",
   "iri": "https://id.confref.org/event/e113st9",
   "kind": "event",
   "label": "Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989",
   "acronyms": [
    "FORTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1989,
   "start": "1989-01-01",
   "end": "1989-01-01",
   "series": [
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q24639",
   "country": "CA",
   "lat": 49.2608,
   "lon": -123.1139,
   "mode": null
  },
  {
   "id": "e113ssb",
   "iri": "https://id.confref.org/event/e113ssb",
   "kind": "event",
   "label": "Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988",
   "acronyms": [
    "FORTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 1988,
   "start": "1988-01-01",
   "end": "1988-01-01",
   "series": [
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q182923",
   "country": "GB",
   "lat": 56.1166,
   "lon": -3.9369,
   "mode": null
  }
 ]
}
