Mikołaj Bojańczyk

Lipa Summer School (July 3-6, 2017)


May 8, 2017

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?

 

 

Leave a Reply

Your email address will not be published.