EJCP 2014
body
Programme
| Date & Heure | Parcours "Ingénierie Logicielle" | Parcours "Programmation & Vérification" |
|---|---|---|
| lundi 16 juin | Modélisation et développement formel de systèmes avec Event-B | Parallel program calculation in Coq |
| 09:00 - 12:30 | Jean-Raymond Abrial | Frédéric Loulergue (course page) |
| 14:00 - 18:00 | Présentations étudiants | Présentations étudiants |
| mardi 17 juin | ||
| 09:00 - 12:30 | Services and Component Based computing | Programming with Dependent Types |
| 14:00 - 18:00 | Lionel Seinturier | Ulf Norell (course page) |
| mercredi 18 juin | ||
| 09:00 - 12:30 | Model-based Test Generation | Programming the Diffuse Web |
| 14:00 - 18:00 | Bruno Legeard | Manuel Serrano (Slides, uncompress this file and view it with Chrome) |
| jeudi 19 juin | ||
| 09:00 - 12:30 | Empirical Studies in Software Engineering | Programming and Proving : Practice with FoCaLiZe |
| 14:00 - 18:00 | Houari Sahraoui | François Pessaux (course page) |
| vendredi 20 juin | ||
| 09:00 - 12:30 | Compilation, Optimization, Debug methods | Computer-aided cryptographic proofs |
| 14:00 - 18:00 | Florent Bouchez (transparents), Christophe Guillon (transparents) | Gilles Barthe |