Committees
PC member of the 23rd International Conference on Autonomus Agents and Multiagent Systems (AAMAS 2024)
PC member of the 38th AAAI Conference on Artificial Intelligence (AAAI 2024)
PC member of the 9th International Conference on Technologies and Innovation (CITI 2023)
PC member of the 26th European Conference on Artificial Intelligence (ECAI 2023)
Senior PC member of the 37th AAAI Conference on Artificial Intelligence (AAAI 2023)
PC member of the 9th International Work-Conference on the Interplay between Natural and Artificial Computation (IWINAC 2022)
Senior PC member of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022)
PC member of the 7th International Conference on Technologies and Innovation (CITI 2021)
PC member of the 28th International Symposium on Temporal Representation and Reasoning (TIME 2021)
PC member of the 3rd OVERLAY Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2021)
PC member of the 35th AAAI Conference on Artificial Intelligence (AAAI 2020)
PC member of the 6th International Conference on Technologies and Innovation (CITI 2020)
PC member of the 2nd OVERLAY Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2020)
PC member of the 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
PC member of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020)
PC member of the 17th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2020)
PC member of the 24th European Conference on Artificial Intelligence (ECAI 2020)
PC member of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020)
PC member of the 5th International Conference on Technologies and Innovation (CITI 2019)
PC member of the 1st OVERLAY Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2019)
PC member of the 8th International Work-Conference on the Interplay between Natural and Artificial Computation (IWINAC 2019)
Chair of the 26th International Symposium on Temporal Representation and Reasoning (TIME 2019)
PC member of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019)
PC member of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018)
PC member of the 23rd European Conference on Artificial Intelligence (ECAI 2018)
PC member of the 32nd Italian Conference on Computational Logic (CILC 2017)
PC member of the 21st International Symposium on Temporal Representation and Reasoning (TIME 2014)
PC member of the 1st International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2010)