DAEDALUS |
| 10:00—10:15 | F. Randimbivololona (Airbus France) | Welcome |
| 10:15—10:45 | P. Cousot (ENS) | Overview of the scientific achievements of DAEDALUS |
| 10:45—11:30 | A. Deutsch (PolySpace) | Static Verification of Runtime Errors in ADA & C Programs |
| 11:30—11:45 | Coffee break | |
| 11:45—12:30 | C. Ferdinand (AbsInt) | Analyzing for Worst Case Execution Times (WCET) |
| 12:30—14:00 | Lunch | |
| 14:00—14:30 | E. Goubault (CEA) | Static Analysis of Programs on Floating-point Numbers |
| 14:30—15:00 | H. Seidel (UTRIER) | Static Analysis of C + POSIX |
| 15:00—15:15 | Coffee break | |
| 15:15—15:45 | M. Sagiv (TAU) | Static Analysis for Memory Cleanness |
| 15:45—16:15 | F. Randimbivololona (Airbus France) | Exploitation plan |
| 16:15—17:00 | All participants | Concluding discussion |