[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*[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 Decidabilityby Laure Daviaud
<https://urldefense.com/v3/__https://www.city.ac.uk/about/people/academics/laure-daviaud__;!!IBzWLUs!RPKJrfJ9zJvwjFH8cDwymO5R0gAY8_V_x8wtM5EKGJz-xb8Fsaic3eOONoHEFhB8FyE4RWlhP6oygtlxiqZr6w316UVZtJ_ILvvD$
>–
University of East Anglia (UK),
*
Complexity Aspects Of Logics In Team Semanticsby Juha Kontinen
<https://urldefense.com/v3/__https://researchportal.helsinki.fi/en/persons/juha-kontinen__;!!IBzWLUs!RPKJrfJ9zJvwjFH8cDwymO5R0gAY8_V_x8wtM5EKGJz-xb8Fsaic3eOONoHEFhB8FyE4RWlhP6oygtlxiqZr6w316UVZtAcZcTT-$
>–
University of Helsinki (Finland),
*
Strategic Reasoning Under Imperfect Information – The Case Of
Synchronous Recallby Sophie Pinchinat
<https://urldefense.com/v3/__https://people.irisa.fr/Sophie.Pinchinat/__;!!IBzWLUs!RPKJrfJ9zJvwjFH8cDwymO5R0gAY8_V_x8wtM5EKGJz-xb8Fsaic3eOONoHEFhB8FyE4RWlhP6oygtlxiqZr6w316UVZtL2YKzka$
>–
IRISA/University of Rennes (France),
*
The Church Synthesis Problem Over Continuous Timeby Alexander
Rabinovich
<https://urldefense.com/v3/__http://www.cs.tau.ac.il/*rabinoa__;fg!!IBzWLUs!RPKJrfJ9zJvwjFH8cDwymO5R0gAY8_V_x8wtM5EKGJz-xb8Fsaic3eOONoHEFhB8FyE4RWlhP6oygtlxiqZr6w316UVZtLg486La$
>–
Tel Aviv University (Israel),
and an enchanting boat trip and dinner at a traditional Casone (check it
out at https://urldefense.com/v3/__https://gandalf23.uniud.it/excursion/__;!!IBzWLUs!RPKJrfJ9zJvwjFH8cDwymO5R0gAY8_V_x8wtM5EKGJz-xb8Fsaic3eOONoHEFhB8FyE4RWlhP6oygtlxiqZr6w316UVZtMPgOtvZ$
<https://urldefense.com/v3/__https://gandalf23.uniud.it/excursion/__;!!IBzWLUs!RPKJrfJ9zJvwjFH8cDwymO5R0gAY8_V_x8wtM5EKGJz-xb8Fsaic3eOONoHEFhB8FyE4RWlhP6oygtlxiqZr6w316UVZtMPgOtvZ$ >).
To register to the conference, follow the instructions at
https://urldefense.com/v3/__https://gandalf23.uniud.it/registration/__;!!IBzWLUs!RPKJrfJ9zJvwjFH8cDwymO5R0gAY8_V_x8wtM5EKGJz-xb8Fsaic3eOONoHEFhB8FyE4RWlhP6oygtlxiqZr6w316UVZtH-Gr-nf$
<https://urldefense.com/v3/__https://gandalf23.uniud.it/registration/__;!!IBzWLUs!RPKJrfJ9zJvwjFH8cDwymO5R0gAY8_V_x8wtM5EKGJz-xb8Fsaic3eOONoHEFhB8FyE4RWlhP6oygtlxiqZr6w316UVZtH-Gr-nf$ >.
For more details about GandALF 2023 and about how to organize your visit
to Udine, check our webpage (https://urldefense.com/v3/__https://gandalf23.uniud.it/__;!!IBzWLUs!RPKJrfJ9zJvwjFH8cDwymO5R0gAY8_V_x8wtM5EKGJz-xb8Fsaic3eOONoHEFhB8FyE4RWlhP6oygtlxiqZr6w316UVZtGDmsFWa$
<https://urldefense.com/v3/__https://gandalf23.uniud.it/__;!!IBzWLUs!RPKJrfJ9zJvwjFH8cDwymO5R0gAY8_V_x8wtM5EKGJz-xb8Fsaic3eOONoHEFhB8FyE4RWlhP6oygtlxiqZr6w316UVZtGDmsFWa$ >).
The full program will be published soon.
cheers
Dario and Antonis (GandALF 23 PC co-chairs)
*
