Meetings /
M07Meetings.M07 HistoryHide minor edits - Show changes to output Changed line 23 from:
* 10:15 - 11:00 [[Attach:expo6.pdf|'' to:
* 10:15 - 11:00 [[Attach:expo6.pdf|''Two Variables and the Magic Wand'']] by [[http://www.lsv.ens-cachan.fr/~demri | Stéphane Demri]] Changed line 9 from:
* 15:00 - 15:45 [[Attach: to:
* 15:00 - 15:45 [[Attach:expo2.pdf|''Semantic tableau procedure for an iteration-free propositional dynamic logic with parallel composition'']] by Joseph Boudou Changed lines 22-26 from:
* 09: * 10: * 11:30 - 12 to:
* 09:15 - 10:00 [[Attach:expo5.pdf|''Separation Logic with One Quantified Variable'']] by [[http://www.loria.fr/~larchey | Dominique Larchey-Wendling]] * 10:15 - 11:00 [[Attach:expo6.pdf|''Expressive Completeness of Separation Logic With Two Variables and No Separating Conjunction'']] by [[http://www.lsv.ens-cachan.fr/~demri | Stéphane Demri]] Changed lines 25-26 from:
to:
* 12:15 - 13:00 General discussion on the DynRes project End of the meeting (13:00) Changed lines 8-14 from:
* 14: * 15 * 16 Dinner at to:
* 14:00 - 14:45 [[Attach:expo1.pdf|''Separation logic and here-and-there models'']] by [[http://www.irit.fr/~Andreas.Herzig|Andreas Herzig]] * 15:00 - 15:45 [[Attach:expo3.pdf|''Semantic tableau procedure for an iteration-free propositional dynamic logic with parallel composition'']] by Joseph Boudou * 16:15 - 17:00 [[Attach:expo3.pdf|''A sequent calculus with labels for PAL'']] by [[http://www.loria.fr/~demangev | Vincent Demange]], post-doc in the ANR-DynRes project * 17:15 - 18:00 [[Attach:expo4.pdf|''A separation epistemic logic'']] by Jean-René Courtault Dinner at "[[http://www.les-pissenlits.com | Les Pissenlits]]" (20:15) Added lines 26-27:
* 11:15 - 12:00 ''A "Here and There" variant of PDL'' by [[http://www.irit.fr/~Philippe.Balbiani | Philippe Balbiani]] Added lines 1-26:
This seventh meeting took place in LORIA, Sep. 18-19, 2014. The following presentations occurred. ---- [+'''Thursday September 18 (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.les-pissenlits.com | Les Pissenlits]]" (19:30) ---- [+'''Friday September 19 (room A006)'''+] '''Session 2''' * 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 ''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) |