<div dir="ltr">THE SEVENTH FEDERATED LOGIC CONFERENCE (FLoC 2018)<br>6-19 July 2018<br>Oxford, England, UK<br><br>We are pleased to announce that the FLoC 2018 conference and workshops PROGRAMME is NOW ONLINE.<br><br>It is imperative that you BOOK ACCOMMODATION NOW to avoid disappointment.<br><br>EARLY BIRD REGISTRATION CLOSES on 6th June 2018<br><br>Website: <a href="http://www.floc2018.org/">http://www.floc2018.org/</a><br>Conference and workshops programme now live: <a href="https://easychair.org/smart-program/FLoC2018/index.html">https://easychair.org/smart-program/FLoC2018/index.html</a><br>Registration: <a href="http://www.floc2018.org/register/">http://www.floc2018.org/register/</a><br>Accommodation: <a href="http://www.floc2018.org/accommodation/">http://www.floc2018.org/accommodation/</a><br><br>REGISTRATION<br><br>EARLY BIRD REGISTRATION CLOSES on 6th June 2018<br><br>LATE REGISTRATION until 25th June 2018<br><br>ON SITE REGISTRATION will be possible during the conference.<br><br>To register for FLoC, go to <a href="http://www.floc2018.org/register/">http://www.floc2018.org/register/</a><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/">http://www.floc2018.org/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/">http://cavconference.org/2018/</a><br>CSF <a href="http://www.cs.ox.ac.uk/conferences/csf2018/">http://www.cs.ox.ac.uk/conferences/csf2018/</a><br>FM <a href="http://www.fm2018.org">http://www.fm2018.org</a><br>FSCD <a href="http://www.cs.le.ac.uk/events/fscd2018/">http://www.cs.le.ac.uk/events/fscd2018/</a><br>ICLP <a href="https://www.cs.nmsu.edu/ALP/iclp2018/">https://www.cs.nmsu.edu/ALP/iclp2018/</a><br>IJCAR <a href="http://ijcar2018.org">http://ijcar2018.org</a><br>ITP <a href="https://itp2018.inria.fr">https://itp2018.inria.fr</a><br>LICS <a href="http://lics.siglog.org/lics18/">http://lics.siglog.org/lics18/</a><br>SAT <a href="http://sat2018.azurewebsites.net/">http://sat2018.azurewebsites.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/">http://www.floc2018.org/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/">http://www.vcla.at/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/">http://www.floc2018.org/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/">http://www.floc2018.org/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/">http://www.floc2018.org/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/">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/">http://floc2018.org/social-events/</a>.  Guests are welcome: you can<br>reserve your place(s) via the registration system.<br><br>VOLUNTEERING AND TRAVEL SUPPORT<br><br>A generous scheme to provide travel support for early career<br>researchers and opportunities to volunteer (subject to restrictions)<br>is available. Applicants will be notified soon.<br><a href="http://www.floc2018.org/volunteer/">http://www.floc2018.org/volunteer/</a><br><br>SPONSORSHIP<br><br>We are indebted to our sponsors for making FLoC possible, see:<br><a href="http://www.floc2018.org/sponsors/">http://www.floc2018.org/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/">http://www.floc2018.org/local-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/">http://www.floc2018.org/about/</a></div>