[FOM] Fwd: [LICS] The 2018 Federated Logic Conference (FLoC 2018) - First Announcement

Tue Apr 4 11:45:38 EDT 2017

---------- Forwarded message ----------
From: Andrzej Murawski <A.Murawski at warwick.ac.uk>
Date: Tue, Apr 4, 2017 at 6:27 AM
Subject: [LICS] The 2018 Federated Logic Conference (FLoC 2018) - First
Announcement
To: las-lics at lists.tu-berlin.de

*FLoC 2018 — The 2018 Federated Logic Conference*

6-19 July 2018

Oxford, England UK

http://www.floc2018.org/

In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted
the first Federated Logic Conference (FLoC). It was modelled after the
successful Federated Computer Research Conference (FCRC), and
synergetically brought together conferences that apply logic to computer
science.

We are pleased to announce the seventh Federated Logic Conference (FLoC'18)
to 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 related to
mathematical logic and computer science:

   - International Conference on Computer Aided Verification
   <http://i-cav.org/> (CAV)
   - IEEE Computer Security Foundations Symposium
   <http://www.ieee-security.org/CSFWweb/> (CSF)
   - International Symposium on Formal Methods <http://fm2016.cs.ucy.ac.cy/>
   (FM)
   - International Conference on Formal Structures for Computation and
   Deduction <http://fscdconference.org/> (FSCD)
   - International Conference on Logic Programming
   <http://www.logicprogramming.org/ALP/conferences/> (ICLP)
   - International Joint Conference on Automated Reasoning
   <http://www.ijcar.org/> (IJCAR)
   - International Conference on Interactive Theorem Proving
   <https://en.wikipedia.org/wiki/Interactive_Theorem_Proving_%28conference%29>
   (ITP)
   - Annual ACM/IEEE Symposium on Logic in Computer Science
   <http://lics.rwth-aachen.de/> (LICS)
   - International Conference on Theory and Applications of Satisfiability
   Testing <http://www.satisfiability.org/> (SAT)

Plus FLoC workshops (7-8 July, 13 July, and 18-19 July) and the School on
Foundations of Programming and Software Systems (FoPSS, 30 June – 6 July).

We have already begun confirming exciting lineup of speakers
<http://www.floc2018.org/speakers/>, including keynotes by Shafi Goldwasser
<https://www.csail.mit.edu/user/733> and Georges Gonthier
<https://en.wikipedia.org/wiki/Georges_Gonthier>; plenary lectures by Peter
O’Hearn <http://www0.cs.ucl.ac.uk/staff/p.ohearn/> and Byron Cook
<http://www0.cs.ucl.ac.uk/staff/b.cook/>; and a public lecture by Stuart
Russell <https://people.eecs.berkeley.edu/%7Erussell/> at the Sheldonian
Theatre.  We will also hold an Oxford Union-style debate on ethics for
autonomous robots.  There will be banquets, receptions and other social
events in historic venues across the city: see
www.floc2018.org/social-events/ for the latest updates.

The call for workshop proposals will be issued shortly, and calls for
papers will be issued in early 2018.  We will keep www.floc2018.org
up-to-date so please do check back for further information on talks,
workshops, conferences and social events.

FLoC'18 Steering Committee

General Chair: Moshe Y. Vardi

Conference Co-chairs: Daniel Kroening, Marta Kwiatkowska

CAV Representative: Orna Grumberg

CSF Representative: Stephen Chong

FM Representative: Ana Cavalcanti

FSCD Representative: Luke Ong

ICLP Representative: Torsten Schaub

IJCAR Representative: Franz Baader

ITP Representative: Larry Paulson

LICS Representative: Martin Grohe

SAT Representative: Armin Biere

SIGLOG Representative: Prakash Panangaden

Programme Committee

                General Chair: Moshe Y. Vardi

                Co-chairs: Daniel Kroening, Marta Kwiatkowska

                CAV: Hana Chockler

                CSF: Stephen Chong

                FM: Bill Roscoe

                FSCD: Hélène Kirchner

                ICLP: Paul Tarau

                IJCAR: Roberto Sebastiani

                ITP: Assia Mahboubi

                LICS: Martin Hofmann

                SAT: Olaf Byersdorff

                + Local organising committee

Organising Committee

                Co-chairs: Daniel Kroening, Marta Kwiatkowska

                Website: Michael Tautschnig

                PR: Andrzej Murawski

                Fundraising: Hana Chockler

                Workshops Chair: Gethin Norman

                Workshops Deputy Chair: Christoph Haase

                Proceedings: Radu Calinescu

                Program: Dave Parker

                Mentoring and Diversity: Alexandra Silva

                Venue Oversight: Stefan Kiefer

                Volunteer Coordinator: Julian Gutierrez

                Oxford Union Debate: May Chan

                CAV: Georg Weissenbacher

                CSF: Cas Cremers

                FM: Erik de Vink

                FSCD: Paula Severi

   ICLP: Marco Gavanelli

                IJCAR: Ian Horrocks

                ITP: Jeremy Avigad

                LICS: Sam Staton

                SAT: Christoph Wintersteiger

Workshops Committee

   General Chair: Moshe Y. Vardi

                Co-chairs: Daniel Kroening, Marta Kwiatkowska

                Workshops Chair: Gethin Norman

                Workshops Deputy Chair: Christoph Haase

                CAV: Hana Chockler

                CSF: Cas Cremers

                FM: Helen Treharne

                FSCD: Paula Severi

                ICLP: Stefan Woltran

                IJCAR: Alberto Griggio

                ITP: Assia Mahboubi

                LICS: Patricia Bouyer

                SAT: Martina Seidl

FLoC 2018 registration will open in early 2018: we look forward to seeing
you!

You are subscribed to the lics mailing list because you have signed up for
it in the past.

Submissions to the newsletter:
Send an email to las-lics at lists.tu-berlin.de.

Unsubscribe:
To unsubscribe, please send an email to las-lics-request at lists.tu-berlin.de
with
the keyword 'unsubscribe' in the message body (without ').

Subscribe:
To subscribe,  please send an email to las-lics-request at lists.tu-berlin.de
with
the keyword 'subscribe' in the message body (without ').
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20170404/816bdb40/attachment.html>