Prof. Dr. Carsten Lutz
Visitors: Room 1.59, Cartesium, Enrique-Schmidt-Str. 5
Tel.: ++49 421 218-64431
Fax: ++49 421 218-9864431
EMail: click here to reveal
Universität Bremen
Fachbereich 03
Postfach 330440
28334 Bremen

AG Theory of Artificial Intelligence.

Sprechstunde: Im Semester Donnerstags 14:00-15:00, in der vorlesungsfreien Zeit nach Vereinbarung
Sekretariat: Marlott Hederich

For my publications, please see group publication list, DBLP, or Google scholar

A new Textbook on Description Logics

The CODA project, funded by an ERC Consolidator Grant

Recent Activities

  • Workshop Co-Chair of the International Joint Conference on Artificial Intelligence (IJCAI2021)
  • PC Member of the 38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021)
  • 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)
Activities in previous years.

Two systems for Ontology-Based Data Access:
Grind (for computing FO-rewritings in EL) and Combo (implementing the combined approach in DL-Lite)

Member of the UBremen high-profile area   Minds, Media, Machines

I support reducing our conference travel CO2 footprint: Theoretical Computer Scientists for Future

I also like poems (which might or might not seem incompatible with having a position at a university). And, sometimes, quotes:

"All of humanity's problems stem from man's inability to sit quietly in a room alone." - Blaise Pascal