Advisor; Referee; Committees

Advisor

Swen Jacobs (PhD thesis advisor, referee, PhD completed 2010)
Carsten Ihlemann (PhD thesis advisor, referee, PhD completed 2010)
Markus Bender
Dennis Peuter

PhD Thesis Committees

Duc-Khanh Tran, Nancy. Advisors: Hélène Kirchner, Silvio Ranise, Christophe Ringeissen (member of the PhD thesis jury, 2007)
Albero Griggio, Trento. Advisors: Roberto Sebastiani and Alessandro Cimatti (external referee and member of the PhD commission, 2009)
Swen Jacobs (PhD thesis advisor, referee, 2010)
Carsten Ihlemann (PhD thesis advisor, referee, 2010)
Lindsey Jeftha, University of Stellenbosch. Advisor: Ingrid Rewitzky (referee of PhD thesis, 2010)
Paul Seban, Université Paul Sabatier, Toulouse. Advisors: Philippe Balbiani (referee of PhD thesis, 2011).
Daniel Bildhauer, University Koblenz-Landau (Chair, 2012)
Elena Tushkanova, Université de Besançon. Advisors: Olga Kouchnarenko, Christophe Ringeissen (referee of PhD thesis, 2013).
Olaf Görlitz, University Koblenz-Landau (Chair, 2014)
Sophie Tourret, MSTII/University of Grenoble (referee of PhD thesis, 2016)
Florentin Neumann, University Koblenz-Landau (Chair, 2016)
Aleksandar Zelijic, Uppsala University (PhD jury, 2018)
Ann Lilliestriöm, Chalmers University of Technology Gothenburg, Sweden (PhD Jury, 2019)

Habilitation Committees

Christophe Ringeissen, Nancy (member of the habilitation jury, 2009)
Ioana Leustean, Bucharest (member of the habilitation commission, 2017)
Mnacho Echenim, Grenoble (member of the habilitation jury; reviewer, 2017)
Pascal Fontaine, Nancy (member of the habilitation jury, 2018)
Sorin Stratulat, Nancy (member of the habilitation jury; reviewer, 2021)

Conference steering committees

Member in the steering committee of FroCoS (2010-2016)

Member of the board of trustees of CADE (2010-2011 as CADE'23 PC co-chair, elected 2011-2014)

Member of the steering commitee of IJCAR (2018-2020)

Referee

Conferences: FroCos ('96,'09), CADE (1996 and 1999-2013), AIS(M)C (1996, 2000, 2002), Tableaux (1998, 2000, 2005-2013), ISMVL (1999-2004, 2008), CSL (1999, 2003, 2006), FASE (2000), LICS (2000, 2003, 2004, 2008, 2016), IJCAI (2001, 2003), LPAR (2001, 2003, 2004), ESSLLI (2002, 2003), JIM (2003), IJCAR (2004, 2008-2014), CALCO (2005, 2009), FoIKS (2006), VMCAI (2006, 2007), KR (2006), ECAI (2006), AiML (2006), TACAS (2007), CAV (2007), ADDCT (2007-2014), FSTTCS (2007), CEDAR (2008), DL (2009-2012,2014)

Book chapters: Handbook of Automated Reasoning (eds. Alan Robinson and Andrei Voronkov), Beyond Two: Theory and Applications of Multiple-Valued Logic (eds. Melvin Fitting and Ewa Orłowska), TARSKI volume (ed. Harrie de Swart) LNCS.

Journals: 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.

Reviewer for Mathematical Reviews and Zentralblatt für Mathematik