Lecture Theatre 1 - William Gates Building/Computer Laboratory, Department of Computer Science and Technology, University of Cambridge
Sessions
- Session 10C (Sep 06 14:00-16:00) Workshop NatFoM - Invited talk & Paper presentation
- Session 11B (Sep 06 16:30-18:00) Workshop NatFoM - Paper presentation
- Session 15B (Sep 07 14:00-16:00) Workshops NatFoM & Libraries of Formal Proofs and Natural Mathematical Language - Invited talk & Paper presentation
- Session 16A (Sep 07 16:30-17:00) Workshops NatFoM & Libraries of Formal Proofs and Natural Mathematical Language - Paper presentation
- Session 17 (Sep 07 17:00-18:00) Workshops NatFoM & Libraries of Formal Proofs and Natural Mathematical Language - Panel discussion
- Session 20 (Sep 08 14:00-16:00) Workshop on Libraries of Formal Proofs and Natural Mathematical Language - Invited talk & Paper presentation
- Session 21 (Sep 08 16:30-18:00) Workshop on Libraries of Formal Proofs and Natural Mathematical Language - Paper presentation