ANR 12IS02001
Final meeting: november 10 and 11, 2016, Shanghai
The programme is available.
*
Second meeting:
february 9,
2014, Lyon
(followed by the
MSC'14 week
on Concurrency, Logic and Types)
The programme is available here.
*
Kick-off meeting: april 22 and 23, 2013, Bologna
See the programme of the meeting.
*