Ullmann 205
Sessions
- Session 2 (Jul 31 09:15-10:30) Teaching logic
- Session 10D (Jul 31 11:00-12:30) Teaching formal methods
- Session 14E (Jul 31 14:00-15:00) Teaching proofs
- Session 34M (Aug 01 14:00-15:30)
- Session 37L (Aug 01 16:00-17:30)
- Session 120F (Aug 11 09:00-10:30)
- Session 125J (Aug 11 11:00-12:30)
- Session 127J (Aug 11 14:00-15:30)
- Session 131H (Aug 11 16:00-17:30)