From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 5EC7D80143 for ; Tue, 30 May 2017 13:32:36 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=geoff@cs.miami.edu; spf=Pass smtp.mailfrom=geoff@cs.miami.edu; spf=None smtp.helo=postmaster@mcclellan.cs.miami.edu Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of geoff@cs.miami.edu) identity=pra; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of geoff@cs.miami.edu designates 192.31.89.6 as permitted sender) identity=mailfrom; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mcclellan.cs.miami.edu) identity=helo; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="postmaster@mcclellan.cs.miami.edu"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ALHAC/xMYh8YGaHRv3+sl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Iv38rarrMEGX3/hxlliBBdydsKMazbeJ++C4ACpbsMnH6ChDOLV3FDY7yu?= =?us-ascii?q?wu3DYcSPafDkP6KPO4JwcbJ+9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEt?= =?us-ascii?q?fre9FYHdldm42P6v8JPPfQpImCC9YbRvJxmqsAndrMcbjI9jJ6oryhbEoGZDd+?= =?us-ascii?q?BKyW91P16ekRLx68Wq8JJ/7yhcvu8q+tJdX6n9Y6k3QrtUASg8PWwy+MPlqwTI?= =?us-ascii?q?QxGV5nsbXGUWkx5IDBbA4RrnQJr/sTb0u/Rk1iWCMsL4Ub47WTK576d2UxDokz?= =?us-ascii?q?sINyQ48G7MlMN9ir9QrQ+7qBx+x47UZ5yVNOZ7c6jAc94WWXZNU8BMXCFHH4iy?= =?us-ascii?q?bZYAD/AZMOhGsofzpFUAoxulCAWwGO/j1iNEimPq0aEm1ekqDAHI3BYnH9ILqH?= =?us-ascii?q?nUo8v6NKAcUeC716TH0S7DY+lT2Tf88ofIdxEhreuSUr1tbMra1E0jGQLbgVWX?= =?us-ascii?q?p4zlMS6e2PkQs2iH8+VgUeOvi2Apqw5vpzSiwNonhIfOhoIQ0F/E9CN5zZ4pJd?= =?us-ascii?q?2gVE57ecSoEJxKtyGVL4d5XtktTHx2tyoj1LELuIS3fCkMyJQpwB7Tc/mHfJKS?= =?us-ascii?q?4hL4SOaROy13hHR4d76lnBa9706twfD/WMmsyFtGsy5InsfWun0DyhDf8MuKR/?= =?us-ascii?q?9n8kqg3zuEyhrd5fteIU8ukKrWM54hzaA0lpoUqUnDGzP5l1nyjKCIckUk/vKn?= =?us-ascii?q?6+L9brr6vZ+QLYp0igDkPaQrm8yzG/o3PRUTX2SD+OS80qPs/VHhTblXivA6jL?= =?us-ascii?q?PVvZ7HKcgBpaO0BxVZ34c75xa6FTim0dAYnXcdLFJCfRKKl4fpNE/JIPD2A/ey?= =?us-ascii?q?mEijkCxxy/DDP73uGJDNLnnZnLj/YLl99lZQyBAvwtBH+5JUFrYBLervVUDrsd?= =?us-ascii?q?zYCgY1Mwi1w+b8FNVwzZgeWGKKAq+BKqzeq16I5uQ1I+mNfoAZojj9K+J2r8Lp?= =?us-ascii?q?2HQwnFtYeaiywbMWbmq5F7JoORa3e33p19gMFmkElgElCunrgViDFzNfej7ycK?= =?us-ascii?q?876D9zM5+6BoPCSI6gwe/SlBynF4FbMzgVQmuHFm3lIt2J?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ArAwAkVy1Z/wZZH8BcHAEFAQsBhDiBD?= =?us-ascii?q?YMkhHOFc5ROAZMRgg8BJ4JGhkQYAQEBAQEBAQEBAQFqKIIzIoJnIQsfTTAEHU2?= =?us-ascii?q?IGQOCBZxjkjGHegeDd4hBh2hsggkMgxEFniOTG5IEi1mIdR84gQp2hQwMAYJeJ?= =?us-ascii?q?DaJUwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0ArAwAkVy1Z/wZZH8BcHAEFAQsBhDiBDYMkhHOFc5ROAZM?= =?us-ascii?q?Rgg8BJ4JGhkQYAQEBAQEBAQEBAQFqKIIzIoJnIQsfTTAEHU2IGQOCBZxjkjGHe?= =?us-ascii?q?geDd4hBh2hsggkMgxEFniOTG5IEi1mIdR84gQp2hQwMAYJeJDaJUwEBAQ?= X-IronPort-AV: E=Sophos;i="5.38,418,1491256800"; d="scan'208";a="226744334" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail3-smtp-sop.national.inria.fr with SMTP; 30 May 2017 13:32:35 +0200 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id 95097121512; Tue, 30 May 2017 07:32:34 -0400 (EDT) To: caml-list@inria.fr Message-Id: <20170530113234.95097121512@mcclellan.cs.miami.edu> Date: Tue, 30 May 2017 07:32:34 -0400 (EDT) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] CADE-26 - Call for Participation 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