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)