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?