Maths L5
Lecture Room 5, Mathematical Institute, Radcliffe Observatory Quarter, Woodstock Rd, Oxford, OX2 6GG, https://goo.gl/maps/VefskbmvcER2
Sessions
- Session 23L (Jul 07 09:00-10:30) Tuning solvers and applications
- Session 26M (Jul 07 11:00-12:30) Pseudo-Boolean and Proofs
- Session 29B (Jul 07 14:30-15:30) MAXSAT & local search
- Session 31N (Jul 07 16:00-18:00) SAT pragmatics
- Session 34L (Jul 08 09:00-10:30) Joint QBF / Proof Complexity session
- Session 38N (Jul 08 11:00-12:30) Joint QBF / Proof Complexity session
- Session 40P (Jul 08 14:00-15:30)
- Session 42P (Jul 08 16:00-18:00)
- Session 84B (Jul 13 09:30-10:30) LCC Invited Talk: Mikolaj Bojanczyk
- Session 86F (Jul 13 11:00-12:30) LCC: Contributed Talks
- Session 87F (Jul 13 14:00-15:30) LCC: Martin Hofmann Memorial Session
- Session 88D (Jul 13 16:00-18:00) LCC: Martin Hofmann Memorial Session