Computer Science Logic 2017, August 20-24

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
Top page top