From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 4FD428240C for ; Mon, 21 May 2018 16:11:10 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Andrzej.Murawski@cs.ox.ac.uk; spf=Pass smtp.mailfrom=Andrzej.Murawski@cs.ox.ac.uk; spf=None smtp.helo=postmaster@relay12.mail.ox.ac.uk Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Andrzej.Murawski@cs.ox.ac.uk) identity=pra; client-ip=129.67.1.163; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Andrzej.Murawski@cs.ox.ac.uk"; x-sender="Andrzej.Murawski@cs.ox.ac.uk"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of Andrzej.Murawski@cs.ox.ac.uk designates 129.67.1.163 as permitted sender) identity=mailfrom; client-ip=129.67.1.163; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Andrzej.Murawski@cs.ox.ac.uk"; x-sender="Andrzej.Murawski@cs.ox.ac.uk"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@relay12.mail.ox.ac.uk) identity=helo; client-ip=129.67.1.163; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Andrzej.Murawski@cs.ox.ac.uk"; x-sender="postmaster@relay12.mail.ox.ac.uk"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AN7I5HB+m25ILgf9uRHKM819IXTAuvvDOBiVQ1KB+?= =?us-ascii?q?0+geIJqq85mqBkHD//Il1AaPAd2Araocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HdbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRDnky?= =?us-ascii?q?cJNzA3/mLKhMJukK1WuwiuqwBlzoPOfI2ZKPhzc6XAdt0aX2pBWcNRWjRdD4O6?= =?us-ascii?q?coQPFesAMvhar4LgoFUOsAG+ChOiBeP0yT9Ih2L90Kom3uQnDA7Gxg0hEMwMsH?= =?us-ascii?q?jOq9v1Kb0SXvq7zanTzjXDbuhb1ivm6ITSdRAgruuAUqhsfsbL1EkvFBrIg1ON?= =?us-ascii?q?ooLrODOV0/4Cs2md7+d4TuKvimEnqwV2ojig3MssjZPJho0NxlDC8CV525s1Kc?= =?us-ascii?q?emR0FmfN6oCJpQtyeAN4t3WMwuWW9ouDwixr0Hu560YDIFyI45yxLDdvCKcJKE?= =?us-ascii?q?4hX5VOaeOTt3mmhqeKm/hhmu8Uiv0Oz8VtOu3FZNtCpFncHAtn4J1xzU9seLVO?= =?us-ascii?q?dx8lqi1DqV0ADT8O5ELVg6lareNZIt3qM8m5kJvUTEBC/2l136jKuIeUk+4Oen?= =?us-ascii?q?9/7rYqjlppOEK4B7kB/+Pbgpmsy5D+Q3LBIOUHad+eugyrLv50r5QK9FjvEula?= =?us-ascii?q?nYv4rWKt4HqaKjHg9V0YAu4Au8ATe+yNkUgGcLIVZfdB+GjYXlIUzCLOrlAfq+?= =?us-ascii?q?jVmgiClny+zCM7H7AZjALmLPnKn8cbt98UJRxws+wNZC7JxOEL4BOuj8Wkrpud?= =?us-ascii?q?zYEBA5Nwu0zv79CNpj0oMRQ2KODrKHPK/ItF+H/OMvI+2WaI8StzfxMeIq6OL0?= =?us-ascii?q?gX8kml8RZaip3Z0JZ3CkBvlqPluVbH72jtoAE2oGpBcyQPb3hFCDXzNff3OyUL?= =?us-ascii?q?g95jE/BoKmF4DDRoW1jbGd2ie0A4dWZ2FYBVCOC3vmcJiEW+0WZyOcOc9hkT0E?= =?us-ascii?q?WKO9RI86zx2uswD7x6B9IeXI4CEYqJHj2MBv5+LPjREy6SB0D8OF3m6RVW50m2?= =?us-ascii?q?cISyYy3KB+ukx91kyO0bN4gvxdDdxc/elFUgY8NZ7Gzux1Ecr+WgzbfoTBdFHz?= =?us-ascii?q?adyjBXQVT8kti4sFakN5XtGjlQzr3iywArZTmabdV7Iu9aeJ9n79PdRwyT7jyb?= =?us-ascii?q?MokEIlQ4MbHGuqnLxy9U72GpTAjF6alo6hbuIbzGjE/yGezjzd7wljTAdsXPCd?= =?us-ascii?q?DjgkbUzMoIGhvxKQf/qVEb0idzB554uHI6pOZMfuiAwdFvz4ftPOJWu63XqzV0?= =?us-ascii?q?/RmuG8KbHycmBY5x3zTVAemllIr32dcw8uQC6q5X/dXmQ3SADfJnj0+Ow7k0uV?= =?us-ascii?q?C085ywbQNB972r6860dPw/mVSvdV2aJCsSxntjYmRFs=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DJBAC70gJbh6MBQ4FcEwEBBwECCgEFA?= =?us-ascii?q?YQXDn0og3WBHZZIGoFlAQGED4hJhm8BChgBCoFUhQ8ZBwEENBQBAgEBAQEBAQE?= =?us-ascii?q?BARMBAQEKCwkIKCMMgjUignswFQMCBRgVNwIkEgEFASIugwcCgX4BD5gxgx48i?= =?us-ascii?q?wWCHIc/GGiCD4ZNgUKBej+BD4IfOAeDNAsBAgGEXhaCPgKBT4RGgQaIc4g+BwK?= =?us-ascii?q?FIEqIbYE3PoFsgUOHWYlfaiyFcw8hgQQMJ1QNgRJNNHAGggwJghcOCYF8gjNUg?= =?us-ascii?q?xs7gmaCWm0BkDMBAQ?= X-IPAS-Result: =?us-ascii?q?A0DJBAC70gJbh6MBQ4FcEwEBBwECCgEFAYQXDn0og3WBHZZ?= =?us-ascii?q?IGoFlAQGED4hJhm8BChgBCoFUhQ8ZBwEENBQBAgEBAQEBAQEBARMBAQEKCwkIK?= =?us-ascii?q?CMMgjUignswFQMCBRgVNwIkEgEFASIugwcCgX4BD5gxgx48iwWCHIc/GGiCD4Z?= =?us-ascii?q?NgUKBej+BD4IfOAeDNAsBAgGEXhaCPgKBT4RGgQaIc4g+BwKFIEqIbYE3PoFsg?= =?us-ascii?q?UOHWYlfaiyFcw8hgQQMJ1QNgRJNNHAGggwJghcOCYF8gjNUgxs7gmaCWm0BkDM?= =?us-ascii?q?BAQ?= X-IronPort-AV: E=Sophos;i="5.49,426,1520895600"; d="scan'208,217";a="327729304" Received: from relay12.mail.ox.ac.uk ([129.67.1.163]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 21 May 2018 16:11:08 +0200 Received: from smtp6.mail.ox.ac.uk ([163.1.2.206]) by relay12.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1fKlWl-0007h6-em for caml-list@inria.fr; Mon, 21 May 2018 15:11:08 +0100 Received: from mail-lf0-f46.google.com ([209.85.215.46]) by smtp6.mail.ox.ac.uk with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.89) (envelope-from ) id 1fKlWl-0003gB-KY for caml-list@inria.fr; Mon, 21 May 2018 15:11:07 +0100 Received: by mail-lf0-f46.google.com with SMTP id m17-v6so24127996lfj.8 for ; Mon, 21 May 2018 07:11:07 -0700 (PDT) X-Gm-Message-State: ALKqPweWYJ+T1JxRyHm/QpXU6fHHbKLepKgTRqostAtnT+k1lyP2CPkG PUQyEnGRZkeld5CIwYmOOFvaET//05E+MJDlZps= X-Google-Smtp-Source: AB8JxZq4JsjM+rlGQTW9WC5nf7nUP9uCZw29Ht+10GdgCqfCH+MIpWVUlSadvY1SQOnJSs4rdqq06e55gFdx4f/lot4= X-Received: by 2002:a2e:9b4a:: with SMTP id o10-v6mr12097752ljj.49.1526911866623; Mon, 21 May 2018 07:11:06 -0700 (PDT) Received: from 52669349336 named unknown by gmailapi.google.com with HTTPREST; Mon, 21 May 2018 16:11:05 +0200 MIME-Version: 1.0 Sender: Andrzej Murawski From: Andrzej Murawski Date: Mon, 21 May 2018 16:11:05 +0200 X-Google-Sender-Auth: 92h5TuSoAoCiieAWgnVprg36MWM X-Gmail-Original-Message-ID: Message-ID: To: Caml-List Content-Type: multipart/alternative; boundary="00000000000069dd40056cb7dfac" X-Oxford-Username: lina0645 X-Oxmail-Spam-Status: score=0.0 tests=HTML_MESSAGE,UNPARSEABLE_RELAY 0.0 HTML_MESSAGE BODY: HTML included in message 0.0 UNPARSEABLE_RELAY Informational: message has unparseable relay lines X-Oxmail-Spam-Level: / X-Validation-by: andrzej.murawski@cs.ox.ac.uk Subject: [Caml-list] FLoC 2018: Programme now live and accommodation booking fast --00000000000069dd40056cb7dfac Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable THE SEVENTH FEDERATED LOGIC CONFERENCE (FLoC 2018) 6-19 July 2018 Oxford, England, UK We are pleased to announce that the FLoC 2018 conference and workshops PROGRAMME is NOW ONLINE. It is imperative that you BOOK ACCOMMODATION NOW to avoid disappointment. EARLY BIRD REGISTRATION CLOSES on 6th June 2018 Website: http://www.floc2018.org/ Conference and workshops programme now live: https://easychair.org/smart-program/FLoC2018/index.html Registration: http://www.floc2018.org/register/ Accommodation: http://www.floc2018.org/accommodation/ REGISTRATION EARLY BIRD REGISTRATION CLOSES on 6th June 2018 LATE REGISTRATION until 25th June 2018 ON SITE REGISTRATION will be possible during the conference. To register for FLoC, go to http://www.floc2018.org/register/ Registration for the main conference block gives you access to any other conference in the same period. Conference registration includes reception, lunches and coffee breaks. Stand up banquet can be added to the conference registration. Registration for a workshop day means you can attend any other workshop on the same day. Workshop registration includes lunches and coffee breaks. Public events are free of charge but please note that they need to be BOOKED SEPARETELY. ACCOMMODATION http://www.floc2018.org/accommodation/ We have made block bookings at several locations in Oxford until mid-May and any unsold rooms are now being released. It is imperative that you book NOW to avoid disappointment, as July is a busy period in Oxford! ABOUT FLOC During the past forty years there has been extensive, continuous, and growing interaction between logic and computer science. In many respects, logic provides computer science with both a unifying foundational framework and a tool for modeling. In fact, logic has been called =E2=80=9Cthe calculus of computer science=E2=80=9D, playing a c= rucial role in diverse areas such as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering. The Federated Logic Conference brings together several international conferences related to mathematical logic and computer science, and was first organised in 1996, as part of the DIMACS Special Year on Logic and Algorithms. Since then FLoC was held in Trento in 1999, Copenhagen in 2002, Seattle in 2006, Edinburgh in 2010 and Vienna in 2014. The seventh Federated Logic Conference (FLoC'18) will be held in Oxford, UK, in July 2018, at the Mathematical Institute and the Blavatnik School of Government at the University of Oxford. CONFERENCES FLoC 2018 brings together nine major international conferences, 70+ workshops and several special events. CAV http://cavconference.org/2018/ CSF http://www.cs.ox.ac.uk/conferences/csf2018/ FM http://www.fm2018.org FSCD http://www.cs.le.ac.uk/events/fscd2018/ ICLP https://www.cs.nmsu.edu/ALP/iclp2018/ IJCAR http://ijcar2018.org ITP https://itp2018.inria.fr LICS http://lics.siglog.org/lics18/ SAT http://sat2018.azurewebsites.net/ KEYNOTES/PLENARY LECTURES Shafi Goldwasser, MIT, Pseudo Deterministic Algorithms and Proofs Georges Gonthier, INRIA and Paris Saclay, The Logic of Real Proofs Peter O=E2=80=99Hearn, Facebook and UCL, Continuous Reasoning for Big Code Byron Cook, Amazon and UCL, Formal Reasoning about the Security of Amazon Web Services CONFERENCE INVITED SPEAKERS CAV: Somesh Jha, Eran Yahav CSF: Srini Devdas, Catuscia Palamidessi FM: Kim Gulstrand Larsen, Annabelle McIver, Leonardo de Moura FSCD: Stephanie Delaune, Grigore Rosu, Peter Selinger, Valeria Vignudelli ICLP: Elvira Albert, Thomas Eiter IJCAR: Erika Abraham, Martin Giese ITP: Dan Grayson, John Harrison, Jean-Christophe Filiatre LICS: Thierry Coquand, Javier Esparza, Ursula Martin, Val Tannen SAT: Christopf Scholl, Rahul Santhanam, Marijn Heule PUBLIC LECTURE by Stuart Russell, University of California Berkeley, to be held as part of the Strachey Lecture series in the Sheldonian Theatre, the official ceremonial hall of the University of Oxford: http://www.floc2018.org/public-lecture/ PUBLIC DEBATE on =E2=80=9CEthics and Morality of Robotics=E2=80=9D, an even= t in the LogicLounge series (http://www.vcla.at/logiclounge/), first organised at the Vienna Summer of Logic in 2014, to be held at the Oxford Union, a debating society with a long history of iconic debates and world-renowned speakers founded in 1823. http://www.floc2018.org/public-debate/ SUMMIT ON MACHINE LEARNING MEETS FORMAL METHODS The Summit on Machine Learning Meets Formal Methods, supported by the Alan Turing Institute, will bring together academic and industrial leaders from NVIDIA, Google, DeepMind and Microsoft who will discuss the benefits and risks of machine learning solutions. http://www.floc2018.org/summit-on-machine-learning/ FORMAL METHODS IN INDUSTRY, 14th July 2018 The FLoC Industry session will consider the intersection of problems that are relevant to academia and industry. The session will feauture speakers from Amazon, Google and Facebook, and will be chaired by Orna Grumberg. http://www.floc2018.org/formal-methods-in-industry/ FOPSS LOGIC AND LEARNING SCHOOL, 1-6 July 2018 (NOW SOLD OUT) The Logic & Learning School is an opportunity to learn from, and interact with, the world's experts leading recent progress in understanding the relationships between logic and learning. http://www.floc2018.org/fopss/ MENTORING AND STUDENT EVENTS FLoC will host several events aimed specifically at supporting emerging researchers, some of which will provide financial support, including: LICS 2nd Logic Mentoring Workshop, Sunday 8 July CAV Verification and Deduction Mentoring Workshop, Friday 13 July FM Doctoral Symposium, Saturday 14 July ICLP DC 2018: 14th Doctoral Consortium (DC) on Logic Programming (ICLP =E2=80=93 DC 2018), 18 July SOCIAL EVENTS There is one Reception and one Banquet during each FLoC block, and one Workshop Dinner during each of the workshop blocks. For details, see http://floc2018.org/social-events/. Guests are welcome: you can reserve your place(s) via the registration system. VOLUNTEERING AND TRAVEL SUPPORT A generous scheme to provide travel support for early career researchers and opportunities to volunteer (subject to restrictions) is available. Applicants will be notified soon. http://www.floc2018.org/volunteer/ SPONSORSHIP We are indebted to our sponsors for making FLoC possible, see: http://www.floc2018.org/sponsors/ LOCAL INFORMATION Our website includes details for travel (including accessibility), venues and things to do in Oxford for our attendees and their families: see http://www.floc2018.org/local-information/ for more information. FLoC 2018 promises to be an exciting meeting, and we hope to see you in Oxford! FLOC 2018 CHAIRS Marta Kwiatkowska Daniel Kroening Moshe Vardi FLOC Committees See http://www.floc2018.org/about/ --00000000000069dd40056cb7dfac Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
THE SEVENTH FEDERATED LOGIC CONFERENCE (FLoC 2018)
6-19= July 2018
Oxford, England, UK

