coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: geoff AT cs.miami.edu (Geoff Sutcliffe)
- To: coq-club AT inria.fr
- Subject: [Coq-Club] CADE-26 - Call for Participation
- Date: Tue, 30 May 2017 07:32:57 -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:DJzrYRHaxdytgqjH+O5ZTZ1GYnF86YWxBRYc798ds5kLTJ7zpsiwAkXT6L1XgUPTWs2DsrQf2rSQ7v+oGTRZp83Q7zZaKN0EfiRGoPtVtjRjOvLNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9fbytScbdgMutyu+95YDYbRlWizqhe7NyKwi9oRnMusUMj4ZvLqc8xgHJr3ZKZu9awX9kKU+Jkxvy4sq9/oRv/zhMt/4k6sVNTbj0c6MkQLNXCzgrL3o76Mr3uxfdUACB/GEcUmIYkhpJBwjK8hT3VYrvvyX5q+RwxjCUMdX5Qr4oVzui6bxrSALzhyccKzE56mDXhddug69dvRmsugZww4/QYIGSKfp+YqbQds4USGZdQspcUTFKD4WhZIUNEuUBJ/5VoZfgqVUNoxWwBRKhCP/zxjNUmnP6wbE23/gnHArb3AIgBdUOsHHModX6KqgSVu61zKfTwDrfdPNawzL96InSfRAkoPGAR6x/ftfMyUIyEw/Lj0ufqYvrPzOby+8DrnWb7/Z8WuKrim4npQ9xrSaqysoql4LHiIUVylXe+iV4xoY4PcG4SFZnYd68CpdQsDuaN4RuTsw+WW5npTg1xqQYtZO6ZiQKyZInxxDYa/CfdoiH+AjjVP2NITdinn1lfq+wiwyp8Ue+zOD3S8q60E5SoyZYltTAqGoB2hLO5sSdSfZw+l2t1DeJ2gvO8O9LO1o0mrDeK5M5wr4/iJ4TsUPbEy/zhEr5kKuWeVsg+uis8evnZK/qqYOHN4NujwH+M74hmsm+AegiLAcBQnWb9fy91L3l40L5XK1HguAyn6XHqpzXK9kXqrS6DgJRyIou6g6zDzK839QZmXkHIkhFeBWCj4XxNFHBPvf4Dfmxg1m3jDhr3OrKPrjgAprXK3jDka3tcqhg5E5B0AYz18xQ54pICrEdJ/L+QlP+tNvBDhMgLwO0x/vnB85m24MFWWOPB7eZP7nIvV+J4OIvOeiMa5UPtDbzMfh2r8Lp2HQ+gBoWebSj9ZoRcnGxWPp8cGuDZn+5jdoGH2kitRF4Se3jjVzEXDJOLzadUqUy6HkAFZ6tCYbNSI3s0+/J5zuyApADPjMOMVuLC3q9L4g=
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, 05/30/2017
Archive powered by MHonArc 2.6.18.