Institute of Discrete Mathematics and Geometry
Vienna University of Technology
Wiedner Hauptstraße 8-10
1040 Vienna, Austria.
Email: anela [at] logic.at.
Talks and Events
- International Summer School for Proof Theory in First-Order Logic, Funchal, August 2017
- Topology, Algebra, and Categories in Logic, TACL 2017, Prague, June 2017
- A Sequent-Based Translation into the Epsilon Format,
Second FISP Meeting, Paris, June 2017
- Expansion Trees from Non-Normalized Proofs with CERES,
Proof Theory: Herbrand’s Theorem Revisited, Vienna, May 2017
- Propositional Interpolation Induces First-Order Interpolation for Finitely-Valued Logics,
Helmut Veith Memorial Workshop, Obergurgl, January 2017
- Extraction of Expansion Trees Using CERES,
The Fine Structure of Formal Proof Systems and their Computational Interpretations, Kick-Off Meeting, Innsbruck, November 2016
- Proof Theory: Methods of Cut-Elimination,
Twelfth International Tbilisi Summer School in Logic and Language, Tbilisi, September 2016
- Extraction of Expansion Trees,
Researchers’ Seminar of the Theory and Logic Group, Vienna, May 2016
- Matthias Baaz and Anela Lolic. First-Order Interpolation derived from Propositional Interpolation. FroCos 2017. To appear.
- Alexander Leitsch and Anela Lolic. Extraction of Expansion Trees. Submitted.
- Matthias Baaz, Alexander Leitsch and Anela Lolic. A Sequent-Calculus based formulation of the Extended First Epsilon Theorem. Submitted.
I am PhD student at TU Wien, Alexander Leitsch is my advisor and Matthias Baaz my co-advisor.
My main areas of reasearch are: logic, (structural) proof theory and automated deduction.
I am publicity chair of the Kurt Gödel Society.
- MSc in Computational Intelligence 2013 - 2015
Vienna University of Technology, Austria
Thesis: Herbrand sequents and the Skolem-free CERES method
Advisor: Alexander Leitsch
- BSc in Computer Science 2010 - 2013
JKU Linz, Austria
- Project assistant at Vienna University of Technology, Austria since August 2015
- Winter term 2016: (104.263) Algebra and Discrete Mathematics