CADE 21 Program for Monday July 16, 2007
- CVF Fourth International Workshop on Constraints in Formal Verification
- DISPROVING Workshop on Disproving: Non-Theorems, Non-Validity, Non-Provability
- ISABELLE-WS Isabelle Workshop
- VERIFY 4th International Verification Workshop (continued from July 15)
| Time | Title | Place |
|---|---|---|
| 9:00-10:30 | Session 1 | West Hall |
| 10:30-11:00 | Coffee Break | |
| 11:00-12:30 | Session 2 | West Hall |
| 12:30-14:00 | Lunch Break | |
| 14:00-15:30 | Session 3 | West Hall |
| 15:30-16:00 | Coffee Break | |
| 16:00-18:00 | Session 4 | West Hall |
| 19:30-??:?? | CADE Welcome Reception | Jacobs Faculty Club |