ANR PACE project

beyond plain Processes: Analysis techniques, Coinduction and Expressiveness

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.