{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreihxrdqna5dzlmc355pubs3xy6gp3ckfn6ukwl4zmd3cqfnozwnzxy",
    "uri": "at://did:plc:4rgrdigiftglskeax4wvmsev/app.bsky.feed.post/3mi62y5vg4742"
  },
  "path": "/2026/03/gandalf-2026-first-call-for-papers.html",
  "publishedAt": "2026-03-28T09:41:00.000Z",
  "site": "http://processalgebra.blogspot.com",
  "tags": [
    "https://gandalfsymposium.github.io/2026/"
  ],
  "textContent": "The Seventeenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2026) will be held in Aalborg, Denmark, in the period 15-17 September 2026. See\n\n\nhttps://gandalfsymposium.github.io/2026/\n\nfor more information and the call for papers. The PC is co-chaired by Giorgio Bacci (Aalborg University, Denmark) and Mickaël Randour (Université de Mons, Belgium) and the event will be co-organised by Giorgio and Elli Anastasiadi.\n\nSpread the news and submit to the event!\n\nBy Luca Aceto",
  "title": "GandALF 2026: First call for papers"
}