Green Templeton Lecture Theatre
Lecture Theatre, Green Templeton College, 43 Woodstock Rd, Oxford, OX2 6HG, https://goo.gl/maps/4SLRj7y766p
Sessions
- Session 60G (Jul 11 09:00-10:00) SC^2 Invited speaker
- Session 62 (Jul 11 10:05-10:30) Extended Abstracts
- Session 64G (Jul 11 11:00-12:40) Extended Abstracts: Symbolic Computation
- Session 66D (Jul 11 14:00-15:30) Research papers: CAD
- Session 67F (Jul 11 16:00-17:30) Research papers
- Session 70F (Jul 12 09:00-10:30)
- Session 74F (Jul 12 11:00-12:30)
- Session 76H (Jul 12 14:00-15:30)
- Session 78E (Jul 12 16:00-17:30)
- Session 83J (Jul 13 09:00-10:30)
- Session 86K (Jul 13 11:00-12:30)
- Session 87K (Jul 13 14:00-15:30)
- Session 88H (Jul 13 16:00-17:30) SMT-LIB Updates and Discussion
- Session 92 (Jul 13 17:30-18:00) SMT Business meeting