A3.02
3rd floor seminar room.
Sessions
- Session 23C (Aug 01 09:00-09:30) Automated Deduction in Geometry - Welcome
- Session 24 (Aug 01 09:30-10:30) Automated Deduction in Geometry (1st session)
- Session 25A (Aug 01 11:00-12:00) Automated Deduction in Geometry (2)
- Session 26A (Aug 01 14:00-15:30) Automated Deduction in Geometry (3)
- Session 27A (Aug 01 16:00-17:30) Automated Deduction in Geometry (4)