Zum Inhalt
Fakultät für Informatik
Prof. Dr. Jean Christoph Jung

Community Activities

Organisation

  • Member of Steering Committee of the Description Logic Workshop (2021-2024)
  • General Chair of Description Logic Workshop (DL) 2022
  • Sponsorship Chair of Description Logic Workshop (DL) 2021
  • Proceedings Chair of International Conference on Database Theory (ICDT) 2020
  • Co-Editor for Special Issue for ICDT in Logical Methods in Computer Science 2020
  • Sponsorship Co-Chair of International Conference on Knowledge Representation and Reasoning (KR) 2020
  • Sponsorship Co-Chair of Description Logic Workshop (DL) 2020
  • Publicity Chair of International Joint Conference on Rules and Reasoning (RuleML+RR) 2020

Program Committee Memberships

2023

  • PC member of International Conference on Principles of Knowledge Representation and Reasoning (KR)
  • PC member of International Joint Conference on Artificial Intelligence (IJCAI)
  • PC member of International Workshop on Description Logics (DL)
  • PC member of AAAI Conference on Artificial Intelligence (AAAI)
  • PC member of European Conference on Artificial Intelligence (ECAI)
  • PC member of Workshop on the Decision Problem in First-Order Logic (satellite workshop at LICS)

2022

  • PC member of International Conference on Principles of Knowledge Representation and Reasoning (KR)
  • PC member of International Joint Conference on Artificial Intelligence (IJCAI)
  • PC member of International Workshop on Description Logics (DL)

2021

  • Senior PC member of International Joint Conference on Artificial Intelligence (IJCAI)
  • PC member of International Conference on Principles of Knowledge Representation and Reasoning (KR)
  • PC member of AAAI Conference on Artificial Intelligence (AAAI)
  • PC member of International Symposium on Temporal Representation and Reasoning (TIME)
  • PC member of International Symposium on Frontiers of Combining Systems (FroCoS)
  • PC member of International Workshop on Description Logics (DL)

2020

  • PC member of International Joint Conference on Artificial Intelligence (IJCAI)
  • PC member of AAAI Conference on Artificial Intelligence (AAAI)
  • PC member of International Symposium on Temporal Representation and Reasoning (TIME)
  • PC member of International Workshop on Description Logics (DL)

2019

  • PC member of International Joint Conference on Artificial Intelligence (IJCAI)
  • PC member of AAAI Conference on Artificial Intelligence (AAAI)
  • PC member of International Symposium on Frontiers of Combining Systems (FroCoS)
  • PC member of International Workshop on Description Logics (DL)
  • PC member of German Conference on Artificial Intelligence (KI)

2018

  • PC member of International Joint Conference on Artificial Intelligence (IJCAI)
  • PC member of International Workshop on Description Logics (DL)
  • PC member of German Conference on Artificial Intelligence (KI)