[DL] CADE-26 - Call for Participation

[Geoff Sutcliffe]

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