On relance en 2013-2014 une série de conférence à destination des M2 STL pendant les vagues 1 et 3.
Horaire : le vendredi après-midi de 14h à 16h
Etienne Prun, CLEARSY
Système sûr, formalisation et preuve (abstract)
Eric Jaeger et Olivier Levillain, ANSSI (Agence nationale de la sécurité des systèmes d'information)
Langages de développement et sécurité --- Mind your language (abstract, transparents)
Cédric THOMAS (OW2)
Logiciel Libre, l'Age de la Maturité Industrielle ? (abstract)
JC Baille (Aldebaran Robotics IA Labs)
Introduction à Urbi et urbiscript (abstract)
Emmanuel Lecharny
Open Source Software @ Apache (abstract)