Computational Logic Day 2017

Speakers

Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz

• Bruno Buchberger
• Temur Kutsia
• Alexander Maletzky

Institute of Discrete Mathematics and Geometry (DMG), Technische Universität Wien

• Ekaterina Fokina
• Stefan Hetzl

Kurt Gödel Research Center (KGRC), Universität Wien

• Sy-David Friedman
• Ján Pich