Meetings /
M04Meetings.M04 HistoryHide minor edits - Show changes to output Changed lines 11-12 from:
* 17:00 - 18:00 [[Attach:expo3.pdf|'' to:
* 17:00 - 18:00 [[Attach:expo3.pdf|''Refinement Modal Logic'']] by [[http://personal.us.es/hvd | Hans van Ditmarsch]] Changed line 21 from:
* 09:15 - 09:45 [[http://personal.us.es/hvd | Hans van Ditmarsch]] (continued) to:
* 09:15 - 09:45 ''Refinement Modal Logic'' by [[http://personal.us.es/hvd | Hans van Ditmarsch]] (continued) Changed line 9 from:
* 14:30 - 15:30 [[Attach:expo1.pdf|'' to:
* 14:30 - 15:30 [[Attach:expo1.pdf|''A short introduction to propositional dynamic logic with separation and parallel composition'']] by [[http://www.irit.fr/~Philippe.Balbiani | Philippe Balbiani]] Changed lines 10-11 from:
* 15:45 - 16:45 [[Attach:expo2.pdf|''A modal extension of BBI for resource transformation'']] by Jean-René Courtault, PhD student in the TYPES team to:
* 15:45 - 16:45 [[Attach:expo2.pdf|''A modal extension of BBI for resource transformation'']] by Jean-René Courtault, PhD student in the TYPES team Changed lines 10-11 from:
* 15:45 - 16:45 [[Attach:expo2.pdf|'' to:
* 15:45 - 16:45 [[Attach:expo2.pdf|''A modal extension of BBI for resource transformation'']] by Jean-René Courtault, PhD student in the TYPES team Changed line 24 from:
* 12:15 - 12:50 [[Attach:expo6.pdf|''The dynamic logic of propositional assignments'']] by Andreas to:
* 12:15 - 12:50 [[Attach:expo6.pdf|''The dynamic logic of propositional assignments'']] by [[http://www.irit.fr/~Andreas.Herzig|Andreas Herzig]] Changed line 24 from:
* 12:15 - 12:50 [[Attach:expo6.pdf|'' to:
* 12:15 - 12:50 [[Attach:expo6.pdf|''The dynamic logic of propositional assignments'']] by Andreas Herzig Changed line 24 from:
* 12:15 - 12:50 [[Attach: to:
* 12:15 - 12:50 [[Attach:expo6.pdf|''xxxxx'']] by Andreas Herzig Changed lines 9-14 from:
* 14:30 - 15:30 [[Attach:expo1.pdf|''xxxxxxxx'']] Dinner at " to:
* 14:30 - 15:30 [[Attach:expo1.pdf|''xxxxxxxx'']] by [[http://www.irit.fr/~Philippe.Balbiani | Philippe Balbiani]] * 15:45 - 16:45 [[Attach:expo2.pdf|''Dynamic BI logic'']] by Jean-René Courtault, PhD student in the TYPES team * 17:00 - 18:00 [[Attach:expo3.pdf|''xxxxxxxxxxxx'']] by [[http://personal.us.es/hvd | Hans van Ditmarsch]] Dinner at "[[http://www.restaurant-les-bacchanales.fr/ | Les Bacchanales]]" (20:30) Changed lines 22-24 from:
* 09:45 - 10:45 [[Attach:expo4.pdf|''Quantified Separation Logic'']] * 11 to:
* 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:expo4.pdf|''Quantified Separation Logic'']] by Andreas Herzig Changed lines 1-2 from:
This third meeting took place in LORIA, Feb. 21-22, 2013. The following presentations occurred. Hans von Ditmarch to:
This third meeting took place in LORIA, Feb. 21-22, 2013. The following presentations occurred. [[http://www.cril.univ-artois.fr/~delima | Tiago de Lima]] and [[http://personal.us.es/hvd | Hans van Ditmarsch]] were invited. Changed lines 12-13 from:
* 17:00 - 18:00 [[Attach:expo3.pdf|''xxxxxxxxxxxx'']] (by to:
* 17:00 - 18:00 [[Attach:expo3.pdf|''xxxxxxxxxxxx'']] (by [[http://personal.us.es/hvd | Hans van Ditmarsch]]) Changed line 22 from:
* 09:15 - 09:45 to:
* 09:15 - 09:45 [[http://personal.us.es/hvd | Hans van Ditmarsch]] (continued) Changed line 24 from:
* 11:00 - 12:00 [[Attach:expo5.pdf|'' to:
* 11:00 - 12:00 [[Attach:expo5.pdf|''Formal completeness for Boolean BI'']] (by [[http://www.loria.fr/~larchey | Dominique Larchey-Wendling]]) Added lines 1-28:
This third meeting took place in LORIA, Feb. 21-22, 2013. The following presentations occurred. Tiago de Lima and Hans von Ditmarch were invited. ---- [+'''Thursday February 21 (room A006)'''+] '''Session 1''' * 14:30 - 15:30 [[Attach:expo1.pdf|''xxxxxxxx'']] (by [[http://www.irit.fr/~Philippe.Balbiani | Philippe Balbiani]]) * 15:45 - 16:45 [[Attach:expo2.pdf|''Dynamic BI logic'']] (by Jean-René Courtault, PhD student in the TYPES team) * 17:00 - 18:00 [[Attach:expo3.pdf|''xxxxxxxxxxxx'']] (by Hans van Ditmarch) Dinner at "Les Bacchanales" (20:30) ---- [+'''Friday February 22 (room A006)'''+] '''Session 2''' * 09:15 - 09:45 Hans v. Ditmarch * 09:45 - 10:45 [[Attach:expo4.pdf|''Quantified Separation Logic'']] (by Daniel Méry) * 11:00 - 12:00 [[Attach:expo5.pdf|''Tableaux with constraints in Separation Logics'']] (by [[http://www.loria.fr/~larchey | Dominique Larchey-Wendling]]) * 12:15 - 12:50 Andreas Herzig * 12:50 - 13:10 General discussion and planning of next works and meetings End of the meeting (13:15) |