We are pleased to announce that th= e FLoC 2018 conference and workshops PROGRAMME is NOW ONLINE.

It is = imperative that you BOOK ACCOMMODATION NOW to avoid disappointment.

= EARLY BIRD REGISTRATION CLOSES on 6th June 2018

Website: http://www.floc2018.org/
Conference and wo= rkshops programme now live: https://easychair.org/smart-program/FLoC2018/index.htm= l
Registration: http:/= /www.floc2018.org/register/
Accommodation: http://www.floc2018.org/accommodation/
REGISTRATION

EARLY BIRD REGISTRATION CLOSES on 6th June 2018
LATE REGISTRATION until 25th June 2018

ON SITE REGISTRATION will be= possible during the conference.

To register for FLoC, go to http://www.floc2018.org/register/
Registration for the main conference block gives you access to any
= other conference in the same period. Conference registration includes
re= ception, lunches and coffee breaks. Stand up banquet can be added to
the= conference registration.

Registration for a workshop day means you = can attend any other
workshop on the same day. Workshop registration inc= ludes lunches and
coffee breaks.

Public events are free of charge= but please note that they need to be
BOOKED SEPARETELY.

ACCOMMOD= ATION
http://www.floc= 2018.org/accommodation/

We have made block bookings at several l= ocations in Oxford until mid-May and any unsold rooms are now being
rele= ased. It is imperative that you book NOW to avoid disappointment, as July i= s a busy period in Oxford!

