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!
|