[Caml-list] CADE-26 - Call for Participation

CADE-26 CALL FOR PARTICIPATION
==============================

The 26th International Conference on Automated Deduction
Gothenburg, Sweden
6-11 August 2017

www.cade-26.info

*** KEYNOTE SPEAKERS ***

June Andronick - Data61
Philippa Gardner - Imperial College London
Grant Passmore - Aesthetic Integration

*** RESEARCH PROGRAM ***

see www.cade-26.info

*** SOCIAL EVENT ***

Boat trip to the picturesque island of Marstrand (www.marstrand.se/en/)
Dinner in the dramatic Marstrand castle

*** WORKSHOPS ***

ARCADE: Automated Reasoning:
Challenges, Applications, Directions, Exemplary Achievements
HCVS: Horn Clauses for Verification and Synthesis
PCR'17: Parallel Constraint Reasoning
ThEdu'17: Theorem Prover Components for Educational Software
Vampire 2017: The 4th Vampire Workshop

*** TUTORIAL ***

Certified Functional (Co)programming with Isabelle/HOL

*** SYSTEM COMPETITION ***

CASC (CADE System Competition)
www.tptp.org/CASC/26/

*** REGISTRATION ***

Early registration until 6 July 2017
Late registration until 2 August 2017
see www.cade-26.info

*** VENUE ***

Lindholmen Conference Centre, Gothenburg
and
Chalmers University of Technology, Lindholmen Campus, Gothenburg

*** CADE-26 ORGANIZERS ***

Conference Chairs:
Wolfgang Ahrendt Chalmers University of Technology
Moa Johansson Chalmers University of Technology

Program Committee Chair:
Leonardo de Moura Microsoft Research

Publicity Chair:
Magnus Myreen Chalmers University of Technology

Workshop and Tutorial Chair:
Philipp Ruemmer Uppsala University

--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs