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

[Joao Marcos]

---------- Forwarded message ----------

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!