Blavatnik Seminar Room 1

FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Session 23I (Jul 07 09:00-10:30)
Session 26J (Jul 07 11:00-12:35)
Session 28H (Jul 07 14:00-15:30)
Session 31J (Jul 07 16:00-18:10)
Session 34J (Jul 08 09:00-10:30)
Session 38K (Jul 08 11:00-12:30)
Session 40L (Jul 08 14:00-15:30)
Session 42K (Jul 08 16:00-18:00)
Session 83Q (Jul 13 09:00-10:30)
Session 86R (Jul 13 11:00-12:30)
Session 87R (Jul 13 14:00-15:30)
Session 88M (Jul 13 16:00-18:00)
Session 93B (Jul 14 09:00-10:00) F-IDE/Overture invited talk: Jean-Christophe Filliatre
Session 94A (Jul 14 10:00-10:30) Program verification
Session 95C (Jul 14 11:00-12:30) User interfaces for formal tools
Session 98B (Jul 14 15:00-15:30) Experience in analyzing large programs
Session 99C (Jul 14 16:00-18:00) Integrating formal verification results
Session 125C (Jul 18 09:00-10:30) Invited talk: Michael Tautschnig
Session 127C (Jul 18 11:00-12:30) AVoCS Regular papers 1
Session 128C (Jul 18 14:00-15:30) Invited talk: Michael Emmi
Session 130B (Jul 18 16:00-18:00) AVoCS Regular Papers 2
Session 131A (Jul 19 09:00-10:30) Invited talk: Antoine Miné
Session 133A (Jul 19 11:00-12:30) AVoCS Regular Papers 3
Session 135A (Jul 19 14:00-15:30) Invited talk: Yannick Moy
Session 137A (Jul 19 16:00-18:00) AVoCS Regular Papers 4