FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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