Community Service

Oct 2, 2025 · 1 min read

Organization

YearConferenceRole
202632nd International Conference on Principles and Practice of Constraint Programming (CP)Website Chair

Reviewer

YearConferenceRole
202635th International Conference on Artificial Intelligence, and the 29th European Conference on Artificial Intelligence (IJCAI-ECAI)PC Member
202640th Annual AAAI Conference on Artificial Intelligence (AAAI)PC Member
2026IEEE Transactions on Learning Technologies (TLT)Reviewer
20262026 European Conference on Object-Oriented Programming (ECOOP)External Reviewer
202528th European Conference on Artificial Intelligence (ECAI)PC Member
202526th International Conference on Artificial Intelligence in Education (AIED)PC Member
202534th International Joint Conference on Artificial Intelligence (IJCAI)PC Member
20241st ACM Virtual Global Computing Education Conference (SIGCSE Virtual)PC Member
202433rd International Joint Conference on Artificial Intelligence (IJCAI)PC Member

Sub-reviewer

YearConference
202427th International Conference on Theory and Applications of Satisfiability Testing (SAT) — Reviewer: Inês Lynce
202329th Conference on Automated Deduction (CADE) — Reviewer: Mikoláš Janota
202231st International Joint Conference on Artificial Intelligence (IJCAI) — Reviewer: Mikoláš Janota
20227th Conference on Artificial Intelligence and Theorem Proving (AITP) — Reviewer: Mikoláš Janota