GandALF 2023: Registration is open – Call For Participation

*[apologies for cross-postings]*

* Registration is finally open for the Fourteenth International Symposium
on Games, Automata, Logics, and Formal Verification (GandALF 23), to be
held in Udine (Italy) on September 18-20, 2023. *** Early registration
deadline is September 4, 2023 (Monday) *** We invite you to attend GandALF
2023. We will offer a very exciting technical and social program, which
includes 15 contributed talks, 4 invited talks by renowned international
theoretical computer scientists: - Weighted Automata At The Border Of
Decidability by Laure Daviaud
<> – University
of East Anglia (UK),- Complexity Aspects Of Logics In Team Semantics by
Juha Kontinen <>
– University of Helsinki (Finland),- Strategic Reasoning Under Imperfect
Information – The Case Of Synchronous Recall by Sophie Pinchinat
<> – IRISA/University of Rennes
(France),- The Church Synthesis Problem Over Continuous Time by Alexander
Rabinovich <> – Tel Aviv University
(Israel), and an enchanting boat trip and dinner at a traditional Casone
(check it out at
<>). To register to the conference,
follow the instructions at
<>. For more details about GandALF
2023 and about how to organize your visit to Udine, check our webpage
( <>). The full
program will be published soon. cheers Dario and Antonis (GandALF 23 PC

Received on Monday, 21 August 2023 07:36:19 UTC