Gutachterfunktionen
Projekte: DFG (Germany), NWO (Netherlands), FWF (Austria), Vienna Science Fund (Austria)
Zeitschriften:
ACM Transactions on Computational Logic (ACM TOCL),
Annals of Mathematics and Artificial Intelligence (AMAI),
Bulletin of the IGPL,
Central European Journal of Mathematics (CEJM),
Discrete Applied Mathematics,
Fuzzy sets and system,
Information Processing Letters,
International Journal of Mathematics and Mathematical Sciences,
J. of Automated Reasoning,
J. of Appl. Non-Classical Logics,
J. of Logic and Algebraic Programming,
J. Soft Computing,
J. Symbolic Computation,
Multiple-Valued Logic - An International Journal,
Operations Research Letters,
Order,
Studia Logica,
Theory of Computing Systems,
Theoretical Computer Science.
Programkommittees (seit 2011)
IJCAR: 2020 (PC co-chair)
LICS 2020 (PC Member)
Sicherheit 2020 (PC Member)
CADE 2019 (PC Member)
FroCoS 2019 (PC Member)
Tableaux 2019 (PC Member)
Deduktionstreffen 2019 (PC Member)
FROM 2019 (PC Member)
SYNASC 2019. Logic and Programming Track (PC Member)
IJCAR 2018 (PC Member),
FSCD 2018 (PC Member),
AiML 2018 (PC Member),
Sicherheit 2018 (PC Member),
SYNASC 2018. Logic and Programming Track (PC Member),
Deduktionstreffen 2018 (PC Member)
CADE 26 (PC Member),
FroCoS 2017 (PC Member),
CSL 2017 (PC Member),
SYNASC 2017. Logic and Programming Track (PC Member),
FROM 2017 (PC co-chair), SOQE 2017 (PC Member),
Deduktionstreffen 2017 (PC Member)
LICS 2016 (PC Member),
IJCAR 2016 (PC Member),
DL 2016 (PC Member),
AiML 2016 (PC Member),
SYNASC 2016 (PC Member),
Deduktionstreffen 2016 (PC Member)
FM 2015 (PC Member),
FroCoS 2015 (PC Member),
DL 2015 (PC Member),
PAS 2015 (PC Member),
SYNASC 2015 (PC Member),
DT-2015: 29. Jahrestreffen der GI-Fachgruppe Deduktionssysteme (PC Member),
INFORMATIK 2015 (Gutachter: SKILL 2015 und Doktorandenprogramm)
IJCAR 2014 (PC Member),
ADDCT 2014 (PC co-chair),
ICTAC 2014 (PC Member),
DL 2014 (PC Member),
ARW-DT 2014: Joint Automated Reasoning Workshop and Deduktionstreffen (PC Member), SYNASC 2014 (PC member), Doktorandenprogramm,
INFORMATIK 2014 (Gutachter)
CADE 24 (PC Member),
Tableaux 2013 (PC Member),
FroCoS 2013 (PC Member),
ADDCT 2013 (PC co-chair),
Deduktionstreffen 2013 (organizer),
SYNASC 2013, Logic and Programming track (PC Member)
IJCAR 2012 (PC Member),
DL 2012(PC member),
LfSA 2012 (PC Member),
SYNASC 2012, Logic and Programming track (PC Member)
CADE-23 (PC co-chair with Nikolaj Bjorner);
FroCoS 2011 (Conference Chair);
FroCoS 2011 (PC member);
TABLEAUX 2011 (PC member);
FTP 2011 (PC member);
BNAIC 2011 (PC member);
SYNASC 2011, Logic and Programming track (PC member);
DL 2011 (PC member);
Deduktionstreffen 2011 (committee member)
Mitgliedschaften
GI, Association for Automated Reasoning (AAR)
Herausgeberschaften
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)
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 CADE 23 (together with Nikolaj Bjorner)
Automated deduction - CADE 23, LNAI 6803, Springer 2011
Proceedings of FroCoS 2011 (together with Cesare Tinelli)
Frontiers of Combining Systems, 8th International Symposium,
FroCoS 2011, LNAI 6989, Springer 2011
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)
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)
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)
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