ZoomRoom 4
Sessions
- Session 2A (Jul 11 08:00-10:00) PVS Tutorial
- Session 4A (Jul 11 10:30-12:00) PVS Tutorial
- Session 6A (Jul 11 12:30-14:00) PVS Tutorial
- Session 8A (Jul 11 14:30-16:00) PVS Tutorial
- Session 17C (Jul 12 16:00-16:30) Topical ZoomRoom: How can Anyone Trust a Theorem Prover?
- Session 35B (Jul 16 08:00-10:00) Non-Fregean Logic Tutorial
- Session 37B (Jul 16 10:30-12:00) Non-Fregean Logic Tutorial
- Session 39B (Jul 16 12:30-14:00) Non-Fregean Logic Tutorial
- Session 41B (Jul 16 14:30-16:00) Non-Fregean Logic Tutorial