Advisor; Referee; Committees

Advisor

Swen Jacobs (PhD thesis advisor, referee, PhD completed 2010)
Carsten Ihlemann (PhD thesis advisor, referee, PhD completed 2010)
Francis Gasse (PhD thesis advisor, ongoing)
Peter Faymonville (PhD co-advisor; his main advisor is Prof.Dr.Bernd Finkbeiner)

PhD Thesis Committees

Duc-Khanh Tran, Nancy. Advisors: Helene 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)

Habilitation Committees

Christophe Ringeissen, Nancy (member of the habilitation jury, 2009)

Referee

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

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 Orlowska), 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