CADE 21 Program for Sunday July 15, 2007
- ADDCT Automated Deduction: Decidability, Complexity, Tractability
- ESARLT Empirically Successful Automated Reasoning in Large Theories
- LFMTP International Workshop on Logical Frameworks and Meta-Languages: theory and practice
- VERIFY 4th International Verification Workshop
| 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 |