!!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)