| Date | Heure | Parcours LV (Salle A008) |
Parcours SE (Salle A006) |
| Lundi 22 juin | 9:30-11:00
11:20-12:50 14:00-17:00 |
Formal analysis of security protocols
V. Cortier |
Research in Compilers and How it Relates to Software Engineering
T. Yuki |
| Mardi 23 juin | 9:30-11:00
11:20-12:50 14:00-17:00 |
Coq
Y. Bertot |
Domain-Specific Languages
S. Mosser |
| 18:00-20:00 | Bowling au Popkfé bowling, 3 rue victor Nancy |
||
| Mercredi 24 juin | 9:30-11:00
11:20-12:50 14:00-17:00 |
Model-checking
S. Conchon |
Model-Based Testing – From theory to practice
B. Legeard et F. Dadeau |
| 17:00-20:00 | Session posters et réception dinatoire (Salle A008) |
||
| Jeudi 25 juin | 9:30-11:00
11:20-12:50 14:00-17:00 |
Vérification déductive de programmes avec Why3
J.-C. Filliatre |
Empirical Software Engineering
M. Monperrus |
| Vendredi 26 juin | 9:30-11:00
11:20-12:50 14:00-17:00 |
Modélisation et développement formel de systèmes avec Event-B
(bank,primes,cache,Cantor-Bernstein) |
Service and Component-Based Computing
L. Seinturier et O. Barais |
Programme
