Meetings /
M08Meetings.M08 HistoryHide minor edits - Show changes to output Changed line 36 from:
DynRes dinner at "[[http://www. to:
DynRes dinner at "[[http://www.les-pissenlits.com | Les Pissenlits]]" (20:00) Changed lines 18-21 from:
[+'''Tuesday April 14 '''Session 2''' to:
[+'''Tuesday April 14 '''+] '''Session 2 (room B013)''' Changed line 28 from:
'''Session 3''' to:
'''Session 3 (room C005)''' Changed line 1 from:
This eight meeting took place in LORIA, Apr. 13-15, 2015. The following presentations occurred. to:
This eight and last meeting took place in LORIA, Apr. 13-15, 2015. The following presentations occurred. Changed line 13 from:
* 16:30 - 17:15 [[Attach:expo3.pdf|''Looking at Separation Algebras with Boolean BI-eyes'']] by [[http://www.loria.fr/~larchey | Dominique Larchey-Wendling]] to:
* 16:30 - 17:15 [[Attach:expo3.pdf|''Looking at Separation Algebras with Boolean BI-eyes'']] by [[http://www.loria.fr/~larchey | Dominique Larchey-Wendling]]. Changed line 11 from:
* 15:30 - 16:15 [[Attach:expo2.pdf|''Arbitrary public announcement logic with mental programs'']] by François Schwarzentruber (ENS Rennes) to:
* 15:30 - 16:15 [[Attach:expo2.pdf|''Arbitrary public announcement logic with mental programs'']] by [[http://people.irisa.fr/Francois.Schwarzentruber|François Schwarzentruber]] (ENS Rennes) Changed lines 22-25 from:
* 10:00 - 11:00 [[Attach:expo4.pdf|''Observation, Action, and Social Cognition'']] * 11:15 - 12:15 [[Attach:expo5.pdf|''A Calculus of Bunched Resources and Processes'']] [[http://www0.cs.ucl.ac.uk/people/G.Anderson.html|Gabrielle Anderson]] (invited talk, UCL London; joint work with David Pym). to:
* 10:00 - 11:00 [[Attach:expo4.pdf|''Observation, Action, and Social Cognition'']] by [[http://homepages.cwi.nl/~jve|Jan van Eijck]] (invited talk, CWI and ILLC, Amsterdam; based on joint work with Thomas Bolander). * 11:15 - 12:15 [[Attach:expo5.pdf|''A Calculus of Bunched Resources and Processes'']] by [[http://www0.cs.ucl.ac.uk/people/G.Anderson.html|Gabrielle Anderson]] (invited talk, UCL London; joint work with David Pym). Changed line 30 from:
* 14:15 - 15:00 [[Attach:expo6.pdf|''A temporal extension of BI logic'']] Pierre Kimmel (LORIA, Nancy). to:
* 14:15 - 15:00 [[Attach:expo6.pdf|''A temporal extension of BI logic'']] by Pierre Kimmel (LORIA, Nancy). Changed line 24 from:
* 11:15 - 12:15 [[Attach:expo5.pdf|''A Calculus of Bunched Resources and Processes'']] to:
* 11:15 - 12:15 [[Attach:expo5.pdf|''A Calculus of Bunched Resources and Processes'']] [[http://www0.cs.ucl.ac.uk/people/G.Anderson.html|Gabrielle Anderson]] (invited talk, UCL London; joint work with David Pym). Changed line 36 from:
DynRes dinner at "[[http://www. to:
DynRes dinner at "[[http://www.vins-et-tartines.com|Vins et Tartines]]" (20:00) Changed lines 33-35 from:
* 16:15 - 17:00 [[Attach: * 17:00 Final Discussion (results, perspectives, new projects...) to:
* 16:15 - 17:00 [[Attach:expo8.pdf|''Five Funny Bisimulations'']] by [[http://personal.us.es/hvd | Hans van Ditmarsch]]. * 17:00 - 17:30 Final Discussion (results, perspectives, new projects...) Changed lines 42-45 from:
* 10:30 Public PhD defense by Jean-René Courtault (Lorraine Title: to:
* 10:30 Public PhD defense by Jean-René Courtault (Lorraine University), [[Attach:expo9.pdf|''Logiques de Ressources Dynamiques : Modèles, Propriétés et Preuves'']] (Dynamic Resource Logics : models, properties and proofs). Changed lines 18-19 from:
[+'''Tuesday April 14 (room to:
[+'''Tuesday April 14 (room B013)'''+] Deleted line 27:
Changed lines 36-45 from:
DynRes dinner at "[[http://www.restaurant-les-bacchanales.fr/ | Les Bacchanales]]" (20: to:
DynRes dinner at "[[http://www.restaurant-les-bacchanales.fr/ | Les Bacchanales]]" (20:00) ---- [+'''Wednesday April 15 (room B013)'''+] * 10:30 Public PhD defense by Jean-René Courtault (Lorraine Unversity) Title: Logiques de Ressources Dynamiques : Modèles, Propriétés et Preuves (Dynamic Resource Logics : models, properties and proofs) Changed lines 34-56 from:
15:45 Coffee break 16 Five Funny Bisimulations 17:00 20:00 : DynRes Dinner * 09 * 10:15 - 11:00 [[Attach:expo6.pdf|''Two Variables and the Magic Wand'']] by [[http://www.lsv.ens-cachan.fr/~demri | Stéphane Demri]] * 11:15 - 12:00 ''A "Here and There" variant of PDL'' by * 12:15 - 13:00 General discussion on the DynRes project End of the meeting (13:00 to:
* 16:15 - 17:00 [[Attach:expo7.pdf|''Five Funny Bisimulations'']] by [[http://personal.us.es/hvd | Hans van Ditmarsch]]. * 17:00 Final Discussion (results, perspectives, new projects...) DynRes dinner at "[[http://www.restaurant-les-bacchanales.fr/ | Les Bacchanales]]" (20:30) Changed lines 32-41 from:
15:00 - Intuitionistic Public Announcement to:
* 15:00 - 15:45 [[Attach:expo7.pdf|''Intuitionistic Public Announcement Logic'']] by [[http://www.irit.fr/~Philippe.Balbiani | Philippe Balbiani]]. Changed line 53 from:
* 11:15 - 12:00 ''A "Here and There" variant of PDL'' by to:
* 11:15 - 12:00 ''A "Here and There" variant of PDL'' by Changed lines 24-36 from:
* 11:15 - 12:15 [[Attach: 12:30 - Room C005 - LORIA 14 A to:
* 11:15 - 12:15 [[Attach:expo5.pdf|''A Calculus of Bunched Resources and Processes'']] Gabrielle Anderson (invited talk, UCL London; joint work with David Pym). Lunch at INRIA (12:30) '''Session 3''' * 14:15 - 15:00 [[Attach:expo6.pdf|''A temporal extension of BI logic'']] Pierre Kimmel (LORIA, Nancy). Changed lines 24-32 from:
11: 11 A Calculus of Bunched Resources and Processes (based on a joint work with David to:
* 11:15 - 12:15 [[Attach:expo4.pdf|''A Calculus of Bunched Resources and Processes'']] Gabrielle Anderson (invited talk, UCL London; joint work with David Pym). Changed line 1 from:
This eight meeting took place in LORIA, Apr. 13- to:
This eight meeting took place in LORIA, Apr. 13-15, 2015. The following presentations occurred. Added lines 21-65:
* 10:00 - 11:00 [[Attach:expo4.pdf|''Observation, Action, and Social Cognition'']] Jan van Eijck (invited talk, CWI and ILLC, Amsterdam; based on joint work with Thomas Bolander). 11:00 Coffee break 11:15 Invited Talk - Gabrielle Anderson - UCL London A Calculus of Bunched Resources and Processes (based on a joint work with David Pym) 12:30 Lunch - INRIA Restaurant - Room C005 - LORIA 14:15 - Pierre Kimmel - LORIA - Nancy A temporal extension of BI logic 15:00 - Philippe Balbiani - IRIT Toulouse Intuitionistic Public Announcement Logic 15:45 Coffee break 16:15 Hans van Ditmarsch - LORIA - Nancy Five Funny Bisimulations 17:00 : Final Discussion (results, perspectives, new projects...) 20:00 : DynRes Dinner Added line 14:
* 17:15 - 18:00 Business Meeting I (discussion about results; project deliverables, continuation and evolution of the project). Deleted lines 13-18:
* 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 13-15:
* 16:30 - 17:15 [[Attach:expo3.pdf|''Looking at Separation Algebras with Boolean BI-eyes'']] by [[http://www.loria.fr/~larchey | Dominique Larchey-Wendling]] Changed line 27 from:
* 09:15 - 10:00 [[Attach:expo5.pdf|''Separation Logic with One Quantified Variable'' to:
* 09:15 - 10:00 [[Attach:expo5.pdf|''Separation Logic with One Quantified Variable'']] Changed lines 10-11 from:
* 14:45 - 15:30 [[Attach:expo1.pdf|'' * 15:30 - 16:15 to:
* 14:45 - 15:30 [[Attach:expo1.pdf|''Propositional dynamic logic with separating parallel composition'']] by Joseph Boudou (IRIT Toulouse) * 15:30 - 16:15 [[Attach:expo2.pdf|''Arbitrary public announcement logic with mental programs'']] by François Schwarzentruber (ENS Rennes) Changed lines 10-11 from:
* 14: * to:
* 14:45 - 15:30 [[Attach:expo1.pdf|''xxxx'']] by Joseph Boudou (IRIT) * 15:30 - 16:15 [[Attach:expo2.pdf|''xxxx'']] by Added lines 7-8:
* 14:30 - 14:45 Introduction - Preliminary discussion Added lines 1-27:
This eight meeting took place in LORIA, Apr. 13-14, 2015. The following presentations occurred. ---- [+'''Monday April 13 (room B013)'''+] '''Session 1''' * 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:expo2.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) ---- [+'''Tuesday April 14 (room D013)'''+] '''Session 2''' * 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|''Two Variables and the Magic Wand'']] by [[http://www.lsv.ens-cachan.fr/~demri | Stéphane Demri]] * 11:15 - 12:00 ''A "Here and There" variant of PDL'' by [[http://www.irit.fr/~Philippe.Balbiani | Philippe Balbiani]] * 12:15 - 13:00 General discussion on the DynRes project End of the meeting (13:00) |