Prof. Dr. Carsten Lutz
Visitors: Room 2.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

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

Recent Activities

  • PC Member of the 19th International Conference on Database Theory (ICDT16)
  • 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 (PODS15)
  • PC Member of the 25th International Conference on Automated Deduction (CADE-25)
  • PC Member of the 29th AAAI Conference on Artificial Intelligence (AAAI15)
  • 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)
Activities in previous years.

The Combo System for Ontology-Based Data Access.

Member of the Editorial Board of the Journal of Artificial Intelligence Research (JAIR)
Editor of the Review of Symbolic Logic (RSL)

listening to