Sep 4, 2015
Participants
- Aslan Askarov, Aarhus University
- David Baelde, LSV, ENS Cachan
- Gergei Bana, INRIA Paris-Rocquencourt
- Stephen Chong Harvard University
- Marco Gaboardi, University of Dundee
- Sébastien Gambs, Université de Rennes 1 ? Inria
- Deepak Garg, Max Planck Institute for Software Systems
- Silvia Ghilezan, University of Novi Sad
- Roberto Giacobazzi, University of Verona and IMDEA Software
- Ichiro Hasuo, The University of Tokyo
- Martin Hofmann, LMU Munich
- Lucca Hirschi, LSV, ENS Cachan
- Justin Hsu, University of Pennsylvania
- Bart Jacobs, Radboud University Nijmegen
- Limin Jia, Carnegie Mellon University
- Shin-ya Katsumata, RIMS/ Kyoto University
- Yusuke Kawamoto, INRIA & LIX Ecole Polytechnique
- Ugo Dal Lago, University of Bologna & INRIA
- Sergio Maffeis, Imperial College London
- Carrol Morgan, UNSW, Australia
- Vivek Nigam, Federal University of Paraiba
- Mizuhito Ogawa, JAIST
- Mitsuhiro Okada, Keio University
- Dusko Pavlovic, University of Hawaii at Manoa
- Alejandro Russo, Chalmers
- David Sands, Chalmers University of Technology
- Andre Scedrov, University of Pennsylvania
- Deian Stefan, Stanford University
- Kohei Suenaga, Kyoto U.
- Izumi Takeuti, AIST
- Carolyn Talcott, SRI International
- Tachio Terauchi, Japan Advanced Institute of Science and Technology
- Santiago Zanella-Beguelin, MSR ? INRIA