Skip to Content

TU Wien Fakultät für Informatik DBAI Database and Artificial Intelligence Group
Top-level Navigation: Current-level Navigation:

Path: DBAI > staff > Anela Lolic

Tools: Drucken



Anela Lolic



portrait

Address: Institute of Logic and Computation
TU Wien
Favoritenstraße 9-11
1040 Vienna, Austria
Email:
Phone:+43/1/58801/1922-22
Fax:+43/1/58801/18493
Room:HE0316
TISS:Anela Lolic

About me

I am a researcher in the DBAI group at the Institute of Logic and Computation, TU Wien. Previously, I was a member of the Computational Logic group at the Institute of Discrete Mathematics and Geometry, TU Wien. My PhD advisor was Alexander Leitsch and Matthias Baaz was my co-advisor.

I work in the field of logic and (computational) proof theory, my research interests span proof mining, automated deduction and applications of logic in computer science.
I have received the L'ORÉAL Austria PostDoc Fellwoship (in 2019, photo) and the DOC Fellowship (in 2018, photo) of the Austrian Academy of Sciences and I am the publicity chair of the Kurt Gödel Society.

Other than doing science, I like organizing summer schools, workshops and conferences. Some of my favourite events were the International Summer School for Proof Theory in First-Order Logic and Proof Theory for Automated Deduction, Automated Deduction for Proof Theory in Funchal, the Twelfth International Tbilisi Summer School in Logic and Language in Tbilisi and Kurt Gödel's Legacy: Does Future lie in the Past? in Vienna.

Publications

2020

[11] Towards a Proof Theory for Henkin Quantifiers.
Matthias Baaz and Anela Lolic.
Journal of Logic and Computation (submitted)
[10] Schematic Refutations of Formula Schemata.
David Cerna, Alexander Leitsch and Anela Lolic.
Journal of Automated Reasoning (submitted)
[9] First-Order Interpolation Derived from Propositional Interpolation.
Matthias Baaz and Anela Lolic.
Theoretical Computer Science (to appear)
[8] Towards a Proof Theory for Quantifier Macros.
Matthias Baaz and Anela Lolic.
WoLLIC 2019 special issue of Information and Computation (to appear)
[7] An Abstract Form of the First Epsilon Theorem.
Matthias Baaz, Alexander Leitsch and Anela Lolic.
Journal of Logic and Computation (to appear)
[6] A Globally Sound Analytic Calculus for Henkin Quantifiers.
Matthias Baaz and Anela Lolic.
LFCS 2020: 128-143

2019

[5] Extraction of Expansion Trees.
Alexander Leitsch and Anela Lolic.
Journal of Automated Reasoning 62(3): 393-430
[4] Note on Globally Sound Analytic Calculi for Quantifier Macros.
Matthias Baaz and Anela Lolic.
WoLLIC 2019: 486-497

2018

[3] A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem.
Matthias Baaz, Alexander Leitsch and Anela Lolic.
LFCS 2018: 55-71
[2] Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic.
Matthias Baaz and Anela Lolic.
LPAR 2018: 95-110

2017

[1] First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation.
Matthias Baaz and Anela Lolic.
FroCoS 2017: 265-280

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. Disclaimer / Datenschutzerklärung

Binary file (standard input) matches