Activities of Carsten Lutz

This year's activities can be found here.

2023

IJCAI2023 distinguished paper award
PODS2023 Best Paper Award
AAAI2023 distinguished paper award
PODS2023 Test of Time Award for PODS2013 paper on Ontology-Mediated Querying
General Chair of the 36th International Workshop on Description Logics (DL 2023)
PC Member of the International Joint Conference on Artificial Intelligence (IJCAI2023)
Senior PC Member of the European Conference on Artificial Intelligence (ECAI2023)
PC Member of the Conference on Uncertainty in Artificial Intelligence (UAI2023)

2022

KR2022 best paper award runner up
Fellow of the Asia-Pacific Artificial Intelligence Association (AAIA) 2022
PC Member of the 35th International Workshop on Description Logics (DL 2022)
Started at the University of Leipzig on April 1st (no joke!)
Invited presentation at the LCC workshop
Senior PC Member of the International Joint Conference on Artificial Intelligence (IJCAI2022)
Senior PC Member of the 36th AAAI Conference on Artificial Intelligence (AAAI2022)

2021

KR2021 best paper award runner up
Honorable mention for best paper award of the International Joint Conference on Artificial Intelligence (IJCAI2021)
Best paper award of the 24th International Conference on Database Theory (ICDT2021)
Area Chair of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021)
Associate Editor for Artificial Intelligence Journal 2021-2024
Workshop Co-Chair of the International Joint Conference on Artificial Intelligence (IJCAI2021)
Senior PC Member of the International Joint Conference on Artificial Intelligence (IJCAI2021)
PC Member of the 34th International Workshop on Description Logics (DL 2021)
PC Member of the 38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021)

2020

KR2020 best paper award runner up
Senior PC Member of the International Joint Conference on Artificial Intelligence - Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020)
PC Chair of the 23rd International Conference on Database Theory (ICDT2020)
Senior PC Member of the 34th AAAI Conference on Artificial Intelligence (AAAI2020)
Senior PC Member of the 24th European Conference on Artificial Intelligence (ECAI2020)
PC Member of the Research Track of the International Semantic Web Conference (ISWC2020)
PC Member of Advances in Modal Logic 2020 (AiML2020)
PC Member of the 33rd International Workshop on Description Logics (DL 2020)

2019

Senior PC Member of the 28th International Joint Conference on Artificial Intelligence (IJCAI2019)
Recognition as distinguished senior PC member
Senior PC Member of the 33rd Conference on Artificial Intelligence (AAAI2019)
PC Member of the Research Track of the International Semantic Web Conference (ISWC2019)
PC Member of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ESQARU19)
PC Member of the International Workshop on Description Logics (DL2019)
PC member of the Third International Workshop on Datalog 2.0 (2019)

2018

IJCAI2018 distinguished paper award
Area Chair of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR2018)
PC Member of the 37th ACM Symposium on Principles of Database Systems (PODS2018)
Senior PC Member of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI2018)
Senior PC Member of the 32nd Conference on Artificial Intelligence (AAAI2018)
PC Member of the research paper track on Web Content Analysis, Semantics, and Knowledge of the 27th International World Wide Web Conference (WWW2018)
PC Member of Advances in Modal Logic 2018 (AiML2018)
PC Member of the International Workshop on Description Logics (DL2018)

2017

PODS2017 best paper award
Senior PC Member of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017)
PC Member of the 30th International Workshop on Description Logics (DL 2017)
Invited Speaker at the 20th International Conference on Database Theory (ICDT2017)
PC Member of the Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS2017)
PC Member of the 11th International Conference on Language and Automata Theory and Applications (LATA 2017)

2016

EurAI (formerly ECCAI) fellow 2016
Invited Speaker at the 33rd Symposium on Theoretical Aspects of Computer Science (STACS2016)
Course at the 12th Reasoning Web Summer School (RW2016)
Senior PC Member of the 25th International Joint Conference on Artificial Intelligence (IJCAI2016)
PC Member of the 29th International Workshop on Description Logics (DL2016)
PC Member of the 19th International Conference on Database Theory (ICDT2016)
Area Chair of 15th International Conference on Principles of Knowledge Representation and Reasoning (KR2016)
PC Member of Advances in Modal Logic 2016 (AiML2016)
PC Member of the International Joint Conference on Automated Reasoning (IJCAR2016)

2015

Won an ERC Consolidator Grant from the 2014 call
Invited Speaker at the 28th International Workshop on Description Logics (DL2015)
PC Co-Chair of the 10th International Symposium on Frontiers of Combining Systems (FroCoS2015)
PC Member of the 28th International Workshop on Description Logics (DL2015)
PC Member of the 9th International Conference on Web Reasoning and Rule Systems (RR2015)
Senior PC Member of the 24th International Joint Conference on Artificial Intelligence (IJCAI2015)
PC Member of the 34th ACM Symposium on Principles of Database Systems (PODS2015)
PC Member of the 25th International Conference on Automated Deduction (CADE-25)
PC Member of the 29th AAAI Conference on Artificial Intelligence (AAAI2015)

2014

Invited Speaker at the 44th Annual Symposium on Multiple-Valued Logic (ISMVL14)
Peter Hansen won Bremer Studienpreis for Master thesis carried out at TdKI
PC Member of the 27th International Workshop on Description Logics (DL2014)
PC Member of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR2014)
Area Co-Chair for Logic and Computation of the 26th European Summer School in Logic, Language and Information (ESSLLI2014)
PC Member of the 2014 Conference on Advances in Modal Logic (AiML2014)
PC Co-Chair of the 37th German Conference on Artificial Intelligence (KI2014)
Senior PC Member of the 21st European Conference on Artificial Intelligence (ECAI2014)
PC Member of the 8th International Conference on Web Reasoning and Rule Systems (RR2014)
PC Member of the Eighth International Symposium on Foundations of Information and Knowledge Systems (FoIKS2014)

2013

ISWC2013 best paper award
GI Fachgruppentreffen "Logik in der Informatik" November 8+9, 2013 in Bremen.
PC Member of the 22nd EACSL Annual Conference on Computer Science Logic (CSL2013)
Senior PC Member of the 23rd International Joint Conference on Artificial Intelligence (IJCAI2013)
PC Member of the 27th AAAI Conference on Artificial Intelligence (AAAI2013)
PC Member of the 2013 Workshop on Description Logics (DL2013)
PC Member of the 7th International Conference on Web Reasoning and Rule Systems (RR2013)
PC Member of the 2013 Workshop Automated Deduction: Decidability, Complexity, Tractability (ADDCT 2013)
PC Member of the 2013 Workshop on Dynamics of Knowledge and Belief (DKB2013)

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