Changes between Version 4 and Version 5 of SchoolUPen2013


Ignore:
Timestamp:
29 Aug 2013, 15:46:28 (6 years ago)
Author:
Charlie Root
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SchoolUPen2013

    v4 v5  
    88
    99Lectures will be assured by Gilles Barthe, François Dupressoir, Benjamin Grégoire (INRIA), César Kunz, Alley Stoughton (MITLL), and Pierre-Yves Strub. Juan Manuel Crespo, Guillaume Davy and Santiago Zanella-Béguelin (MSRC) will help during the tutorial sessions.
     10
     11You can download the [raw-attachment:2013.UPenn.school.tar.bz2​ school material (slides, tutorials)].
    1012
    1113== Program ==