Universiteit van Amsterdam


Institute for Logic, Language and Computation

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.