[TYPES/announce] The 2018 Federated Logic Conference (FLoC 2018) - First Announcement

Andrzej Murawski A.Murawski at warwick.ac.uk
Tue Apr 4 16:44:21 EDT 2017


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 (CAV)
IEEE Computer Security Foundations Symposium (CSF)
International Symposium on Formal Methods (FM)
International Conference on Formal Structures for Computation and
Deduction (FSCD)
International Conference on Logic Programming (ICLP)
International Joint Conference on Automated Reasoning (IJCAR)
International Conference on Interactive Theorem Proving (ITP)
Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
International Conference on Theory and Applications of Satisfiability
Testing (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,
including keynotes by Shafi Goldwasser and Georges Gonthier; plenary
lectures by Peter O’Hearn and Byron Cook; and a public lecture by
Stuart Russell 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!


More information about the Types-announce mailing list