Curriculum
Short Curriculum
Dr. Stefan Wölfl received his master degree (M.A. in philosophy and mathematics, 1995) and his doctoral degree (Dr. phil., 1998) from the University of Regensburg. From September 1999 until August 2000, he was member of the research group Causation in the theory of branching time (headed by Franz von Kutschera) at the Department of Philosophy at the University of Regensburg. From March 2001 until February 2003, he was visiting fellow first at the Department of Philosophy at the University of Pittsburgh (PA, USA) and then at the Department of Mathematics at the University of Padova (Italy). In 2000, his dissertation was awarded the Wolfgang Stegmüller Preis (by the Gesellschaft für analytische Philosophie).
Since April 2003, he is member of the Research Group on the Foundations of Artificial Intelligence at the University of Freiburg, headed by Bernhard Nebel. Currently he is working on the SFB/TR 8-project Constraint-Based Reasoning in Qualitative Spatio-Temporal Calculi (LogoSpace). Since June 2004, he is postgraduate member of the DFG-Graduiertenkolleg Mathematical Logic and Application.
Academic Activities
Conference Organization
Local Organizer of Spatial Cognition 2008
Workshops
Qualitative Constraint Calculi: Integration and Application (co-located with KI 2006, jointly with Till Mossakowski)
Programme Commitee
Artificial and Ambient Intelligence Symposium on Spatial Reasoning and Communication (AISB 2007)
Workshop on Applications of Spatial Cognition for Intelligent Assistance Systems (30th German Conference on Artificial Intelligence, KI-2007)
Workshop on Behaviour Monitoring and Interpretation (30th German Conference on Artificial Intelligence, KI-2007)
Reviewing for Journals
Journal of Philosophical Logic
Synthese
Erkenntnis
Studia Logica
Spatial Cognition and Computation (SCC Special Issue 5, 2005)
Journal of Applied Logic
Reviewing for Conferences
Advances in Modal Logic (AiML 2001, AiML 2004)
German Conference on Artificial Intelligence (KI 2004, KI 2005)
International Conference on Principles of Knowledge Representation and Reasoning (KR 2006)
International Joint Conference on Artificial Intelligence (IJCAI-05, IJCAI-07)
Journées Européennes sur la Logique en Intelligence Artificielle (JELIA 2004)
Pacific Rim International Conference on Artificial Intelligence (PRICAI 2004)
Spatial Cognition (2004, 2006)
Supervised Theses
[To be done]
Grants and Awards
Emmy-Noether research fellowship of the Deutsche Forschungsgemeinschaft (2001-2003)
Wolfgang Stegmüller Preis for the dissertation thesis (awarded by the Gesellschaft für analytische Philosophie, 2000)
Kulturpreis Ostbayern (annual dissertation prize at the University of Regensburg, awarded by the University of Regensburg, funded by the former OBAG AG, 1999)
Dissertation grant of the Studienstiftung des deutschen Volkes (1996-1997)
Study grant of the Studienstiftung des deutschen Volkes (1994-1995)