Aud 2
Sessions
- Session 3A (Dec 03 09:00-12:30) PhD Symposium
- Session 4A (Dec 03 14:00-17:00) PhD Symposium
- Session 6B (Dec 04 10:30-12:30) Testing
- Session 10B (Dec 05 10:30-12:30) Concurrency & Types
- Session 14B (Dec 06 10:30-12:00) Probabilistic methods