Blavatnik Seminar Rooms 1 & 2

FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

Seminar Rooms 1 & 2, Blavatnik School of Government, Radcliffe Observatory Quarter, Woodstock Road, Oxford, OX2 6GG, https://goo.gl/maps/7HDqoYSAf7A2

Session 47F (Jul 09 11:00-12:15) SAT Invited Talk: Christoph Scholl
Session 49F (Jul 09 14:00-15:30) MaxSAT
Session 51F (Jul 09 16:00-18:00) CDCL
Session 52E (Jul 10 09:00-10:30) Model Counting
Session 54F (Jul 10 11:00-12:00) SAT Invited Talk: Rahul Santhanam
Session 55F (Jul 10 14:00-15:30) QBF I
Session 58C (Jul 10 16:00-17:00) QBF II
Session 60F (Jul 11 09:00-10:30) Theory
Session 64F (Jul 11 11:00-12:00) SAT Invited Talk: Marijn Heule
Session 65B (Jul 11 12:00-12:20) Industry Presentation
Session 67E (Jul 11 16:00-17:00) MUS
Session 69C (Jul 11 17:00-18:00) SAT Business Meeting
Session 74E (Jul 12 11:00-12:00) SMT
Session 75B (Jul 12 12:00-12:30) Tools & Applications I
Session 76G (Jul 12 14:00-15:30) Tools & Applications II
Session 78D (Jul 12 16:00-18:00) Awards & Competitions