!!Thomas Eiter - Curriculum Vitae
\\
__EDUCATION (at TU Wien)__
\\
*1995: Habilitation (Information Systems\\
*1989: M.Sc. (Dipl.-Ing.) in Computer Science\\
*1991: Ph.D. (Dr.techn.) in Computer Science\\
\\
__JOURNAL EDITORIAL BOARDS__
\\
*Artificial Intelligence Review (AIREV), Associate Editor (AE), 2015-\\
*Artificial Intelligence (AIJ), 2007; AE 2007-2014\\
*J Artificial Intelligence Research (JAIR), 1996-99; AE 2000-2002, Advisory Board 2004-2007\\
*Theory & Practice of Logic Programming (TPLP), Advisory Board, 2005-2009, Area Editor, 2010-\\
*J Automated Reasoning (JAR), AE 2009-\\
*J Interest Group in Propositional Logic, 2010-\\
*IEEE Trans. Knowledge & Data Eng., AE 1999-2003\\
*Fundamenta Informaticae, 2011 8822\\
*Computing, 2009-2010\\
*J Algorithms in Cognition, Informatics & Logic, 2008-2010\\
\\
__CHAIRING OF MAJOR INTERNATIONAL CONFERENCES__
\\
*28th  Int'l Joint Conf. Artificial Intelligence (IJCAI), 2019, chair-elect\\
*31st  Int'l Conf. Logic Programming (ICLP), 2015,  PC co-chair\\
*14th Int'l Conf. Principles of Knowledge Representation and   Reasoning (KR), 2014, chair; PC co-chair of KR 2012\\
*Vienna Summer of Logic, 2014 (largest conference on logic in history,   2500 participants), co-chair\\
*10th Int'l Conf. Database Theory (ICDT) 2005, PC co-chair\\
*6th Int'l Conf. Logic Programming and Nonmonotonic Reasoning (LPNMR), 2001, PC co-chair\\
\\
__MAJOR SCIENTIFIC SERVICE ROLES__
\\
*2014-2015: President KR Inc. cf. http://www.kr.org/index.php?page=organization\\
*2005-2014: Austrian Science Fund (FWF, ~NSF/EPSRC/DFG etc) Board Member for Computer Science\\
*ECCAI Dissertation Award Committee, 1998, 2009-2015\\
*Current steering committee member of KR, Association of Logic Programming, RR, and FoIKS\\
\\
__SOME KEY INVITED TALKS__
\\
*JELIA (2000, Malaga) \\
*APPIA-GULP-PRODE (2000, La Habana)\\
*Discovery Science (2003, Osaka)\\
*LPNMR (2005, Diamante)\\
*ICLP (2007, Porto)\\
*Panhellenic Logic Symposium (2007, Volos)\\
*LPAR (2008, Doha, Quatar)\\
*WoLLIC (2009, Tokyo)\\
*FroCoS (2009, Trento)\\
*RR (2013, Mannheim)\\
*KI/Informatik (2016, Klagenfurt)