Bringing Computer Science
Logic to all parts
of the world


Invited speakers


  • Helmut Veith: Technische Universität München
  • Richard Waldinger: SRI
  • J.A. Makowsky: Technion