coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CADE-26 - Call for Participation

From: geoff AT cs.miami.edu (Geoff Sutcliffe)
To: coq-club AT inria.fr
Subject: [Coq-Club] CADE-26 - Call for Participation
Date: Mon, 3 Jul 2017 08:15:17 -0400 (EDT)
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=geoff AT cs.miami.edu; spf=Pass smtp.mailfrom=geoff AT cs.miami.edu; spf=None smtp.helo=postmaster AT mcclellan.cs.miami.edu
Ironport-phdr: 9a23:tJMGwBRVVuJ4cYNlYQw48v1ah9psv+yvbD5Q0YIujvd0So/mwa69YhSN2/xhgRfzUJnB7Loc0qyN4v+mATRIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSijewZbF/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlSgHLSY0/n/KhMJzgqxVoAmsqwBjz4LIfI2ZKOZycr/bcNgHRWRBRMFRVylZD4OzcYQPCOQBPehDoobhvFsCtx6+BQi2C+Pqyz9EnGH50rAn0+88FQ3I3RIvH9UAsHTasd77KboSUfypw6nMzDXDYf1W1in45IXObxsvr/aMXbdqfsrQz0kiDx/Fjk2MqYz9JT+V0f4Ns2eD4+V8T+2glnAopxhvrjWu3Mssi4/JhowSylzc8CV22pw1JcakSE5he9GkFoZfuzuBN4RoRM4pXmJmuD4ix7EbvZO3YjIGxZo6yxLFaPGKd5KE7xPlWe2MOzl3nmhld6i6hxuq8Uiv1On8Vs6s3VZPsiVKjt3MuW4J1xzX8MeHTOFx8Vu62TqV0gDT6/tLIUU1labBNZEu36MwmoISsUTFACD2hF37gLKSe0k64OSl5fnrbq/lq5KYLYN5ixnyMqE0lcy+BeQ4PBIOX2+e+emk273s40r5QLtEjvAtjqbZq4rWJcEapqGjBg9V05wv5AiiADe7yNgYh2UILEpZeBKbiIjkI03BIPfhDfumn1uslCpryOvdM736ApTNK2DDn637cbZ87U5c0gszwspF65JaELFSaM70D0T2rZnTCgIzGw2y2efuTttnha0EXmfaDaKePq36ukTO4+MmJujKaYMI8HbSJv8r6bbVkGMynV4Tc6TojshfU2yxAvkzexbRWnHrmNpUSWo=

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

[Coq-Club] CADE-26 - Call for Participation, Geoff Sutcliffe, 07/03/2017