* [Caml-list] FLoC 2018 - Last Call for Participation
@ 2018-06-19 21:15 Andrzej Murawski
0 siblings, 0 replies; 1+ messages in thread
From: Andrzej Murawski @ 2018-06-19 21:15 UTC (permalink / raw)
[-- Attachment #1: Type: text/plain, Size: 6772 bytes --]
THE SEVENTH FEDERATED LOGIC CONFERENCE (FLoC 2018)
6-19 July 2018
Oxford, England, UK
REGULAR REGISTRATION CLOSES on 25th June 2018.
ON SITE REGISTRATION will be possible during the conference.
It is imperative that you BOOK ACCOMMODATION ASAP to avoid disappointment.
Conference and workshops programme now live: https://easychair.org/smart-
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
Public events are free of charge but please note that they need to be
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!
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 “the calculus of computer science”, playing a crucial 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
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.
FLoC 2018 brings together nine major international conferences, 70+
workshops and several special events.
Shafi Goldwasser, MIT, Pseudo Deterministic Algorithms and Proofs
Georges Gonthier, INRIA and Paris Saclay, The Logic of Real Proofs
Peter O’Hearn, 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:
PUBLIC DEBATE on “Ethics and Morality of Robotics”, an event 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.
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.
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.
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.
MENTORING AND STUDENT EVENTS
FLoC will host several events aimed specifically at supporting
emerging researchers, some of which will provide financial support,
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
– DC 2018), 18 July
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.
We are indebted to our sponsors for making FLoC possible, see:
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
FLoC 2018 promises to be an exciting meeting, and we hope to see you in
FLOC 2018 CHAIRS
Caml-list mailing list. Subscription management and archives:
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
[-- Attachment #2: Type: text/html, Size: 8579 bytes --]
^ permalink raw reply [flat|nested] 1+ messages in thread
only message in thread, back to index
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-06-19 21:15 [Caml-list] FLoC 2018 - Last Call for Participation Andrzej Murawski
caml-list - the Caml user's mailing list
Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list
AGPL code for this site: git clone https://public-inbox.org/ public-inbox