|
Meetings /
M05Meetings.M05 HistoryHide minor edits - Show changes to output Changed lines 4-32 from:
to:
---- [+'''Thursday May 30 (room 001, ground floor)'''+] '''Session 1''' (IRIT seminar) * 10:00 - 11:00 [[Attach:expo1.pdf|''Tree-sequents Calculi for Intuitionistic Modal Logics'']] by Didier Galmiche. Lunch at restaurant L'Esplanade (12:15) '''Session 2''' (joint with CLIMT) * 14:00 - 14:30 Presentation of the DynRes project by Didier Galmiche * 14:45 - 15:45 Presentation of the CLIMT project by Martin Strecker * 16:15 - 16:45 [[Attach:expo2.pdf|''Transformations in Description Logics'']] by Martin Strecker * 17:00 - 17:45 [[Attach:expo3.pdf|''Axiomatisation et complétude de certaines logiques de la séparation'']] by Philippe Balbiani Dinner at "[[http://www.lagourmandine-toulouse.com | La Gourmandine]]" (20:00) ---- [+'''Friday May 31, (salle du conseil, first floor)'''+] '''Session 3''' (joint with CLIMT ) * 09:00 - 09:30 [[Attach:expo4.pdf|''Modelling of concurrent processes in DMBI logic'']] by Jean-René Courtauld * 09:45 - 10:30 [[Attach:expo5.pdf|''A simple separation logic'']] by Andreas Herzig * 10:45 - 12:30 General discussion, planning of future work and meetings (DynRes only) Added lines 1-4:
This fourth meeting took place in IRIT, May 30-31, 2013. The following presentations occurred. The meeting was a joint workshop with the [[http://www.irit.fr/CLIMT | ANR project CLIMT]] ("Categorical and Logical Methods in Model Transformation"). ---- |