Arrival of Carlos Areces (Guest Researcher)
Carlos Areces will be visiting researcher in the team from July 07 to August 23. It will be hosted on the UPS site of the team.
During his stay in Toulouse, Carlos Areces will work on dynamic logic and on dynamic epistemic logic, with applications to epistemic planning.
Website : https://cs.famaf.unc.edu.ar/~careces/