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)
Lunch at restaurant L'Esplanade (12:15)
Session 2 (joint with CLIMT)
Dinner at "La Gourmandine" (20:00)
Friday May 31, (salle du conseil, first floor)
Session 3 (joint with CLIMT )