From ANR DynRes

Meetings: M07

This seventh meeting took place in LORIA, Sep. 18-19, 2014. The following presentations occurred.

Thursday September 18 (room A006)

Session 1

• 14:00 - 14:45 Separation logic and here-and-there models Δ by Andreas Herzig
• 15:00 - 15:45 Semantic tableau procedure for an iteration-free propositional dynamic logic with parallel composition by Joseph Boudou
• 16:15 - 17:00 A sequent calculus with labels for PAL Δ by Vincent Demange, post-doc in the ANR-DynRes project
• 17:15 - 18:00 A separation epistemic logic Δ by Jean-René Courtault

Dinner at "Les Pissenlits" (20:15)

Friday September 19 (room A006)

Session 2

• 09:15 - 10:00 Separation Logic with One Quantified Variable by Dominique Larchey-Wendling
• 10:15 - 11:00 Two Variables and the Magic Wand by Stéphane Demri
• 11:15 - 12:00 A "Here and There" variant of PDL by Philippe Balbiani
• 12:15 - 13:00 General discussion on the DynRes project

End of the meeting (13:00)