A1.04
First floor seminar room.
Sessions
- Session 28A (Aug 02 09:00-10:30) Automated Deduction in Geometry (5)
- Session 28C (Aug 02 09:00-10:00) Theorem Proving Components for Educational Software (joint session with ADG)
- Session 29A (Aug 02 11:00-12:00) Automated Deduction in Geometry (6)
- Session 30A (Aug 02 14:00-15:30) Automated Deduction in Geometry (7)
- Session 32A (Aug 02 16:00-17:00) Automated Deduction in Geometry (8)
- Session 33 (Aug 02 17:00-17:30) Automated Deduction in Geometry - Business Meeting