PROGRAM
| Time | Speech | Abstract |
| Opening | ||
| 08:30 | Reception | |
| 08:50 | opening | |
| Modelling in Event B | ||
| 09:00 |
Presentation of B: B for system and B for Software The Rodin Plataform The event B language |
 |
| 10:15 | coffe-break | |
| 10:30 |
Modelling and proving Rodin plugins: UML-B, ProB, Brama |
|
| 12:30 | lunch | |
| Modelling in B | ||
| 14:00 |
Atelier B CASE tool The B language Modelling, proving and generating code Atelier B extensions: B Automatic Refinement Tool |
|
| 16:45 | coffe-break | |
| Industrial applications | ||
| 17:15 |
Railways (B and event B) Aerospace (event B) Smartcard (B and event B) |
|
| 18:45 | Closing |
Sponsors:
