|
Meetings /
M03Meetings.M03 HistoryHide minor edits - Show changes to output Changed line 9 from:
* 10:00 - 11:00 [[Attach:expo01.pdf|''Quelques pas autour de la logique spatiale d'arbres'']] (by [[http://www.irit.fr/~Philippe.Balbiani|Philippe Balbiani]] to:
* 10:00 - 11:00 [[Attach:expo01.pdf|''Quelques pas autour de la logique spatiale d'arbres'']] (by [[http://www.irit.fr/~Philippe.Balbiani|Philippe Balbiani]]) Changed line 12 from:
Lunch at "Kim Da Lai" to:
Lunch at "Kim Da Lai" (13:00) Changed line 12 from:
Lunch at "Kim Da to:
Lunch at "Kim Da Lai" Deleted line 9:
Added lines 12-13:
Lunch at "Kim Da Lay" Deleted line 16:
Changed line 11 from:
* 11:30 - 12:30 [[Attach: to:
* 11:30 - 12:30 [[Attach:expo02.pdf|''Petri net semantics for BI revisited'']] (by Jean-René Courtault, PhD student in the TYPES team) Added lines 18-19:
* 16:45 - 17:15 General discussion and planning of next works and meetings Changed line 19 from:
End of the meeting 17: to:
End of the meeting 17:30 Changed line 19 from:
End of meeting 17: to:
End of the meeting 17:00 Changed lines 17-19 from:
* 15:30 - 16:30 [[Attach:expo04.pdf|''The dynamic logic of assignments'']] (by [[http://www.irit.fr/~Andreas.Herzig|Andreas Herzig]]) to:
* 15:30 - 16:30 [[Attach:expo04.pdf|''The dynamic logic of assignments'']] (by [[http://www.irit.fr/~Andreas.Herzig|Andreas Herzig]]) End of meeting 17:00. Changed line 1 from:
This second meeting took place in LSV, June 22, 2012. The following presentations occurred. Alexei Lisitsa was invited to give talk on to:
This second meeting took place in LSV, June 22, 2012. The following presentations occurred. Alexei Lisitsa was invited to give a talk on finite models for safety verification. Changed lines 9-10 from:
* 10:00 - 11:00 [[Attach:expo01.pdf|''Quelques pas autour de la logique spatiale d'arbres'']] (by [[http://www.irit.fr/~Philippe.Balbiani to:
* 10:00 - 11:00 [[Attach:expo01.pdf|''Quelques pas autour de la logique spatiale d'arbres'']] (by [[http://www.irit.fr/~Philippe.Balbiani|Philippe Balbiani]]) (ref. Cardelli-Gordon 2000, Cardelli-Gordon-Calcagno 2005, Lozes 2005) Changed line 17 from:
* 15:30 - 16:30 [[Attach:expo04.pdf|''The dynamic logic of assignments'']] (by Andreas to:
* 15:30 - 16:30 [[Attach:expo04.pdf|''The dynamic logic of assignments'']] (by [[http://www.irit.fr/~Andreas.Herzig|Andreas Herzig]]) Changed lines 15-17 from:
* 14:00 - 15:00 [[Attach:expo03.pdf|''Finite Models for Safety Verification'']] (by Alexei Lisitsa). to:
* 14:00 - 15:00 [[Attach:expo03.pdf|''Finite Models for Safety Verification'']] (by Alexei Lisitsa) * 15:30 - 16:30 [[Attach:expo04.pdf|''The dynamic logic of assignments'']] (by Andreas Herzig) Changed line 15 from:
* 14:00 - 15:00 ''Finite Models for Safety Verification'' (by Alexei Lisitsa). to:
* 14:00 - 15:00 [[Attach:expo03.pdf|''Finite Models for Safety Verification'']] (by Alexei Lisitsa). Changed line 15 from:
* 14:00 - 15:00 ''Finite Models for Safety Verification'' by Alexei Lisitsa. to:
* 14:00 - 15:00 ''Finite Models for Safety Verification'' (by Alexei Lisitsa). Changed lines 1-3 from:
This second meeting took place in LSV, June 22, 2012. The following presentations occurred. to:
This second meeting took place in LSV, June 22, 2012. The following presentations occurred. Alexei Lisitsa was invited to give talk on Finite Models for Safety Verification. Added lines 14-17:
'''Session 2''' * 14:00 - 15:00 ''Finite Models for Safety Verification'' by Alexei Lisitsa. Added lines 1-3:
This second meeting took place in LSV, June 22, 2012. The following presentations occurred. ?? was invited to give talk on ??. Changed lines 7-9 from:
* 10:00 - 11:00 [[Attach:expo01.pdf|''Quelques pas autour de la logique spatiale d'arbres'']] (by [[http://www.irit.fr/~Philippe.Balbiani | Philippe Balbiani]]) (ref. Cardelli-Gordon 2000, Cardelli-Gordon-Calcagno to:
* 10:00 - 11:00 [[Attach:expo01.pdf|''Quelques pas autour de la logique spatiale d'arbres'']] (by [[http://www.irit.fr/~Philippe.Balbiani | Philippe Balbiani]]) (ref. Cardelli-Gordon 2000, Cardelli-Gordon-Calcagno 2005, Lozes 2005) * 11:30 - 12:30 [[Attach:expo2.pdf|''Petri net semantics for BI revisited'']] (by Jean-René Courtault, PhD student in the TYPES team) Changed line 7 from:
* 10:00 - [[Attach:expo01.pdf|''Quelques pas autour de la logique spatiale d'arbres'']] (by [[http://www.irit.fr/~Philippe.Balbiani | Philippe Balbiani]]) (ref. Cardelli-Gordon 2000, Cardelli-Gordon-Calcagno, Lozes ). to:
* 10:00 - 11:00 [[Attach:expo01.pdf|''Quelques pas autour de la logique spatiale d'arbres'']] (by [[http://www.irit.fr/~Philippe.Balbiani | Philippe Balbiani]]) (ref. Cardelli-Gordon 2000, Cardelli-Gordon-Calcagno, Lozes ). Changed line 7 from:
* 10:00 - to:
* 10:00 - [[Attach:expo01.pdf|''Quelques pas autour de la logique spatiale d'arbres'']] (by [[http://www.irit.fr/~Philippe.Balbiani | Philippe Balbiani]]) (ref. Cardelli-Gordon 2000, Cardelli-Gordon-Calcagno, Lozes ). Changed line 7 from:
* 10:00 - Presentation by P. Balbiani: spatial to:
* 10:00 - Presentation by P. Balbiani: spatial tree logics (ref. Cardelli Gordon 2000). Changed line 7 from:
* 10:00 - Presentation by P. Balbiani: spatial/tree to:
* 10:00 - Presentation by P. Balbiani: spatial/tree logics (ref. Cardelli Gordon 2000). Added lines 1-9:
---- [+'''Friday February 22 (LSV library)'''+] '''Session 1''' * 10:00 - Presentation by P. Balbiani: spatial/tree logics ---- |