Changes between Version 14 and Version 15 of WikiStart


Ignore:
Timestamp:
5 Feb 2014, 10:16:56 (6 years ago)
Author:
Pierre-Yves Strub
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v14 v15  
    4949- [http://www-sop.inria.fr/everest/Benjamin.Gregoire/ Benjamin Grégoire] (INRIA Sophia-Antipolis Méditerranée)
    5050- [http://software.imdea.org/~ckunz/ César Kunz] (IMDEA Software Institute and Universidad Politécnica de Madrid)
    51 - [http://software.imdea.org/people/federico.olmedo/ Federico Olmedo] (IMDEA Software Institute)
    5251- [http://www.easycrypt.info/#people Benedikt Schmidt] (IMDEA Software Institute)
    5352- [http://strub.nu/ Pierre-Yves Strub] (IMDEA Software Institute)
    54 - [http://research.microsoft.com/people/santiago/ Santiago Zanella-Béguelin] (Microsoft Research)
    5553
    56 === Former contributors ===
     54=== Former members ===
    5755- Guido Genzone (U. Nacional de Rosario, Argentina)
    5856- Daniel Hedin (Chalmers University of Technology, Sweden)
    5957- Sylvain Heraud (Prove & Run)
     58- [http://software.imdea.org/people/federico.olmedo/ Federico Olmedo] (IMDEA Software Institute)
    6059- Anne Pacalet (!SafeRiver)
    6160- Adrian Silveira (U. de la República, Uruguay)
     61- [http://research.microsoft.com/people/santiago/ Santiago Zanella-Béguelin] (Microsoft Research)
    6262
    6363== Acknowledgments ==