Advisor; Referee; Committees

Advisor

PhD Thesis Committees

Habilitation Committees

Conference steering committees

  • Member in the steering committee of FroCoS (since 2010)
  • Member of the board of trustees of CADE (2010-2011 as CADE'23 PC co-chair, elected 2011-2014)
  • 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