| Monday July 11 |
Tuesday July 12 |
Wednesday July 13 |
Thursday July 14 |
Friday July 15 |
|
| MEMOCODE | FMGALS | ||||
| 8:30 - 9:00 | Registration | Registration | Registration | ||
| 9:00 - 9:30 | TUTORIALS | Keynote 1 | Keynote 2 | Keynote 3 | Keynote |
| 9:30 - 10:00 | |||||
| 10:00 - 10:30 | Session 1 Hardware Synthesis |
Session 3 Software Verification |
Session 5 Model Checking |
Break | |
| 10:30 - 11:00 | Break | Session I | |||
| 11:00 - 11:30 | TUTORIALS | Break | Break | Break | |
| 11:30 - 12:00 | Session 2 Hardware Languages and Semantics |
Session 4 System-Level Verification |
Session 6 Microarchitectural Spec & Verification |
||
| 12:00 - 12:30 | Lunch | ||||
| 12:30 - 13:00 | Session 7 Core Algorithms |
||||
| 13:00 - 13:30 | Lunch | ||||
| 13:30 - 14:00 | Lunch | Lunch | Lunch | ||
| 14:00 - 14:30 | TUTORIALS | Session II | |||
| 14:30 - 15:00 | |||||
| 15:00 - 15:30 | Invited Tutorial |
Panel 1 Software & Systems Eng. in the Automotive Ind. |
Panel 2 Design for Verification |
Break | |
| 15:30 - 16:00 | Break | Session III | |||
| 16:00 - 16:30 | TUTORIALS | Break | Break | ||
| 16:30 - 17:00 | Posters/ WIP Session |
Panel 1 (cont.) |
Conference Close | Panel | |
| 17:00 - 17:30 | Break | ||||
| 17:30 - 18:00 | Tour of Verona | ||||
| 18:00 - 19:00 | Welcome cocktail | End of the workshop | |||
| 19:00 - 20:00 | |||||
| 20:00 - 21:00 | Social dinner in Valpolicella | ||||
| 21:00 - ... | Performance of Aida in Arena | ||||