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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 6A92E8018B for ; Mon, 3 Jul 2017 14:14:56 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of geoff@cs.miami.edu) identity=pra; client-ip=192.31.89.6; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.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=mail2-smtp-roc.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 (mail2-smtp-roc.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=mail2-smtp-roc.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=3AiIMMlRDX5zda+LS7K2HOUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPv9pMbcNUDSrc9gkEXOFd2CrakV1KyO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fdbghMhjexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4aV2Rx/ykC?= =?us-ascii?q?oJKSM3/mLZhMJwl69XvA6tqwBjz4LIfI2ZKPxzdb7dc9MAQmpBW95cVyNfDYO7?= =?us-ascii?q?YYsPAfEMMvpDr4XnolsOrAGxBQytBO/11DBHm2L21rA+3+ogDw7G2wIgH9wTu3?= =?us-ascii?q?rJsdX1KLsdUeS0zKnGwzXMcfZa1DHg44bGdRAhpOuDXbN2ccfJ1UkvDx/Fjk2K?= =?us-ascii?q?pYziJTOV2fwBvHSB4OV9S+2jknArpgBrrjiuwMcshI7JipoQyl/e7yV525o1Jc?= =?us-ascii?q?eiR059fNGoCoBQuD+cOoBrQc0iW3lltDs+x7EYo5K2cjUGxI4kyhPbcfCKco6F?= =?us-ascii?q?6Q/5WumLOzd3nndldaq/hxms9UigzfXxVsyo31lWqipKjN3MtnQX2BzV8MSIVu?= =?us-ascii?q?B98l2k2TaOzQ/T7+BELVoqmqXGNp4t2r8wlpwNvkTfBiL6hUH7gLGMekgq5+Sk?= =?us-ascii?q?8efqb7H8qpKdL4N0jxvxMqUqmsyxG+Q4NQ0OUnCU+eui073j80P5Ta5Wgf0tiK?= =?us-ascii?q?XZtZHaKt4epq64GQNazJss6wunAze8zNsYhWUHLE5CeB+fk4fmIVTOIPThAfe7?= =?us-ascii?q?glSsiytryuvdPrzhB5XNNmLMnK3gfbZ78U5cyRA8wcpR55JOWfk9J6f4U0r18d?= =?us-ascii?q?jZFQMRMgquwu+hBs8u+JkZXDeAD6iXPovZqhmN5+sqIq+BaJJd+BnwLPYrr8Xz?= =?us-ascii?q?kXQ9mFETcOj6jtMsdHmkE6E+cA2ian32j4JZHA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AiBADXM1pZfQZZH8BcHQEFAQsBGAYMh?= =?us-ascii?q?BKBDoMhnzsBlSQBJ4I5hm4UAQEBAQEBAQEBAQESAQELFAhXgjMigmchCx9NMAQ?= =?us-ascii?q?dTYgeA4IFsw6HfgeDeYMnhS2HbmyCCgxhgjEFnn+TdJIqjBqJFjaBK3eFK4JiJ?= =?us-ascii?q?DaJDAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AiBADXM1pZfQZZH8BcHQEFAQsBGAYMhBKBDoMhnzsBlSQ?= =?us-ascii?q?BJ4I5hm4UAQEBAQEBAQEBAQESAQELFAhXgjMigmchCx9NMAQdTYgeA4IFsw6Hf?= =?us-ascii?q?geDeYMnhS2HbmyCCgxhgjEFnn+TdJIqjBqJFjaBK3eFK4JiJDaJDAEBAQ?= X-IronPort-AV: E=Sophos;i="5.40,303,1496095200"; d="scan'208";a="281801814" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail2-smtp-roc.national.inria.fr with SMTP; 03 Jul 2017 14:14:55 +0200 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id 3ECBA121476; Mon, 3 Jul 2017 08:14:55 -0400 (EDT) To: caml-list@inria.fr Message-Id: <20170703121455.3ECBA121476@mcclellan.cs.miami.edu> Date: Mon, 3 Jul 2017 08:14:55 -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