From ANR DynRes

Meetings: M06

This fifth meeting took place in LORIA, Nov. 28-29, 2013. The following presentations occurred.

Thursday November 28 (room A006)

Session 1

• 14:30 - 15:30 Propositional dynamic logic with storing, recovering and parallel composition: decidability/complexity results by Philippe Balbiani
• 15:30 - 16:15 A dynamic epistemic logic with separation - some remarks by Jean-René Courtault and Didier Galmiche
• 16:45 - 17:45 Sequent calculi for modal and epistemic logics by Vincent Demange, post-doc in the ANR-DynRes project

Dinner at "Les Pissenlits" (19:30)

Friday November 29 (room A006)

Session 2

• 09:30 - 10:30 Completeness for Abstract Separation Logics by Dominique Larchey-Wendling
• 10:30 - 11:15 Cyclic Entailment Proofs in Separation Logic by Daniel Méry
• 11:30 - 12:00 General discussion and planning of next works and meetings

End of the meeting (12:00)