A1.05
First floor seminar room.
Sessions
- Session 29C (Aug 02 11:00-12:00) Theorem Proving Components for Educational Software (2)
- Session 30C (Aug 02 14:00-15:00) Theorem Proving Components for Educational Software (3)
- Session 31 (Aug 02 15:00-15:30) Theorem Proving Components for Educational Software - Business Meeting