ABOUT FLOC

During the past forty y= ears there has been extensive, continuous, and
growing interaction betwe= en logic and computer science. In many
respects, logic provides computer= science with both a unifying
foundational framework and a tool for mode= ling. In fact, logic has
been called =E2=80=9Cthe calculus of computer s= cience=E2=80=9D, playing a crucial role
in diverse areas such as artific= ial intelligence, computational
complexity, distributed computing, datab= ase systems, hardware design,
programming languages, and software engine= ering.

The Federated Logic Conference brings together several intern= ational
conferences related to mathematical logic and computer science, = and
was first organised in 1996, as part of the DIMACS Special Year onLogic and Algorithms. Since then FLoC was held in Trento in 1999,
Cope= nhagen in 2002, Seattle in 2006, Edinburgh in 2010 and Vienna in
2014.
The seventh Federated Logic Conference (FLoC'18) will be held in<= br>Oxford, UK, in July 2018, at the Mathematical Institute and the
Blava= tnik School of Government at the University of Oxford.

CONFERENCES
FLoC 2018 brings together nine major international conferences, 70+ w= orkshops and several special events.

CAV http://cavconference.org/2018/
CSF http://www.cs.ox.ac.uk/conferences/c= sf2018/
FM http://www.fm2018.org
FSCD http://www.c= s.le.ac.uk/events/fscd2018/
ICLP https://www.cs.nmsu.edu/ALP/iclp2018/
IJCAR http://ijcar2018.org
ITP https://itp2018.inria.fr
LICS http://lics.siglog.org/lics18/
SAT http://sat2018.azurewebsites.net/

KEYNOTES/PLENARY LECTURES

Shafi Goldwasser, MIT, Pseudo Det= erministic Algorithms and Proofs
Georges Gonthier, INRIA and Paris Sacla= y, The Logic of Real Proofs
Peter O=E2=80=99Hearn, Facebook and UCL, Con= tinuous Reasoning for Big Code
Byron Cook, Amazon and UCL, Formal Reason= ing about the Security of
Amazon Web Services

CONFERENCE INVITED = SPEAKERS

CAV: =C2=A0 Somesh Jha, Eran Yahav
CSF: =C2=A0 =C2=A0Sri= ni Devdas, Catuscia Palamidessi
FM: =C2=A0 =C2=A0 Kim Gulstrand Larsen, = Annabelle McIver, Leonardo de Moura
FSCD: =C2=A0Stephanie Delaune, Grigo= re Rosu, Peter Selinger, Valeria Vignudelli
ICLP: =C2=A0 Elvira Albert, = Thomas Eiter
IJCAR: Erika Abraham, Martin Giese
ITP: =C2=A0 =C2=A0 Da= n Grayson, John Harrison, Jean-Christophe Filiatre
LICS: =C2=A0 Thierry = Coquand, Javier Esparza, Ursula Martin, Val Tannen
SAT: =C2=A0 =C2=A0Chr= istopf Scholl, Rahul Santhanam, Marijn Heule

PUBLIC LECTURE by Stuar= t Russell, University of California Berkeley,
to be held as part of the = Strachey Lecture series in the Sheldonian
Theatre, the official ceremoni= al hall of the University of Oxford:
http://www.floc2018.org/public-lecture/

PUBLIC = DEBATE on =E2=80=9CEthics and Morality of Robotics=E2=80=9D, an event in th= e
LogicLounge series (http:/= /www.vcla.at/logiclounge/), first organised
at the Vienna Summer of = Logic in 2014, to be held at the Oxford Union,
a debating society with a= long history of iconic debates and
world-renowned speakers founded in 1= 823.
http://www.floc2= 018.org/public-debate/

SUMMIT ON MACHINE LEARNING MEETS FORMAL M= ETHODS
The Summit on Machine Learning Meets Formal Methods, supported by= the
Alan Turing Institute, will bring together academic and industrial<= br>leaders from NVIDIA, Google, DeepMind and Microsoft who will discuss
= the benefits and risks of machine learning solutions.
http://www.floc2018.org/summi= t-on-machine-learning/

FORMAL METHODS IN INDUSTRY, 14th July 201= 8
The FLoC Industry session will consider the intersection of problemsthat are relevant to academia and industry. The session will feauture
= speakers from Amazon, Google and Facebook, and will be chaired
by Orna G= rumberg.
http://www.floc2018.org/formal-methods-in-industry/

FOPSS LOGIC= AND LEARNING SCHOOL, 1-6 July 2018 (NOW SOLD OUT)
The Logic & Learn= ing School is an opportunity to learn from, and
interact with, the world= 's experts leading recent progress in
understanding the relationship= s between logic and learning.
http://www.floc2018.org/fopss/

MENTORING AND STUDENT EVENTS
=
FLoC will host several events aimed specifically at supporting
emerg= ing researchers, some of which will provide financial support,
including= :

LICS 2nd Logic Mentoring Workshop, Sunday 8 July
CAV Verificati= on and Deduction Mentoring Workshop, Friday 13 July
FM Doctoral Symposiu= m, Saturday 14 July
ICLP DC 2018: 14th Doctoral Consortium (DC) on Logic= Programming (ICLP
=E2=80=93 DC 2018), 18 July

SOCIAL EVENTS
<= br>There is one Reception and one Banquet during each FLoC block, and oneWorkshop Dinner during each of the workshop blocks.=C2=A0 For details, se= e
http://floc2018.org/soc= ial-events/.=C2=A0 Guests are welcome: you can
reserve your place(s)= via the registration system.

VOLUNTEERING AND TRAVEL SUPPORT
A generous scheme to provide travel support for early career
researcher= s and opportunities to volunteer (subject to restrictions)
is available.= Applicants will be notified soon.
http://www.floc2018.org/volunteer/

SPONSORSHIP

= We are indebted to our sponsors for making FLoC possible, see:
http://www.floc2018.org/sponsors/

LOCAL INFORMATION

Our website includes details for travel (= including accessibility),
venues and things to do in Oxford for our atte= ndees and their
families: see http://www.floc2018.org/local-information/ for more
inf= ormation.

FLoC 2018 promises to be an exciting meeting, and we hope = to see you in Oxford!

FLOC 2018 CHAIRS

Marta Kwiatkowska
D= aniel Kroening
Moshe Vardi

FLOC Committees

See http://www.floc2018.org/about/
--00000000000069dd40056cb7dfac--