Logic in Stockholm 2017

NLS Summer School in Logic 2017

Logic Colloquium 2017

26th EACSL Annual Conference on Computer Science Logic CSL'2017

Invited speakers

CSL2017 invited highlight speakers for the joint LC-CSL session

  • Phokion Kolaitis, University of California Santa Cruz and IBM Research - Almaden
  • Wolfgang Thomas, RWTH Aachen

CSL plenary speakers

  • Laura Kovács, Vienna University of Technology
  • Stephan Kreutzer, Technische Universität Berlin
  • Meena Mahajan, Institute of Mathematical Sciences, Chennai
  • Margus Veanes, Microsoft Research