The Lipa Summer School (click here for the page of the school, including registration) is a summer school on topics connected to logic in computer science. There will be 4 mini-courses given by:
- Stephan Kreutzer (Berlin) Algorithmic meta-theorems
- Joël Ouaknine (Saarbrücken) Decision Problems for Linear Recurrence Sequences
- Moshe Vardi (Rice) Linear-time verification and synthesis
- Mikołaj Bojańczyk (Warsaw, organiser) What is a recognisable language?