<div dir="ltr">THE SEVENTH FEDERATED LOGIC CONFERENCE (FLoC 2018)<br>6-19 July 2018<br>Oxford, England, UK<br><br>REGULAR REGISTRATION CLOSES on 25th June 2018.<br>ON SITE REGISTRATION will be possible during the conference.<br>It is imperative that you BOOK ACCOMMODATION ASAP to avoid disappointment.<br><br>Website: <a href="http://www.floc2018.org/" target="_blank">http://www.floc2018.org/</a><br>Conference and workshops programme now live: <a href="https://easychair.org/smart-program/FLoC2018/index.html" target="_blank">https://easychair.org/smart-<wbr>program/FLoC2018/index.html</a><br>Registration: <a href="http://www.floc2018.org/register/" target="_blank">http://www.floc2018.org/<wbr>register/</a><br>Accommodation: <a href="http://www.floc2018.org/accommodation/" target="_blank">http://www.floc2018.org/<wbr>accommodation/</a><br><br>Registration for the main conference block gives you access to any<br>other conference in the same period. Conference registration includes<br>reception, lunches and coffee breaks. Stand up banquet can be added to<br>the conference registration.<br><br>Registration for a workshop day means you can attend any other<br>workshop on the same day. Workshop registration includes lunches and<br>coffee breaks.<br><br>Public events are free of charge but please note that they need to be<br>BOOKED SEPARETELY.<br><br>ACCOMMODATION<br><a href="http://www.floc2018.org/accommodation/" target="_blank">http://www.floc2018.org/<wbr>accommodation/</a><br><br>We have made block bookings at several locations in Oxford until mid-May and any unsold rooms are now being<br>released. It is imperative that you book NOW to avoid disappointment, as July is a busy period in Oxford!<br><br>ABOUT FLOC<br><br>During the past forty years there has been extensive, continuous, and<br>growing interaction between logic and computer science. In many<br>respects, logic provides computer science with both a unifying<br>foundational framework and a tool for modeling. In fact, logic has<br>been called “the calculus of computer science”, playing a crucial role<br>in diverse areas such as artificial intelligence, computational<br>complexity, distributed computing, database systems, hardware design,<br>programming languages, and software engineering.<br><br>The Federated Logic Conference brings together several international<br>conferences related to mathematical logic and computer science, and<br>was first organised in 1996, as part of the DIMACS Special Year on<br>Logic and Algorithms. Since then FLoC was held in Trento in 1999,<br>Copenhagen in 2002, Seattle in 2006, Edinburgh in 2010 and Vienna in<br>2014.<br><br>The seventh Federated Logic Conference (FLoC'18) will be held in<br>Oxford, UK, in July 2018, at the Mathematical Institute and the<br>Blavatnik School of Government at the University of Oxford.<br><br>CONFERENCES<br><br>FLoC 2018 brings together nine major international conferences, 70+ workshops and several special events.<br><br>CAV <a href="http://cavconference.org/2018/" target="_blank">http://cavconference.org/2018/</a><br>CSF <a href="http://www.cs.ox.ac.uk/conferences/csf2018/" target="_blank">http://www.cs.ox.ac.uk/<wbr>conferences/csf2018/</a><br>FM <a href="http://www.fm2018.org" target="_blank">http://www.fm2018.org</a><br>FSCD <a href="http://www.cs.le.ac.uk/events/fscd2018/" target="_blank">http://www.cs.le.ac.uk/events/<wbr>fscd2018/</a><br>ICLP <a href="https://www.cs.nmsu.edu/ALP/iclp2018/" target="_blank">https://www.cs.nmsu.edu/ALP/<wbr>iclp2018/</a><br>IJCAR <a href="http://ijcar2018.org" target="_blank">http://ijcar2018.org</a><br>ITP <a href="https://itp2018.inria.fr" target="_blank">https://itp2018.inria.fr</a><br>LICS <a href="http://lics.siglog.org/lics18/" target="_blank">http://lics.siglog.org/lics18/</a><br>SAT <a href="http://sat2018.azurewebsites.net/" target="_blank">http://sat2018.azurewebsites.<wbr>net/</a><br><br>KEYNOTES/PLENARY LECTURES<br><br>Shafi Goldwasser, MIT, Pseudo Deterministic Algorithms and Proofs<br>Georges Gonthier, INRIA and Paris Saclay, The Logic of Real Proofs<br>Peter O’Hearn, Facebook and UCL, Continuous Reasoning for Big Code<br>Byron Cook, Amazon and UCL, Formal Reasoning about the Security of<br>Amazon Web Services<br><br>CONFERENCE INVITED SPEAKERS<br><br>CAV:   Somesh Jha, Eran Yahav<br>CSF:    Srini Devdas, Catuscia Palamidessi<br>FM:     Kim Gulstrand Larsen, Annabelle McIver, Leonardo de Moura<br>FSCD:  Stephanie Delaune, Grigore Rosu, Peter Selinger, Valeria Vignudelli<br>ICLP:   Elvira Albert, Thomas Eiter<br>IJCAR: Erika Abraham, Martin Giese<br>ITP:     Dan Grayson, John Harrison, Jean-Christophe Filiatre<br>LICS:   Thierry Coquand, Javier Esparza, Ursula Martin, Val Tannen<br>SAT:    Christopf Scholl, Rahul Santhanam, Marijn Heule<br><br>PUBLIC LECTURE by Stuart Russell, University of California Berkeley,<br>to be held as part of the Strachey Lecture series in the Sheldonian<br>Theatre, the official ceremonial hall of the University of Oxford:<br><a href="http://www.floc2018.org/public-lecture/" target="_blank">http://www.floc2018.org/<wbr>public-lecture/</a><br><br>PUBLIC DEBATE on “Ethics and Morality of Robotics”, an event in the<br>LogicLounge series (<a href="http://www.vcla.at/logiclounge/" target="_blank">http://www.vcla.at/<wbr>logiclounge/</a>), first organised<br>at the Vienna Summer of Logic in 2014, to be held at the Oxford Union,<br>a debating society with a long history of iconic debates and<br>world-renowned speakers founded in 1823.<br><a href="http://www.floc2018.org/public-debate/" target="_blank">http://www.floc2018.org/<wbr>public-debate/</a><br><br>SUMMIT ON MACHINE LEARNING MEETS FORMAL METHODS<br>The Summit on Machine Learning Meets Formal Methods, supported by the<br>Alan Turing Institute, will bring together academic and industrial<br>leaders from NVIDIA, Google, DeepMind and Microsoft who will discuss<br>the benefits and risks of machine learning solutions.<br><a href="http://www.floc2018.org/summit-on-machine-learning/" target="_blank">http://www.floc2018.org/<wbr>summit-on-machine-learning/</a><br><br>FORMAL METHODS IN INDUSTRY, 14th July 2018<br>The FLoC Industry session will consider the intersection of problems<br>that are relevant to academia and industry. The session will feauture<br>speakers from Amazon, Google and Facebook, and will be chaired<br>by Orna Grumberg.<br><a href="http://www.floc2018.org/formal-methods-in-industry/" target="_blank">http://www.floc2018.org/<wbr>formal-methods-in-industry/</a><br><br>FOPSS LOGIC AND LEARNING SCHOOL, 1-6 July 2018 (NOW SOLD OUT)<br>The Logic & Learning School is an opportunity to learn from, and<br>interact with, the world's experts leading recent progress in<br>understanding the relationships between logic and learning.<br><a href="http://www.floc2018.org/fopss/" target="_blank">http://www.floc2018.org/fopss/</a><br><br>MENTORING AND STUDENT EVENTS<br><br>FLoC will host several events aimed specifically at supporting<br>emerging researchers, some of which will provide financial support,<br>including:<br><br>LICS 2nd Logic Mentoring Workshop, Sunday 8 July<br>CAV Verification and Deduction Mentoring Workshop, Friday 13 July<br>FM Doctoral Symposium, Saturday 14 July<br>ICLP DC 2018: 14th Doctoral Consortium (DC) on Logic Programming (ICLP<br>– DC 2018), 18 July<br><br>SOCIAL EVENTS<br><br>There is one Reception and one Banquet during each FLoC block, and one<br>Workshop Dinner during each of the workshop blocks.  For details, see<br><a href="http://floc2018.org/social-events/" target="_blank">http://floc2018.org/social-<wbr>events/</a>.  Guests are welcome: you can<br>reserve your place(s) via the registration system.<br><br>SPONSORSHIP<br><br>We are indebted to our sponsors for making FLoC possible, see:<br><a href="http://www.floc2018.org/sponsors/" target="_blank">http://www.floc2018.org/<wbr>sponsors/</a><br><br>LOCAL INFORMATION<br><br>Our website includes details for travel (including accessibility),<br>venues and things to do in Oxford for our attendees and their<br>families: see <a href="http://www.floc2018.org/local-information/" target="_blank">http://www.floc2018.org/local-<wbr>information/</a> for more<br>information.<br><br>FLoC 2018 promises to be an exciting meeting, and we hope to see you in Oxford!<br><br>FLOC 2018 CHAIRS<br><br>Marta Kwiatkowska<br>Daniel Kroening<br>Moshe Vardi<br><br>FLOC Committees<br><br>See <a href="http://www.floc2018.org/about/" target="_blank">http://www.floc2018.org/about/</a><br></div>