Activities of Carsten Lutz

This year's activities can be found here.

2012

PC Member of the 2012 Workshop on Description Logics (DL2012)
PC Member of the 20th European Conference on Artificial Intelligence (ECAI2012)
Area Chair of the 13th International Conference on the Principles of Knowledge Representation and Reasoning (KR2012)
Member of the PODS12 external review committee on Semantic, Linked, and CrowdSourced data
PC Member of the 2012 International Joint Conference on Automated Reasoning (IJCAR2012)
PC Member of the 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18)
Doctoral Consortium Chair of the 35th Annual German Conference on Artificial Intelligence (KI2012)
PC Member of the 25th Australasian Joint Conference on AI (AI2012)
PC Member of the 13th European Conference on Logics in Artificial Intelligence (JELIA2012)
PC Member of the 9th Extended Semantic Web Conference (ESWC2012)
PC Member of the 2012 International Workshop on Uncertainty in Description Logics (UniDL12)
PC Member of the third International Symposium on Games, Automata, Logics and Formal Verification (GandALF2012)

2011

Senior PC Member of 22nd International Joint Conference on Artificial Intelligence (IJCAI2011)
PC Member of 25th AAAI Conference on Artificial Intelligence (AAAI2011)
PC Member of the 8th International Symposium on Frontiers of Combining Systems (FroCoS11)
PC Member of the 2011 Workshop on Description Logics (DL2011)
PC Member of the 10th International Semantic Web Conference (ISWC2011)
PC Member of the The Eighth International Workshop OWL: Experiences and Directions 2011 (OWLED2011)
PC Member of the 7th Workshop on Methods for Modalities (M4M 2011)

2010

Ray Reiter Best Paper Award of KR2010
Invited Tutorial at the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR2010)
The slides are here
Senior PC Member of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI2010)
PC Member of the 2010 Workshop on Description Logics (DL2010)
PC Member of the 12th European Conference on Logics in Artificial Intelligence (JELIA2010)
PC Member of the 5th International Joint Conference on Automated Reasoning (IJCAR2010)
PC Member of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR2010)
PC Member of the 13th International Conference on Foundations of Software Sciences and Computation Structures (FoSSaCS10)
PC Member of Advances in Modal Logic 2010 (AiML10)
PC Member of the 4th International Workshop on Modular Ontologies (WoMO2010)
PC Member of the 7th International Workshop on OWL: Experiences and Directions (OWLED2010)
PC Member of the FLOC'2010 Workshop on Comparing Logical Decision Methods (CLoDeM'2010)

2009

Senior PC Member of the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI09)
PC Member of the ICALP09 Workshop on Quantitative Logics (QUANTLOG09)
PC Member of the 2009 Workshop on Description Logics (DL2009)
PC Co-Chair of the 16th International Symposium on Temporal Representation and Reasoning(TIME09)
PC-Member of the 2009 Workshop on Methods for Modalities (M4M-6)

2008

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)

2007

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.

2006

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

2005

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.

2004

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

2003

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

2002

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.

2001

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

Back to my homepage