• View
• Edit
• History
• Print

M05

This fourth meeting took place in IRIT, May 30-31, 2013. The following presentations occurred. The meeting was a joint workshop with the ANR project CLIMT ("Categorical and Logical Methods in Model Transformation").

Thursday May 30 (room 001, ground floor)

Session 1 (IRIT seminar)

• 10:00 - 11:00 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 Transformations in Description Logics by Martin Strecker
• 17:00 - 17:45 Axiomatisation et complétude de certaines logiques de la séparation by Philippe Balbiani

Dinner at "La Gourmandine" (20:00)

Friday May 31, (salle du conseil, first floor)

Session 3 (joint with CLIMT )

• 09:00 - 09:30 Modelling of concurrent processes in DMBI logic by Jean-René Courtauld
• 09:45 - 10:30 A simple separation logic by Andreas Herzig
• 10:45 - 12:30 General discussion, planning of future work and meetings (DynRes only)