6-11 Aug 2017
Gothenburg, Sweden
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
--
[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