| Apr 15, 2023 |
I will be visiting Michael Wooldridge at the University of Oxford. See you in Oxford! 
|
| Mar 2, 2023 |
Course on “Game-Theoretic Approach to Planning and Synthesis” accepted at ESSAI’23! See you in Ljubljana! 
|
| Feb 10, 2023 |
Workshop proposal on Recent Advances in Concurrency and Logic (RADICAL) accepted at CONFEST’23! See you in Antwerp! 
|
| Nov 14, 2022 |
I will give a talk at Sapienza LoC3 Seminar. See you in Rome! 
|
| 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! 
|
| 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! 
|
| Apr 2, 2022 |
Presentation accepted at Highlights’22! See you in Paris!
|