From ANR DynRes

Meetings: M03

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.

Friday February 22 (LSV library)

Session 1

• 10:00 - 11:00 Quelques pas autour de la logique spatiale d'arbres (by Philippe Balbiani)
• 11:30 - 12:30 Petri net semantics for BI revisited (by Jean-René Courtault, PhD student in the TYPES team)

Lunch at "Kim Da Lai" (13:00)

Session 2

• 14:00 - 15:00 Finite Models for Safety Verification (by Alexei Lisitsa)
• 15:30 - 16:30 The dynamic logic of assignments (by Andreas Herzig)
• 16:45 - 17:15 General discussion and planning of next works and meetings

End of the meeting 17:30