From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 C42F98018B for ; Sun, 2 Jul 2017 14:36:26 +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=3AIL91thGT7ID1F42RNWQaWp1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ78pM+wAkXT6L1XgUPTWs2DsrQf2rWQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbQhFgDiwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj?= =?us-ascii?q?8KOSAk/m/UhMJ+jLlWrA69qxBj34LYfJ2ZOOZ4c6jAfd0aX21BXsNJWixOHIy8?= =?us-ascii?q?aIUPD+QaMOlEtInxvV4OrRqkCgmpBePj0CFHiWLr3aYn1+gvEB/J3AsuH9IArX?= =?us-ascii?q?/ascj1NLsOXuCxzanIwzvDYO1T1Tr79YPGfBchofSWUrJxd8rc0VcgGBnejlSQ?= =?us-ascii?q?tYPlPyma1uUXs2SB6OpgT+2vh3YoqwFwuDSg29kjh4/UjYwW0lDJ7Th1zYIrKd?= =?us-ascii?q?GiRkN3fMSoHZhUui2ANoZ7RN4pTXtytyYg0LIGvIa2fCgUx5QjwB7Sc/mHfJSU?= =?us-ascii?q?7RLnSumRJTN4i2hjeL6lmxmy6lKsyuj9Vsau1VZKrzBJncfRuXAQzxDT686HRe?= =?us-ascii?q?Vh/kq5xDqC0x7f5vtKLEwpj6bWKJoszqQxm5YLtETMBC72mEH4jK+McUUk//Cl?= =?us-ascii?q?6+v5bbXhqJ+cOZR5hR3lMqg0n8y/AP43Mg0PX2SB5+uzyaDj8VXjQLpWlv02jr?= =?us-ascii?q?XZsJfCKMsHvKG5BgtV3p8n6xa+FDemzM8VnWIHLVJAYBKIlZLlO1DIIPDiDPew?= =?us-ascii?q?mU6gkDlxx6OOArq0CZzIKj3Hkaz9Vbd78U9VjgQpnv5F4JcBBbwGLvzbUVS3sd?= =?us-ascii?q?3RCx5/PgCpi6bIBdJz2MslRH6EBq6XPq6T4gzA3f4mP+TZPNxdgz36MfVwv/M?= =?us-ascii?q?=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A/CQBc6FhZ/wZZH8BchGyBDoMhiwSUM?= =?us-ascii?q?wGOQYRSghEBK4lMFgEBAQEBAQEBAQEBaiiCMyKCZyEqTTAEHViKGxC0U4d8B4N?= =?us-ascii?q?HMoMniCGDVoIQgneCMQWef4dHjC2CGYVKikeMGokWJggpgQp3iA0kNok6AQEB?= X-IPAS-Result: =?us-ascii?q?A0A/CQBc6FhZ/wZZH8BchGyBDoMhiwSUMwGOQYRSghEBK4l?= =?us-ascii?q?MFgEBAQEBAQEBAQEBaiiCMyKCZyEqTTAEHViKGxC0U4d8B4NHMoMniCGDVoIQg?= =?us-ascii?q?neCMQWef4dHjC2CGYVKikeMGokWJggpgQp3iA0kNok6AQEB?= X-IronPort-AV: E=Sophos;i="5.40,297,1496095200"; d="scan'208";a="281687324" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail2-smtp-roc.national.inria.fr with SMTP; 02 Jul 2017 14:36:26 +0200 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id 54FC3121449; Sun, 2 Jul 2017 08:36:25 -0400 (EDT) To: caml-list@inria.fr Message-Id: <20170702123625.54FC3121449@mcclellan.cs.miami.edu> Date: Sun, 2 Jul 2017 08:36:25 -0400 (EDT) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] Deduktionstreffen 2017 - Call for Abstracts Deduktionstreffen 2017, September 25-26, 2017, TU Dortmund, Germany http://fg-dedsys.gi.de/dt2017 Call for Abstracts: OVERVIEW The annual meeting Deduktionstreffen is the prime activity of the Interest Group for Deduction Systems (FGDedSys) of the German Informatics Society. It is a meeting with a familiar, friendly atmosphere, where everyone (not only the German community) interested in deduction can report on their work in an informal setting. A particular focus of the Deduktionstreffen is on young researchers and students, who are particularly encouraged to present their ongoing research projects to a wider audience. Another goal of the meeting is to stimulate networking effects and to foster collaborative research projects. ORGANIZATION We welcome contributions on all theoretical, experimental and application aspects of deduction. Accepted abstracts are first presented in a five minute teaser talk and then discussed next to a poster (maximal size: A0 portrait). The Deduktionstreffen will also host the annual general meeting of the members of FGDedSys. Deduktionstreffen 2017 is associated with KI 2017. SUBMISSION Submission is open to everybody interested in deduction systems. Please submit a one-page abstract of your contribution on easychair: https://easychair.org/my/conference.cgi?conf=deduktionstreffen20170; welcome=1;a=12759188 Early bird submission: July 15 (Notification: July 25) Standard submission: August 15 (Notification: August 25) Early bird submission is meant to grant planning reliability to interested students and researchers, e.g. if they would like to apply for travel grants. PROGRAM COMMITTEE Serge Autexier Bernhard Beckert Christoph Benzmüller (co-chair) Jasmin Blanchette Jürgen Giesl Matthias Horbach (co-chair) Dieter Hutter Manfred Kerber Christoph Kreitz Jens Otten Florian Rabe Stephan Schulz Viorica Sofronie-Stokkermans Volker Sorge Christoph Weidenbach ORGANIZERS Christoph Benzmüller Matthias Horbach