Meetings /
M06Meetings.M06 HistoryHide minor edits - Show changes to output Changed line 22 from:
* 10:30 - 11:15 to:
* 10:30 - 11:15 ''Cyclic Entailment Proofs in Separation Logic '' by [[http://www.loria.fr/~dmery | Daniel Méry]] Changed lines 21-27 from:
* 09: * 11: * 12:15 - * 12:50 - 13:10 General discussion and planning of next works and meetings End of the meeting (13:15 to:
* 09:30 - 10:30 [[Attach:expo4.pdf|''Completeness for Abstract Separation Logics'']] by [[http://www.loria.fr/~larchey | Dominique Larchey-Wendling]] * 10:30 - 11:15 [[Attach:expo5.pdf|''Cyclic Entailment Proofs in Separation Logic '']] by [[http://www.loria.fr/~dmery | Daniel Méry]] * 11:30 - 12:00 General discussion and planning of next works and meetings End of the meeting (12:00) Changed line 13 from:
Dinner at "[[http://www. to:
Dinner at "[[http://www.les-pissenlits.com | Les Pissenlits]]" (19:30) Added lines 1-27:
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 [[Attach:expo1.pdf|''Propositional dynamic logic with storing, recovering and parallel composition: decidability/complexity results'']] by [[http://www.irit.fr/~Philippe.Balbiani | Philippe Balbiani]] * 15:30 - 16:15 [[Attach:expo2.pdf|''A dynamic epistemic logic with separation - some remarks '']] by Jean-René Courtault and [[http://www.loria.fr/~galmiche | Didier Galmiche]] * 16:45 - 17:45 [[Attach:expo3.pdf|''Sequent calculi for modal and epistemic logics '']] by [[http://www.loria.fr/~demangev | Vincent Demange]], post-doc in the ANR-DynRes project Dinner at "[[http://www.restaurant-les-bacchanales.fr/ | Les Bacchanales]]" (20:30) ---- [+'''Friday November 29 (room A006)'''+] '''Session 2''' * 09:15 - 09:45 ''Refinement Modal Logic'' by [[http://personal.us.es/hvd | Hans van Ditmarsch]] (continued) * 09:45 - 10:45 [[Attach:expo4.pdf|''Quantified Separation Logic'']] by [[http://www.loria.fr/~dmery | Daniel Méry]] * 11:00 - 12:00 [[Attach:expo5.pdf|''Formal completeness for Boolean BI'']] by [[http://www.loria.fr/~larchey | Dominique Larchey-Wendling]] * 12:15 - 12:50 [[Attach:expo6.pdf|''The dynamic logic of propositional assignments'']] by [[http://www.irit.fr/~Andreas.Herzig|Andreas Herzig]] * 12:50 - 13:10 General discussion and planning of next works and meetings End of the meeting (13:15) |