ANR PACE project

ANR 12IS02001

PACE meeting, february 9th, 2014, Lyon


The meeting will take place at École Normale Supérieure, site Monod, Amphi B (3rd floor). See this page for directions.

Nota: as a followup to the PACE meeting, the week "Concurrency, Logic and Types" of the "Mathematical Structures of Computation" event will take place next to École Normale Supérieure de Lyon (see the web page linked above for directions for MSC'14).

F. Bonchi, P. Brunet, R. Crubillé U. Dal Lago, L. Deng, Y. Deng, Y. Fu, T. Given-Wilson, C. He, D. Hirschkoff, G. Li, JM. Madiot, C. Palamidessi, D. Pous, A. Rioli, D. Sangiorgi, F. Valencia, V. Vignudelli, X. Xu, F. Zanasi