The invited talks are scheduled from 9:00 AM
| Radhia Cousot | Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions | Jan 7, 2008 |
|---|---|---|
| Neil Jones | CTL as an intermediate language | Jan 8, 2008 |
| Maurice Herlihy | Concurrency Seriously: the Multicore Challenges | Jan 9, 2008 |