Recent Changes - Search:

ANR DynRes

PmWiki

edit SideBar

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

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

Session 2

End of the meeting 17:30

Edit - History - Print - Recent Changes - Search
Page last modified on June 30, 2012, at 08:46 PM EST