Stefan Hetzl
 |
Institute of Discrete Mathematics and Geometry Vienna University of Technology Wiedner Hauptstraße 8-10 1040 Vienna, Austria email: stefan.hetzl AT tuwien.ac.at phone: +43 1 58801 104 21 room number: DA05L12 (green area, 5th floor) |
Research interests
I am interested in proof theory, formal language theory, automated deduction, interactive theorem proving and neighbouring subjects. You can find a list of my publications on my research page.Current events
- Workshop on Proof Theory and Automated Deduction, Funchal, Madeira, October 23-25, 2019.
- 27th International Conference on Automated Deduction (CADE), Natal, Brazil, August 27-30, 2019.
- 26th Workshop on Logic, Language, Information and Computation (WoLLIC), Utrecht, The Netherlands, July 2-5, 2019.
- 20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Halifax, Nova Scotia, Canada, July 25-27, 2018.
Former affiliations
-
Parsifal Team
INRIA Saclay - Île-de-France / École Polytechnique -
Laboratoire Preuves, Programmes et Systèmes
Université Paris Diderot -
Theory and Logic Group, Institute of Computer Languages
Vienna University of Technology
Last Change: 2019-04-03, Stefan Hetzl