Mikołaj Bojańczyk

The Lipa Summer School is a school on topics connected to logic in computer science. It will be held in Warsaw, July 3-6 2017.  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 open to all who do the free registration. Depending on the number of registered participants, we will cover food (coffee breaks, lunches and maybe even one dinner) and some cheap student housing.  We do not cover travel. The school is followed by ICALP.


  • May 30 Registration with request for student accommodation
  • June 20 Registration without request for student accommodation
  • July 3-6 School

Local information

The school will be held at the University of Warsaw, in the Center of New Technologies:


A taxi from the airport should be around ≤ 20 PLN during the day (the official taxi queue is when you leave the airport, don’t go with the people who whisper “taxi, taxi”). Here is a link for accessing the school from the airport using public transport (bus 175 or 188).


The school is part of the grant Lipa that has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 683080).