From ANR DynRes

Meetings: M04

This third meeting took place in LORIA, Feb. 21-22, 2013. The following presentations occurred. Tiago de Lima and Hans van Ditmarsch were invited.

Thursday February 21 (room A006)

Session 1

• 14:30 - 15:30 A short introduction to propositional dynamic logic with separation and parallel composition by Philippe Balbiani
• 15:45 - 16:45 A modal extension of BBI for resource transformation by Jean-René Courtault, PhD student in the TYPES team
• 17:00 - 18:00 Refinement Modal Logic by Hans van Ditmarsch

Dinner at "Les Bacchanales" (20:30)

Friday February 22 (room A006)

Session 2

• 09:15 - 09:45 Refinement Modal Logic by Hans van Ditmarsch (continued)
• 09:45 - 10:45 Quantified Separation Logic Δ by Daniel Méry
• 11:00 - 12:00 Formal completeness for Boolean BI by Dominique Larchey-Wendling
• 12:15 - 12:50 The dynamic logic of propositional assignments by Andreas Herzig
• 12:50 - 13:10 General discussion and planning of next works and meetings

End of the meeting (13:15)