6-19 Jul 2018
Oxford, England
*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!
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam