(Austria) Vienna University of Technology
Group in Applications of Formal Logic.
(France) Paris 1
Logic Seminar.
(Czech Republic) Prague
Academy of Science, Mathematical Institute, Logic Seminar.
(Austria) University of Vienna
Department of Formal Logic.
(Czech Republic) Charles University
Constraint and Logic Programming research group. People, research projects, publications and resources.
|