3 - 6 July 2017, Summer School on Logic in Computer Science, Warsaw, Poland
Date: 3 - 6 July 2017
Location: Warsaw, Poland
The Lipa Summer School is a school on topics connected to logic in computer science. The school consists of 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?
Each mini-course is 6 hours long (4 x 90 minutes). The school is followed by ICALP.
For more information, see https://www.mimuw.edu.pl/~bojan/lipa-summer-school.