Logic List Mailing Archive

CADE-26: Automated Deduction

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