Auszeichnungen, Preise & Ehrungen

- 2021: Best paper award at FroCoS 2021 for the paper:
Dennis Peuter, Viorica Sofronie-Stokkermans: "Symbol
Elimination and Applications to Parametric Entailment
Problems".

- Sommersemester 2020: Studierenden-Lehrpreis der HDA

Gutachterfunktionen

Projects:
- DFG (Germany),
- NWO (Netherlands),
- FWF (Austria),
- Vienna Science Fund (Austria)

Journals:
I reviewed over 250 conference, book chapter and journal submissions. I often review submissions to the Journal of Automated Reasoning and Journal of Symbolic Computation, but also to other journals such as for instance ACM Transactions on Computational Logic, Annals of Mathematics and AI, Discrete Applied Mathematics, Fundamenta Informaticae, Fuzzy Sets and Systems, Information Processing letters, Journal of Applied Non-Classical Logics, Journal of Logic and Algebraic Programming, Journal of Multiple-Valued Logics and Soft Computing, Logic Journal of the IGPL, Operations Research Letters, Order, Studia Logica,Theoretical Computer Science.

Conferences:
I was a member of the Programme Committee of ca. 90 conferences, workshops and symposia. Below is a selection, consisting only of events I was repeatedly a PC member of:

• IJCAR: The International Conference on Automated Reasoning
(PC member in 2004, 2008, 2010, 2012, 2014, 2016, 2018, 2019, 2020, 2022, 2024).

• CADE: The Conference on Automated Deduction
(PC member in 2011, 2013, 2017, 2019, 2021, 2023).

• FroCoS: Frontiers of Combining Systems
(PC member in 2009, 2011, 2013, 2015, 2017, 2019, 2021, 2023).

• Tableaux: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
(PC member in 2005, 2007, 2009, 2011, 2013, 2019).

• SYNASC: The International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
(PC member in 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020).

• Deduktiontreffen: The Annual Meeting of the GI Fachgruppe “Deduktionssysteme”
(PC member in 2008, 2010, 2011, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2022).

• DL: The Description Logics Workshop
(PC member in 2009, 2010, 2011, 2012, 2014, 2015, 2016,
2021, 2022, 2023).

• LICS: The ACM-IEEE Symposium on Logic in Computer Science
(PC member in 2016, 2020).

• AiML: The Conference Advances in Modal Logic
(PC member in 2006, 2016, 2018).

• BNAIC: The Belgium-Netherlands Conference on Artificial Intelligence
(PC member in 2010, 2011).

• FTP: First Order Theorem Proving
(PC member in 2009, 2011).

• AISC: Artificial Intelligence and Symbolic Computation
(PC member in 2000, 2002).

• WoLLIC: Workshop on Logic, Language, Information and Computation.
(PC member in 2023, 2024).

Mitgliedschaften

Membership in Scientific Associations:
- Gesellschaft für Informatik
- Association for Automated Reasoning (AAR)

Editorial boards, Steering Committees

- 2022–: LMCS executive board (IJCAR representative)
- 2018–2020: Member of the IJCAR Steering Committee.
- 2010–2017: Member of the FroCoS Steering Committee.
- 2010–2014: CADE Trustee.
- 2002–2004: Member of the IEEE Technical Committee on Many-Valued Logics (ISMVL).

- since 2015– : Editorial board: Journal of Many-Valued Logics and Soft Computing.

Herausgeberschaften

Guest editor (together with Nicolas Peltier):
Special Issue of Selected Extended Papers of IJCAR 2020. J. Autom. Reason. 66(3) (2022)

Guest editor (together with Nicolas Peltier):
Special Issue of Selected Extended Papers of IJCAR 2020. LMCS, Vol. 18(1) and Vol. 18(2) (2022)

Proceedings of IJCAR 2020 vol. 1 and 2 (together with Nicolas Peltier)
Automated Reasoning - 10th International Joint Conference.

Deduction Beyond First-Order Logic (Dagstuhl Seminar 17371). Dagstuhl Reports 7(9): 26-46, 2017 (together
with Jasmin Christian Blanchette, Carsten Fuhs, Viorica Sofronie-Stokkermans, Cesare Tinelli)

Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381). Dagstuhl Reports 5(9): 18-37,
2015 (together with Nikolaj Bjørner, Jasmin Christian Blanchette and Christoph Weidenbach)

Guest editor (together with Nikolaj Bjorner):
Special issue of the Journal of Automated Reasoning dedicated to CADE'23
Journal of Automated Reasoning 51(1): 1-2 (2013)

Guest editor (together with Nicolas Peltier): Special issue of the Journal of Symbolic Computation:
First Order Theorem Proving. Journal of Symbolic Computation Vol.47 Nr.9 (September 2012)

Proceedings of FroCoS 2011 (together with Cesare Tinelli)
Frontiers of Combining Systems, 8th International Symposium,
FroCoS 2011, LNAI 6989, Springer 2011

Proceedings of CADE 23 (together with Nikolaj Bjorner)
Automated deduction - CADE 23, LNAI 6803, Springer 2011

Guest editor (together with S.Ghilardi, U.Sattler, A. Tiwari):
Special issue of the Journal of Symbolic
Computation: Automated Deduction: Decidability, Complexity, Tractability.
Journal of Symbolic Computation Vol.45 Nr.2 (February 2010)

Editor of numerous workshop proceedings:
- ADDCT 2007
- CEDAR 2008
- ADDCT 2009
- FTP 2009
- ADDCT 2013
- ADDCT 2014
- FROM 2017

DFG Fachgebiet

409-1 - Theoretische Informatik

Funktionen