{
 "query": {
  "field": [
   "1.2"
  ],
  "discipline": [
   "Q21198"
  ],
  "series": [
   "s109q69"
  ],
  "page": 1
 },
 "total": 33,
 "sort": "newest",
 "page": 1,
 "per_page": 25,
 "results": [
  {
   "id": "s109q69",
   "iri": "https://id.confref.org/series/s109q69",
   "kind": "series",
   "label": "IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems",
   "acronyms": [
    "FORTE"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q180634",
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q2835898",
    "http://www.wikidata.org/entity/Q5283136"
   ],
   "first": 1988,
   "last": 2026,
   "events": 40
  },
  {
   "id": "e113ta9",
   "iri": "https://id.confref.org/event/e113ta9",
   "kind": "event",
   "label": "39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems",
   "acronyms": [
    "FORTE 2019",
    "FORTE"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q180634",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2019,
   "start": "2019-06-17",
   "end": "2019-06-21",
   "series": [
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q44694619",
   "country": "DK",
   "lat": 55.7944,
   "lon": 12.5304,
   "mode": "on site"
  },
  {
   "id": "e113t9b",
   "iri": "https://id.confref.org/event/e113t9b",
   "kind": "event",
   "label": "38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems",
   "acronyms": [
    "FORTE 2018",
    "FORTE"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q180634",
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2018,
   "start": "2018-06-18",
   "end": "2018-06-21",
   "series": [
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q2807",
   "country": "ES",
   "lat": 40.4169,
   "lon": -3.7033,
   "mode": "on site"
  },
  {
   "id": "e103e8t",
   "iri": "https://id.confref.org/event/e103e8t",
   "kind": "event",
   "label": "International Conference on Formal Techniques for Distributed Objects, Components, and Systems",
   "acronyms": [
    "FORTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2017,
   "start": "2017-06-19",
   "end": "2017-06-22",
   "series": [
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q69345",
   "country": "CH",
   "lat": 46.9903,
   "lon": 6.9306,
   "mode": null
  },
  {
   "id": "e103e7w",
   "iri": "https://id.confref.org/event/e103e7w",
   "kind": "event",
   "label": "International Conference on Formal Techniques for Distributed Objects, Components, and Systems",
   "acronyms": [
    "FORTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2016,
   "start": "2016-06-06",
   "end": "2016-06-09",
   "series": [
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q160544",
   "country": "GR",
   "lat": 35.3403,
   "lon": 25.1344,
   "mode": null
  },
  {
   "id": "e103e6y",
   "iri": "https://id.confref.org/event/e103e6y",
   "kind": "event",
   "label": "International Conference on Formal Techniques for Distributed Objects, Components, and Systems",
   "acronyms": [
    "FORTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2015,
   "start": "2015-06-02",
   "end": "2015-06-05",
   "series": [
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q1289",
   "country": "FR",
   "lat": 45.1869,
   "lon": 5.7264,
   "mode": null
  },
  {
   "id": "e103e50",
   "iri": "https://id.confref.org/event/e103e50",
   "kind": "event",
   "label": "International Conference on Formal Techniques for Distributed Objects, Components, and Systems",
   "acronyms": [
    "FORTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2014,
   "start": "2014-06-03",
   "end": "2014-06-05",
   "series": [
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q64",
   "country": "DE",
   "lat": 52.5167,
   "lon": 13.3833,
   "mode": null
  },
  {
   "id": "e113t8d",
   "iri": "https://id.confref.org/event/e113t8d",
   "kind": "event",
   "label": "Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings",
   "acronyms": [
    "FMOODS",
    "FORTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2013,
   "start": "2013-06-03",
   "end": "2013-06-05",
   "series": [
    "s109pwx",
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q2044",
   "country": "IT",
   "lat": 43.7714,
   "lon": 11.2542,
   "mode": null
  },
  {
   "id": "e113t7f",
   "iri": "https://id.confref.org/event/e113t7f",
   "kind": "event",
   "label": "Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings",
   "acronyms": [
    "FMOODS",
    "FORTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2012,
   "start": "2012-06-13",
   "end": "2012-06-16",
   "series": [
    "s109pwx",
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q1754",
   "country": "SE",
   "lat": 59.3294,
   "lon": 18.0686,
   "mode": null
  },
  {
   "id": "e10dwde",
   "iri": "https://id.confref.org/event/e10dwde",
   "kind": "event",
   "label": "Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings",
   "acronyms": [
    "FMOODS",
    "FMOODS/FORTE 2011",
    "FORTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2011,
   "start": "2011-06-06",
   "end": "2011-06-09",
   "series": [
    "s109pwx",
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q1764",
   "country": "IS",
   "lat": 64.1475,
   "lon": -21.935,
   "mode": null
  },
  {
   "id": "e10dwec",
   "iri": "https://id.confref.org/event/e10dwec",
   "kind": "event",
   "label": "Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings",
   "acronyms": [
    "FMOODS",
    "FMOODS/FORTE 2010",
    "FORTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2010,
   "start": "2010-06-07",
   "end": "2010-06-09",
   "series": [
    "s109pwx",
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q727",
   "country": null,
   "lat": 52.3667,
   "lon": 4.8833,
   "mode": null
  },
  {
   "id": "e113t6h",
   "iri": "https://id.confref.org/event/e113t6h",
   "kind": "event",
   "label": "Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings",
   "acronyms": [
    "FORTE"
   ],
   "fields": [
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198"
   ],
   "year": 2009,
   "start": "2009-06-09",
   "end": "2009-06-12",
   "series": [
    "s109pwx",
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q597",
   "country": "PT",
   "lat": 38.708,
   "lon": -9.139,
   "mode": null
  },
  {
   "id": "e103e42",
   "iri": "https://id.confref.org/event/e103e42",
   "kind": "event",
   "label": "28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems",
   "acronyms": [
    "FORTE 2008",
    "FORTE"
   ],
   "fields": [
    "1.1",
    "1.2"
   ],
   "disciplines": [
    "http://www.wikidata.org/entity/Q21198",
    "http://www.wikidata.org/entity/Q80993"
   ],
   "year": 2008,
   "start": "2008-06-10",
   "end": "2008-06-13",
   "series": [
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q1490",
   "country": "JP",
   "lat": 35.6894,
   "lon": 139.6917,
   "mode": "on site"
  },
  {
   "id": "e103e34",
   "iri": "https://id.confref.org/event/e103e34",
   "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": 2007,
   "start": "2007-06-27",
   "end": "2007-06-29",
   "series": [
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q1770",
   "country": "EE",
   "lat": 59.4372,
   "lon": 24.745,
   "mode": null
  },
  {
   "id": "e103e26",
   "iri": "https://id.confref.org/event/e103e26",
   "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": 2006,
   "start": "2006-09-26",
   "end": "2006-09-29",
   "series": [
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q90",
   "country": "FR",
   "lat": 48.8567,
   "lon": 2.3522,
   "mode": null
  },
  {
   "id": "e103e18",
   "iri": "https://id.confref.org/event/e103e18",
   "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": 2005,
   "start": "2005-10-02",
   "end": "2005-10-05",
   "series": [
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q1867",
   "country": "TW",
   "lat": 25.0375,
   "lon": 121.5625,
   "mode": null
  },
  {
   "id": "e103e0a",
   "iri": "https://id.confref.org/event/e103e0a",
   "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": 2004,
   "start": "2004-09-27",
   "end": "2004-10-02",
   "series": [
    "s109q69"
   ],
   "place": "http://www.wikidata.org/entity/Q2807",
   "country": "ES",
   "lat": 40.4169,
   "lon": -3.7033,
   "mode": null
  },
  {
   "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
  }
 ]
}