Vienna University of Technology

Wiedner Hauptstraße 8-10

1040 Vienna, Austria.

Email: anela [at] logic.at.

- 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

- First International Summer School for Proof Theory in First-Order Logic in Funchal, Madeira
- Twelfth International Tbilisi Summer School in Logic and Language

- Erwin Wenzl Anerkennungspreis category: graduates (diploma thesis), Linz 2016
- Distinguished Young Alumna-Award of the Faculty of Informatics at the Vienna University of Technology, Vienna 2015