CADE-T1 program

Thursday July 25th, 2002


All sessions take place in auditorium 9.

CADE-T1's program is also available side by side with other meetings.

09:00-10:30  Session 1: ACL2 Architecture and Applications

10:30-11:00  Refreshments

11:00-12:30  Session 2: ACL2: The Method Demo

12:30-14:00  Lunch

14:00-15:30  Session 3: ACL2: Flying Demo

15:30-16:00  Refreshments

16:00-17:30  Session 4: ACL2: Additional Topics