Conferences

(Co-)chairing and (co-)organising:

1. Nordic Logic Summer School (co-chair), Copenhagen, 2026.
2. The 1st International Workshop on Knowledge Representation for Hybrid Intelligence (KR4HI). Amsterdam, The Netherlands, 14 June 2022.
3. Social Logic. Rifugio Lagazuoi, Italy, 17-21 August 2022.
4. Epistemic Planning. Tutorial at ICAPS 2020, Nancy, 14-19 June 2020.
5. Epistemic Planning (EpiP). Workshop at ICAPS 2020, Nancy, 14-19 June 2020.
6. Current Trends in Artificial Intelligence II, Byens Lys, Christiania, Copenhagen, 17 November 2017.
7. Epistemic Planning, Schloss Dagstuhl, 5-9 June, 2017.
8. Current Trends in Artificial Intelligence I, DTU, 23 November 2016.
9. The CADILLAC Workshop, Copenhagen, 23-25 May, 2016.
10. To be announced! Synthesis of Epistemic Protocols. Workshop at the Lorentz Center (International Center for Workshops in the Sciences), The Netherlands, 17-21 August, 2015.
11. Advances in Modal Logic (AiML) 2012. August 22-25, 2012, Copenhagen.
12. International CDIO Conference 2011. June 20-23, 2011, Copenhagen.
13. International Workshop on Hybrid Logic and Applications (HyLo 2010). Edinburgh, July 10, 2010.
14. 6th Methods for Modalities (M4M) workshop, Copenhagen, November 2009.
15. Hybrid Logic 2007 (HyLo 2007) workshop, Dublin. Part of ESSLLI 2007.
16. Hybrid Logic 2006 (HyLo 2006) workshop affiliated with Logic In Computer Science (LICS 2006) and part of the Federated Logic Conference (FLoC 2006).
17. Conference on Self-reference, Copenhagen, 31 October-2 November, 2002.

Program committee memberships:

• AAAI Conference on Artificial Intelligence: 2026, 2024, 2023, 2022, 2020, 2019, 2018, 2017, 2016.
• IJCAI (International Joint Conference on Artificial Intelligence): 2026, 2021, 2020, 2018, 2017.
• AAMAS (International Conference on Autonomous Agents and Multiagent Systems): 2024, 2021, 2020, 2019, 2018, 2016.
• KR (International Conference of Principles of Knowledge Representation and Reasoning): 2025, 2023, 2022, 2021, 2020, 2019, 2018, 2016.
• DaLI (Dynamic Logic: New Trends and Applications): 2023, 2020, 2019.
• PRICA 2023.
• FoIKS (International Symposium on Foundations of Information and Knowledge Systems): 2026.
• CLAR (Conference on Logic and Argumentation): 2021, 2020.
• Epistemic Planning (EpiP) 2020.
• ECAI (European Conference on Artificial Intelligence) 2020.
• RAIA (Responsible Artificial Intelligence Agents) 2019.
• LORI (International Conference on Logic, Rationality and Interaction): 2025, 2019, 2017, 2015.
• EUMAS (European Conference on Multi-Agent Systems) 2018.
• GCAI (Global Conference on Artificial Intelligence) 2018.
• FRoCoS (Frontiers of Combining Systems): 2017, 2015, 2013.
• LAMAS (Workshop on Logical Aspects of Multi-Agent Systems): 2016, 2015, 2014, 2012, 2011.
• AiML (Advances in Modal Logic): 2016, 2012.
• SCAI (Scandinavian Conference on Artificial Intelligence): 2015, 2013, 2006.
• ECSI (European Conference on Social Intelligence) 2014.
• M4M (Methods for Modalities): 2013, 2011, 2009.
• International CDIO Conference: 2012, 2011.
• HyLO (International Workshop on Hybrid Logic and Applications): 2010, 2009, 2006.
• IADIS International Conference on Intelligent Systems and Agents: 2008, 2007.