Experience
    Education
    Bio
    Franz Baader (15 June 1959, Spalt) is a German computer scientist at Dresden University of Technology .[4][5][6] He received his PhD in Computer Science in 1989 from the University of Erlangen-Nuremberg, Germany,[1] where he was a teaching and research assistant for 4 years. In 1989, he went to the German Research Centre for Artificial Intelligence (DFKI) as a senior researcher and project leader. In 1993 he became associate professor for computer science at RWTH Aachen, and in 2002 full professor for computer science at TU Dresden. Member of the steering committee of conferences and workshops CADE - Conference on Automated Deduction (2002-2009, President 2004-2009; 2010-2013, President 2011-2013) DL - Description Logics (2000-2002; 2008-2011) FroCoS - Frontiers of Combining Systems (since 1996, chair) IJCAR - International Joint Conference on Automated Reasoning (2004-2009; chair 2006-2009; 2011-2013, chair) KRDB - Knowledge Representation meets Databases (since 1994) LICS - IEEE Symposium on Logic in Computer Science (Organizing Committee, 2005-2009, 2011-2013) RTA - Rewriting Techniques and Applications (2001-2004; 2007-2010, chair 2009-2010) STACS - Symposium on Theoretical Aspects of Computer Science (2004-2006) UNIF - International Workshop on Unification (2008-2010, chair) Member of the editorial board of journals AICom - The European Journal on Artificial Intelligence (since 2000) The Journal of Artificial Intelligence Research (2000-2003) Journal of Applied Logic (since 2002) JANCL - Journal of Applied Non-Classical Logics (since 2003) LMCS - Logical Methods in Computer Science (since 2004) Artificial Intelligence (2006-2014) Journal of Automated Reasoning (since 2007) Logic Journal of the IGPL (since 2010)