Invited Speakers
In conjunction with APLAS 2012, we are happy to announce the following joint CPP/APLAS keynote speakers:
- Xavier Leroy (INRIA)
- Greg Morrisett (Harvard University)
We are delighted to announce the following CPP 2012 invited speakers:
- Gilles Barthe (IMDEA)
- Naoki Kobayashi (University of Tokyo)
