Invited Talks

Invited speakers:

 

Language: 

 

Logic & Computation: 

  • Mikolaj Bojanczyk (University of Warsaw): Alice and Bob and Automata [slides]

  • Mai Gehrke (Universite Cote d’Azur): Topological dualities for lattices [slides]