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)
