From ANR DynRes

Meetings: M08

This eight and last meeting took place in LORIA, Apr. 13-15, 2015. The following presentations occurred.

Monday April 13 (room B013)

Session 1

• 14:30 - 14:45 Introduction - Preliminary discussion
• 14:45 - 15:30 Propositional dynamic logic with separating parallel composition by Joseph Boudou (IRIT Toulouse)
• 15:30 - 16:15 Arbitrary public announcement logic with mental programs by François Schwarzentruber (ENS Rennes)
• 16:30 - 17:15 Looking at Separation Algebras with Boolean BI-eyes by Dominique Larchey-Wendling.
• 17:15 - 18:00 Business Meeting I (discussion about results; project deliverables, continuation and evolution of the project).

Tuesday April 14

Session 2 (room B013)

• 10:00 - 11:00 Observation, Action, and Social Cognition by Jan van Eijck (invited talk, CWI and ILLC, Amsterdam; based on joint work with Thomas Bolander).
• 11:15 - 12:15 A Calculus of Bunched Resources and Processes by Gabrielle Anderson (invited talk, UCL London; joint work with David Pym).

Lunch at INRIA (12:30)

Session 3 (room C005)

• 14:15 - 15:00 A temporal extension of BI logic by Pierre Kimmel (LORIA, Nancy).
• 15:00 - 15:45 Intuitionistic Public Announcement Logic by Philippe Balbiani.
• 16:15 - 17:00 Five Funny Bisimulations by Hans van Ditmarsch.
• 17:00 - 17:30 Final Discussion (results, perspectives, new projects...)

DynRes dinner at "Les Pissenlits" (20:00)

Wednesday April 15 (room B013)

• 10:30 Public PhD defense by Jean-René Courtault (Lorraine University), Logiques de Ressources Dynamiques : Modèles, Propriétés et Preuves Δ (Dynamic Resource Logics : models, properties and proofs).