From ANR DynRes

Meetings: M02

The "Kick-Off" meeting took place in LORIA, Feb. 28-29, 2012. The following presentations occurred. Tiago de Lima was invited to give talk on epistemic logics.

Tuesday February 28 (room A006)

• 14:00 - Welcome and Presentation of the DynRes project (by Didier Galmiche)

Session 1

• 14:30 - 15:30 A dynamic epistemic logic with quantification (by Tiago de Lima)
• 16:15 - 17:00 Dynamic BI logic (by Jean-René Courtault, PhD student in the TYPES team)
• 17:15 - 18:00 Algebraic explanations for the Undecidability of Boolean BI (by Philippe Balbiani)
• 18:00 - 18:30 Discussion

Dinner at "Les pissenlits" (20:30)

Wednesday February 29 (room B013)

Session 2

• 09:00 - 09:45 Tableaux with constraints in Separation Logics (by Dominique Larchey-Wendling)
• 09:45 - 10:30 LOTREC and tableaux provers in non classical logics Δ (by Olivier Gasquet)
• 10:30 - 11:00 Discussion

Session 3 (with an ANR representative)

• 11:15 - 12:00 Talk of the ANR representative for DynRes (by Olivier Couchariere)
• 12:00 - 12:30 Discussion about organisation, budget, etc.

Lunch at LORIA (12:45)

Session 4

• 14:00 - 15:00 A Propositional Separation Logic in PSPACE: a classical result (by Stéphane Demri)
• 15:00 - 16:15 General discussion and planning of next works and meetings

End of the meeting (16:45)