Meetings /
M02Meetings.M02 HistoryHide minor edits - Show changes to output Changed line 1 from:
The "Kick-Off" meeting took place in LORIA, Feb. 28-29, to:
The "Kick-Off" meeting took place in LORIA, Feb. 28-29, 2012. The following presentations occurred. Tiago de Lima was Changed line 31 from:
* 11:15 - 12:00 to:
* 11:15 - 12:00 Talk of the ANR representative for DynRes (by Olivier Couchariere) Changed lines 38-39 from:
to:
* 14:00 - 15:00 [[Attach:expo7.pdf|''A Propositional Separation Logic in PSPACE: a classical result'']] (by [[http://www.lsv.ens-cachan.fr/~demri | Stéphane Demri]]) * 15:00 - 16:15 General discussion and planning of next works and meetings Changed lines 8-9 from:
to:
* 14:00 - Welcome and Presentation of the DynRes project (by [[http://www.loria.fr/~galmiche | Didier Galmiche]]) Changed lines 12-16 from:
to:
* 14:30 - 15:30 [[Attach:expo1.pdf|''A dynamic epistemic logic with quantification'']] (by [[http://www.cril.univ-artois.fr/~delima|Tiago de Lima]]) * 16:15 - 17:00 [[Attach:expo2.pdf|''Dynamic BI logic'']] (by Jean-René Courtault, PhD student in the TYPES team) * 17:15 - 18:00 [[Attach:expo3.pdf|''Algebraic explanations for the Undecidability of Boolean BI'']] (by [[http://www.irit.fr/~Philippe.Balbiani | Philippe Balbiani]]) * 18:00 - 18:30 Discussion Changed lines 25-28 from:
to:
* 09:00 - 09:45 [[Attach:expo4.pdf|''Tableaux with constraints in Separation Logics'']] (by [[http://www.loria.fr/~larchey | Dominique Larchey-Wendling]]) * 09:45 - 10:30 [[Attach:expo5.pdf|''LOTREC and tableaux provers in non classical logics'']] (by [[http://www.irit.fr/~Olivier.Gasquet | Olivier Gasquet]]) * 10:30 - 11:00 Discussion Changed lines 31-32 from:
to:
* 11:15 - 12:00 [[Attach:expo6.pdf|Talk of the ANR representative for DynRes]] (by Olivier Couchariere) * 12:00 - 12:30 Discussion about organisation, budget, etc. Changed lines 25-26 from:
# 9:00 - 9:45 [[Attach:expo4.pdf|''Tableaux with constraints in Separation Logics'']] (by [[http://www.loria.fr/~larchey | Dominique Larchey-Wendling]]) # 9:45 - 10:30 [[Attach:expo5.pdf|''LOTREC and tableaux provers in non classical logics'']] (by [[http://www.irit.fr/~Olivier.Gasquet | Olivier Gasquet]]) to:
# 09:00 - 09:45 [[Attach:expo4.pdf|''Tableaux with constraints in Separation Logics'']] (by [[http://www.loria.fr/~larchey | Dominique Larchey-Wendling]]) # 09:45 - 10:30 [[Attach:expo5.pdf|''LOTREC and tableaux provers in non classical logics'']] (by [[http://www.irit.fr/~Olivier.Gasquet | Olivier Gasquet]]) Changed line 1 from:
The meeting took place in LORIA, Feb. 28-29, 2011. The following presentations occurred. Tiago de Lima was to:
The "Kick-Off" meeting took place in LORIA, Feb. 28-29, 2011. The following presentations occurred. Tiago de Lima was Changed line 21 from:
Wednesday February 29 (room B013) to:
[+'''Wednesday February 29 (room B013)'''+] Changed line 6 from:
Tuesday February 28 (room A006) to:
[+'''Tuesday February 28 (room A006)'''+] Changed line 38 from:
# 14:00 - 15:00 [[Attach:expo7.pdf|''A Propositional Separation Logic in PSPACE: a classical result'']] (by to:
# 14:00 - 15:00 [[Attach:expo7.pdf|''A Propositional Separation Logic in PSPACE: a classical result'']] (by [[http://www.lsv.ens-cachan.fr/~demri | Stéphane Demri]]) Changed lines 8-9 from:
# 14:00 - Welcome and Presentation of the DynRes project (by to:
# 14:00 - Welcome and Presentation of the DynRes project (by [[http://www.loria.fr/~galmiche | Didier Galmiche]]) Changed lines 25-26 from:
# 9:00 - 9:45 [[Attach:expo4.pdf|''Tableaux with constraints in Separation Logics'']] (by # 9 to:
# 9:00 - 9:45 [[Attach:expo4.pdf|''Tableaux with constraints in Separation Logics'']] (by [[http://www.loria.fr/~larchey | Dominique Larchey-Wendling]]) # 9:45 - 10:30 [[Attach:expo5.pdf|''LOTREC and tableaux provers in non classical logics'']] (by [[http://www.irit.fr/~Olivier.Gasquet | Olivier Gasquet]]) Changed line 14 from:
# 17:15 - 18:00 [[Attach:expo3.pdf|''Algebraic explanations for the Undecidability of Boolean BI'']] (by Philippe Balbiani) to:
# 17:15 - 18:00 [[Attach:expo3.pdf|''Algebraic explanations for the Undecidability of Boolean BI'']] (by [[http://www.irit.fr/~Philippe.Balbiani | Philippe Balbiani]]) Changed lines 1-2 from:
The meeting took place in LORIA, Feb. 28-29, 2011. The following presentations occurred to:
The meeting took place in LORIA, Feb. 28-29, 2011. The following presentations occurred. Tiago de Lima was invited to give talk on epistemic logics. Changed lines 17-18 from:
to:
Dinner at "[[http://www.les-pissenlits.com |Les pissenlits]]" (20:30) Changed line 34 from:
to:
Lunch at LORIA (12:45) Changed lines 9-10 from:
Session 1 to:
'''Session 1''' Changed lines 16-17 from:
Dinner at "[[http://www.les-pissenlits.com |Les pissenlits]]" (20:30) to:
'''Dinner''' at "[[http://www.les-pissenlits.com |Les pissenlits]]" (20:30) Changed lines 22-23 from:
Session 2 to:
'''Session 2''' Changed lines 28-29 from:
Session 3 (with an ANR representative) to:
'''Session 3''' (with an ANR representative) Changed lines 33-35 from:
Lunch at LORIA (12:45) Session to:
'''Lunch''' at LORIA (12:45) '''Session 4''' Changed line 11 from:
# 14:30 - 15:30 ''A dynamic epistemic logic with quantification'' (by [[http://www.cril.univ-artois.fr/~delima|Tiago de Lima]]) to:
# 14:30 - 15:30 [[Attach:expo1.pdf|''A dynamic epistemic logic with quantification'']] (by [[http://www.cril.univ-artois.fr/~delima|Tiago de Lima]]) Changed line 13 from:
# 17:15 - 18:00 ''Algebraic explanations for the Undecidability of Boolean BI'' (by Philippe Balbiani) to:
# 17:15 - 18:00 [[Attach:expo3.pdf|''Algebraic explanations for the Undecidability of Boolean BI'']] (by Philippe Balbiani) Changed lines 24-25 from:
# 9:00 - 9:45 ''Tableaux with constraints in Separation Logics'' (by Dominique Larchey-Wendling) # 9:45 - 10:30 ''LOTREC and tableaux provers in non classical logics'' (by Olivier Gasquet) to:
# 9:00 - 9:45 [[Attach:expo4.pdf|''Tableaux with constraints in Separation Logics'']] (by Dominique Larchey-Wendling) # 9:45 - 10:30 [[Attach:expo5.pdf|''LOTREC and tableaux provers in non classical logics'']] (by Olivier Gasquet) Changed line 30 from:
# 11:15 - 12:00 Talk of the ANR representative for DynRes (by Olivier Couchariere) to:
# 11:15 - 12:00 [[Attach:expo6.pdf|Talk of the ANR representative for DynRes]] (by Olivier Couchariere) Changed line 37 from:
# 14:00 - 15:00 [[ to:
# 14:00 - 15:00 [[Attach:expo7.pdf|''A Propositional Separation Logic in PSPACE: a classical result'']] (by Stéphane Demri) Changed line 37 from:
# 14:00 - 15:00 ''A Propositional Separation Logic in PSPACE: a classical result'' (by Stéphane Demri) to:
# 14:00 - 15:00 [[attach:expo7.pdf|''A Propositional Separation Logic in PSPACE: a classical result'']] (by Stéphane Demri) Changed line 12 from:
# 16:15 - 17:00 ''Dynamic BI'' to:
# 16:15 - 17:00 [[Attach:expo2.pdf|''Dynamic BI logic'']] (by Jean-René Courtault, PhD student in the TYPES team) Changed lines 11-13 from:
# 14:30 - 15:30 # 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) to:
# 14:30 - 15:30 ''A dynamic epistemic logic with quantification'' (by [[http://www.cril.univ-artois.fr/~delima|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) Changed lines 24-25 from:
# 9:00 - 9:45 Tableaux with constraints in # 9:45 - 10:30 LOTREC and tableaux provers in non classical logics (by Olivier Gasquet) to:
# 9:00 - 9:45 ''Tableaux with constraints in Separation Logics'' (by Dominique Larchey-Wendling) # 9:45 - 10:30 ''LOTREC and tableaux provers in non classical logics'' (by Olivier Gasquet) Changed line 30 from:
# 11:15 - 12:00 to:
# 11:15 - 12:00 Talk of the ANR representative for DynRes (by Olivier Couchariere) Changed line 37 from:
# 14:00 - 15:00 A Propositional Separation Logic in PSPACE: a classical result (by Stéphane Demri) to:
# 14:00 - 15:00 ''A Propositional Separation Logic in PSPACE: a classical result'' (by Stéphane Demri) Changed line 11 from:
# 14:30 - 15:30 A dynamic epistemic logic with quantification (by [[http://www.cril.univ-artois.fr/~delima|Tiago de Lima]]) to:
# 14:30 - 15:30 "A dynamic epistemic logic with quantification" (by [[http://www.cril.univ-artois.fr/~delima|Tiago de Lima]]) Changed line 12 from:
# 16:15 - 17:00 Dynamic BI logic (by Jean-René Courtault) to:
# 16:15 - 17:00 Dynamic BI logic (by Jean-René Courtault, PhD student in the TYPES team) Changed line 24 from:
# 9:00 - 9:45 Tableaux with constraints in separation logics (by Dominique Larchey- to:
# 9:00 - 9:45 Tableaux with constraints in separation logics (by Dominique Larchey-Wendling) Changed line 11 from:
# 14:30 - 15:30 A dynamic epistemic logic with quantification (by Tiago de Lima) to:
# 14:30 - 15:30 A dynamic epistemic logic with quantification (by [[http://www.cril.univ-artois.fr/~delima|Tiago de Lima]]) Changed line 16 from:
Dinner at " to:
Dinner at "[[http://www.les-pissenlits.com |Les pissenlits]]" (20:30) Added lines 1-40:
The meeting took place in LORIA, Feb. 28-29, 2011. The following presentations occurred with many interactions and questions. ---- 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) # 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 # 9:00 - 9:45 Tableaux with constraints in separation logics (by Dominique Larchey-Wendling # 9: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) |