Activities of Carsten Lutz

This year's activities can be found here.

Invited Speaker at IJCAR08
Invited Speaker at TIME08
Invited Speaker at CEDAR08
Course on Modularity in Logical Theories and Ontologies at ESSLLI08 (jointly with Frank Wolter and Uli Sattler) The slides are here
PC-Member of the 2008 Workshop on OWL: Experiences and Directions (OWLED08)
PC Co-Chair of the 11th European Conference on Logics in Artificial Intelligence (JELIA08)
PC-Member of the 23rd Conference on Artificial Intelligence (AAAI08)
PC-Member of the Second International Conference on Web Reasoning and Rule Systems (RR2008)
PC-Member of the 2008 Conference on Advances in Modal Logic (AiML08)
PC-Member of the 7th International Semantic Web Conference (ISWC 2008)
Doctoral Consortium Chair of the 2008 Conference on Principles of Knowledge Representation and Reasoning (KR'08)
PC-Member of the 2008 Workshop on Ontologies: Reasoning and Modularity (WORM08)
PC-Member of the 2008 Conference on Principles of Knowledge Representation and Reasoning (KR'08)
PC-Member of the 18th European Conference on Artificial Intelligence (ECAI'08)
PC-Chair of the 2008 Description Logic Workshop (DL'08)
PC-Member of the 27th Symposium on Principles of Database Systems (PODS'08)

Workshop Chair of the 30th German Conference on Artificial Intelligence (KI2007)
PC-Member of the 6th International Semantic Web Conference (ISWC'07)
PC-Member of the 2007 Workshop on Modular Ontologies (WoMo'07)
PC-Member of the 2007 Workshop on Methods for Modalities (M4M-5)
PC-Member of the 2007 Workshop on Description Logics (DL07)
PC-Member of the Workshop on Automated Deduction: Decidability, Complexity, Tractability (ADDCT07)
PC-Member of the Twenty-Second National Conference on Artificial Intelligence AAAI-07
PC-Member of 14th International Symposium on Temporal Reasoning TIME-2007
PC-Member of the 2007 Conference on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux2007)
PC-Member of the 2007 International Workshop on OWL: Experiences and Directions (OWLED07)
PC-Member of the 30th German Conference on Artificial Intelligence (KI2007)
PC-Member of the 15th International Conference on Conceptual Structures ICCS-07.

Gewählt zum stellvertretenden Sprecher der Fachgruppe 0.1.6 (Logik in der Informatik) der GI
Received the "AI Ten to Watch" award of IEEE Intelligent Systems Magazine
PC-Member of the First International Workshop on Modular Ontologies (WoMO 2006)
PC-Member of the 2006 Workshop on OWL: Experiences and Directions (OWLED06)
PC-Member of the 2006 Workshop on Description Logics (DL06)
PC-Member of the 2006 Conference on Advances in Modal Logic AiML 2006
PC-Member of the 17th European Conference on Artificial Intelligence ECAI 2006
PC-Member of the Special Track on Natural Language and Knowledge Representation of FLAIRS'06.
PC-Member of the 14th International Conference on Conceptual Structures ICCS'06
PC-Member of the 2006 Workshop on Reasoning on the Web RoW 2006
PC-Member of the Third International Workshop on Philosophy and Informatics WSPI'06

PC-Member of the ISWC 2005 Workshop on OWL: Experiences and Directions
Invited Speaker at the third international workshop on Logic and Communication in Multi-Agent Systems LCMAS 2005
Co-organizer of the KI-2005 Workshop on Foundational Aspects of Ontologies (FOnt 2005)
Course on Description Logics at the ICCL Summer School 2005 (jointly with Ulrike Sattler)
Slides available for download
Invited Talk at the IJCAI'05 special session for co-located events
Elected Treasurer of FoLLI
PC-Member of TABLEAUX 2005, the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
PC-Member of the 13th International Conference on Conceptual Structures ICCS '05
PC-Member of the 2005 Workshop on Description Logics DL 2005
PC-Member of the 2005 Workshop on Context Representation and Reasoning CRR-05
PC Member of the ICCL Summer School 2005
Course on Quantitative Modal Logics of Time and Space at ESSLLI05 (jointly with Frank Wolter and Misha Zakharyaschev) Course material avilable here.

Co-organizer of the 2004 Workshop on Applications of Description Logic ADL04
PC-Member of the Workshop on Principles and Practice of Semantic Web Reasoning PPSWR04
PC-Member of the 2004 Workshop on Description Logics DL 2004
PC-Member of 11th International Symposium on Temporal Reasoning TIME-2004
PC-Member of the 12th International Conference on Conceptual Structures ICCS 2004
PC-Member of the IJCAR 2004 Doctoral Programme
Course on Description Logics at ESSLLI 2004 (jointly with Ulrike Sattler).

Member of DL Steering Committee
Invited Speaker at M4M 3.
Co-organizer of the Workshop on Knowledge Representation meets Databases KRDB'03.
PC-Member of the 2003 Workshop on Description Logics DL2003
PC-Member of the 11th International Conference on Conceptual Structures ICCS 2003
PC-member of the Combined 10th International Symposium on Temporal Representation and Reasoning and 4th International Conference on Temporal Logic TIME-ICTL-2003

Invited Speaker at AiML 2002.
Co-organizer of the KI-2002 Workshop on Applications of Description Logics ADL'02
PC-member of the Workshop on Knowledge Representation meets Databases KRDB'02.
Course on Description Logics at ESSLLI 2002 (jointly with Ulrike Sattler).
PC-member of the TIME-02 symposium.

PC-member of the ESSLLI 2001 student session.
Co-organizer of the KI-2001 Workshop on Applications of Description Logics ADL'01