Apr 15, 2023 I will be visiting Michael Wooldridge at the University of Oxford. See you in Oxford! :uk:
Mar 2, 2023 Course on “Game-Theoretic Approach to Planning and Synthesis” accepted at ESSAI’23! See you in Ljubljana! :slovenia:
Feb 10, 2023 Workshop proposal on Recent Advances in Concurrency and Logic (RADICAL) accepted at CONFEST’23! See you in Antwerp! :belgium:
Nov 14, 2022 I will give a talk at Sapienza LoC3 Seminar. See you in Rome! :it:
Oct 20, 2022 I am proceedings chair of ICPM’23.
Aug 1, 2022 Paper accepted at TIME’22!
Jul 25, 2022 Invited to attend Munyque Mittelmann’s Thesis Defence and to talk at LMAS’22. See you in Toulouse! :fr:
May 18, 2022 PhD course on Game-Theoretic Approach to Synthesis and Games. Check it out!
Apr 15, 2022 Paper accepted at KR’22! See you in Haifa! :israel:
Apr 2, 2022 Presentation accepted at Highlights’22! See you in Paris! :fr: