{
 "generated": "2026-08-13T11:47:39.327123+00:00",
 "source": "https://www.conferences-computer.science/gandalf/",
 "licence": "CC BY-SA 4.0",
 "acronym": "GandALF",
 "name": "International Symposium on Games, Automata, Logics, and Formal Verification",
 "count": 13,
 "editions": [
  {
   "slug": "gandalf",
   "acronym": "GandALF",
   "year": "2014",
   "edition": 5,
   "title": "5th International Symposium on Games, Automata, Logics, and Formal Verification",
   "url": "http://gandalf2014.di.univr.it",
   "page": "https://www.conferences-computer.science/gandalf/2014/",
   "status": null,
   "abstract_deadline": "2014-05-27",
   "paper_deadline": "2014-06-01",
   "paper_deadline_announced": "2014-06-01",
   "paper_extended_days": 0,
   "notification": "2014-07-03",
   "timezone": null,
   "event_start": "2014-09-10",
   "event_end": "2014-09-12",
   "city": "Verona, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 45.4384,
   "lon": 10.9916,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "14 pages EPTCS",
   "dblp": "gandalf"
  },
  {
   "slug": "gandalf",
   "acronym": "GandALF",
   "year": "2015",
   "edition": 6,
   "title": "6th International Symposium on Games, Automata, Logics, and Formal Verification",
   "url": "http://gandalf2015.dibris.unige.it",
   "page": "https://www.conferences-computer.science/gandalf/2015/",
   "status": null,
   "abstract_deadline": "2015-05-29",
   "paper_deadline": "2015-06-05",
   "paper_deadline_announced": "2015-06-05",
   "paper_extended_days": 0,
   "notification": "2015-07-03",
   "timezone": null,
   "event_start": "2015-09-21",
   "event_end": "2015-09-23",
   "city": "Genoa, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 44.4056,
   "lon": 8.9463,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "14 pages EPTCS",
   "dblp": "gandalf"
  },
  {
   "slug": "gandalf",
   "acronym": "GandALF",
   "year": "2016",
   "edition": 7,
   "title": "7th International Symposium on Games, Automata, Logics, and Formal Verification",
   "url": "http://gandalf2016.dmi.unict.it/",
   "page": "https://www.conferences-computer.science/gandalf/2016/",
   "status": null,
   "abstract_deadline": "2016-06-06",
   "paper_deadline": "2016-06-06",
   "paper_deadline_announced": "2016-05-27",
   "paper_extended_days": 10,
   "notification": "2016-07-01",
   "timezone": null,
   "event_start": "2016-09-14",
   "event_end": "2016-09-16",
   "city": "Catania, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 37.5079,
   "lon": 15.083,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "14 pages EPTCS",
   "dblp": "gandalf"
  },
  {
   "slug": "gandalf",
   "acronym": "GandALF",
   "year": "2017",
   "edition": 8,
   "title": "8th International Symposium on Games, Automata, Logics, and Formal Verification",
   "url": "http://gandalf2017.istc.cnr.it",
   "page": "https://www.conferences-computer.science/gandalf/2017/",
   "status": null,
   "abstract_deadline": "2017-06-13",
   "paper_deadline": "2017-06-15",
   "paper_deadline_announced": "2017-05-26",
   "paper_extended_days": 20,
   "notification": "2017-07-07",
   "timezone": null,
   "event_start": "2017-09-20",
   "event_end": "2017-09-22",
   "city": "Rome, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 41.9028,
   "lon": 12.4964,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "14 pages EPTCS",
   "dblp": "gandalf"
  },
  {
   "slug": "gandalf",
   "acronym": "GandALF",
   "year": "2018",
   "edition": 9,
   "title": "9th International Symposium on Games, Automata, Logics, and Formal Verification",
   "url": "https://www.react.uni-saarland.de/gandalf2018/index.html",
   "page": "https://www.conferences-computer.science/gandalf/2018/",
   "status": null,
   "abstract_deadline": "2018-06-20",
   "paper_deadline": "2018-06-22",
   "paper_deadline_announced": "2018-06-15",
   "paper_extended_days": 7,
   "notification": "2018-08-01",
   "timezone": null,
   "event_start": "2018-09-26",
   "event_end": "2018-09-28",
   "city": "Saarbrücken, Germany",
   "country": "DE",
   "continent": "EU",
   "lat": 49.2402,
   "lon": 6.9969,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "14 pages EPTCS",
   "dblp": "gandalf"
  },
  {
   "slug": "gandalf",
   "acronym": "GandALF",
   "year": "2019",
   "edition": 10,
   "title": "10th International Symposium on Games, Automata, Logics, and Formal Verification",
   "url": "https://gandalf2019.sciencesconf.org/",
   "page": "https://www.conferences-computer.science/gandalf/2019/",
   "status": null,
   "abstract_deadline": "2019-05-31",
   "paper_deadline": "2019-06-02",
   "paper_deadline_announced": "2019-05-19",
   "paper_extended_days": 14,
   "notification": "2019-07-03",
   "timezone": null,
   "event_start": "2019-09-02",
   "event_end": "2019-09-04",
   "city": "Bordeaux, France",
   "country": "FR",
   "continent": "EU",
   "lat": 44.8378,
   "lon": -0.5792,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "14 pages EPTCS",
   "dblp": "gandalf"
  },
  {
   "slug": "gandalf",
   "acronym": "GandALF",
   "year": "2020",
   "edition": 11,
   "title": "11th International Symposium on Games, Automata, Logics, and Formal Verification",
   "url": "https://gametheorynetwork.com/",
   "page": "https://www.conferences-computer.science/gandalf/2020/",
   "status": null,
   "abstract_deadline": "2020-06-30",
   "paper_deadline": "2020-07-05",
   "paper_deadline_announced": "2020-06-15",
   "paper_extended_days": 20,
   "notification": "2020-08-03",
   "timezone": null,
   "event_start": "2020-09-23",
   "event_end": "2020-09-24",
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "14 pages EPTCS",
   "dblp": "gandalf"
  },
  {
   "slug": "gandalf",
   "acronym": "GandALF",
   "year": "2021",
   "edition": 12,
   "title": "12th International Symposium on Games, Automata, Logics, and Formal Verification",
   "url": "https://gandalf2021.math.unipd.it/",
   "page": "https://www.conferences-computer.science/gandalf/2021/",
   "status": null,
   "abstract_deadline": "2021-06-23",
   "paper_deadline": "2021-06-30",
   "paper_deadline_announced": "2021-06-30",
   "paper_extended_days": 0,
   "notification": "2021-07-30",
   "timezone": "AoE",
   "event_start": "2021-09-20",
   "event_end": "2021-09-22",
   "city": "Padua, Italy (hybrid?)",
   "country": "IT",
   "continent": "EU",
   "lat": 45.4064,
   "lon": 11.8768,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "14 pages EPTCS + references",
   "dblp": "gandalf"
  },
  {
   "slug": "gandalf",
   "acronym": "GandALF",
   "year": "2022",
   "edition": 13,
   "title": "13th International Symposium on Games, Automata, Logics, and Formal Verification",
   "url": "https://gandalf2022.software.imdea.org/",
   "page": "https://www.conferences-computer.science/gandalf/2022/",
   "status": null,
   "abstract_deadline": "2022-06-03",
   "paper_deadline": "2022-06-10",
   "paper_deadline_announced": "2022-06-03",
   "paper_extended_days": 7,
   "notification": "2022-07-24",
   "timezone": "AoE",
   "event_start": "2022-09-21",
   "event_end": "2022-09-23",
   "city": "Madrid, Spain",
   "country": "ES",
   "continent": "EU",
   "lat": 40.4168,
   "lon": -3.7038,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "14 pages EPTCS + references + appendix",
   "dblp": "gandalf"
  },
  {
   "slug": "gandalf",
   "acronym": "GandALF",
   "year": "2023",
   "edition": 14,
   "title": "14th International Symposium on Games, Automata, Logics, and Formal Verification",
   "url": "https://gandalf23.uniud.it",
   "page": "https://www.conferences-computer.science/gandalf/2023/",
   "status": null,
   "abstract_deadline": "2023-06-23",
   "paper_deadline": "2023-06-30",
   "paper_deadline_announced": "2023-06-30",
   "paper_extended_days": 0,
   "notification": "2023-08-07",
   "timezone": "AoE",
   "event_start": "2023-09-18",
   "event_end": "2023-09-20",
   "city": "Udine, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 46.0711,
   "lon": 13.2346,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": 26,
   "accepted": 15,
   "acceptance_rate": 57.7,
   "format": "14 pages EPTCS + references + appendix",
   "dblp": "gandalf"
  },
  {
   "slug": "gandalf",
   "acronym": "GandALF",
   "year": "2024",
   "edition": 15,
   "title": "15th International Symposium on Games, Automata, Logics, and Formal Verification",
   "url": "https://scool24.github.io/GandALF/",
   "page": "https://www.conferences-computer.science/gandalf/2024/",
   "status": null,
   "abstract_deadline": "2024-04-07",
   "paper_deadline": "2024-04-10",
   "paper_deadline_announced": "2024-04-10",
   "paper_extended_days": 0,
   "notification": "2024-05-10",
   "timezone": "AoE",
   "event_start": "2024-06-19",
   "event_end": "2024-06-21",
   "city": "Reykjavik, Iceland",
   "country": "IS",
   "continent": "EU",
   "lat": 64.1466,
   "lon": -21.9426,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": 20,
   "accepted": 10,
   "acceptance_rate": 50.0,
   "format": "14 pages EPTCS + references + appendix",
   "dblp": "gandalf"
  },
  {
   "slug": "gandalf",
   "acronym": "GandALF",
   "year": "2025",
   "edition": 16,
   "title": "16th International Symposium on Games, Automata, Logics, and Formal Verification",
   "url": "https://gandalfsymposium.github.io/2025/",
   "page": "https://www.conferences-computer.science/gandalf/2025/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2025-06-06",
   "paper_deadline_announced": "2025-05-30",
   "paper_extended_days": 7,
   "notification": "2025-07-04",
   "timezone": "AoE",
   "event_start": "2025-09-15",
   "event_end": "2025-09-18",
   "city": "Valletta, Malta",
   "country": "MT",
   "continent": "EU",
   "lat": 35.8989,
   "lon": 14.5146,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "14 pages EPTCS + references + appendix",
   "dblp": "gandalf"
  },
  {
   "slug": "gandalf",
   "acronym": "GandALF",
   "year": "2026",
   "edition": 17,
   "title": "17th International Symposium on Games, Automata, Logics, and Formal Verification",
   "url": "https://gandalfsymposium.github.io/2026/",
   "page": "https://www.conferences-computer.science/gandalf/2026/",
   "status": null,
   "abstract_deadline": "2026-06-20",
   "paper_deadline": "2026-06-22",
   "paper_deadline_announced": "2026-06-22",
   "paper_extended_days": 0,
   "notification": "2026-08-03",
   "timezone": "AoE",
   "event_start": "2026-09-15",
   "event_end": "2026-09-17",
   "city": "Aalborg, Denmark",
   "country": "DK",
   "continent": "EU",
   "lat": 57.0488,
   "lon": 9.9217,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "14 pages EPTCS + references + appendix",
   "dblp": "gandalf"
  }
 ]
}