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 CE0F77ED25 for ; Mon, 15 Jul 2013 10:56:03 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of horbach@uni-koblenz.de) identity=pra; client-ip=141.26.64.15; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="horbach@uni-koblenz.de"; x-sender="horbach@uni-koblenz.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of horbach@uni-koblenz.de) identity=mailfrom; client-ip=141.26.64.15; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="horbach@uni-koblenz.de"; x-sender="horbach@uni-koblenz.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@deliver.uni-koblenz.de) identity=helo; client-ip=141.26.64.15; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="horbach@uni-koblenz.de"; x-sender="postmaster@deliver.uni-koblenz.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar4BAAi441GNGkAPlGdsb2JhbABaFoMkwyoWDgEBAQEJCwkJFAUjgiUiFQEFQD0WGAMCAQIBSw0GAgEBiBAIlSSfcZNjA5kFhHqOPg X-IPAS-Result: Ar4BAAi441GNGkAPlGdsb2JhbABaFoMkwyoWDgEBAQEJCwkJFAUjgiUiFQEFQD0WGAMCAQIBSw0GAgEBiBAIlSSfcZNjA5kFhHqOPg X-IronPort-AV: E=Sophos;i="4.89,667,1367964000"; d="scan'208";a="26018387" Received: from deliver.uni-koblenz.de ([141.26.64.15]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Jul 2013 10:56:02 +0200 Received: from localhost (localhost [127.0.0.1]) by deliver.uni-koblenz.de (Postfix) with ESMTP id 295BD1A83E7; Mon, 15 Jul 2013 10:56:02 +0200 (CEST) X-Virus-Scanned: amavisd-new at uni-koblenz.de Received: from deliver.uni-koblenz.de ([127.0.0.1]) by localhost (deliver.uni-koblenz.de [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 0YAKlaP0Lg7c; Mon, 15 Jul 2013 10:56:01 +0200 (CEST) Received: from [141.26.71.41] (dhcp41.uni-koblenz.de [141.26.71.41]) (using TLSv1 with cipher DHE-RSA-CAMELLIA256-SHA (256/256 bits)) (No client certificate requested) by deliver.uni-koblenz.de (Postfix) with ESMTPSA id AD8771A83E2; Mon, 15 Jul 2013 10:56:01 +0200 (CEST) Message-ID: <51E3B92E.9090809@uni-koblenz.de> Date: Mon, 15 Jul 2013 10:56:14 +0200 From: Matthias Horbach User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:17.0) Gecko/20130620 Thunderbird/17.0.7 MIME-Version: 1.0 To: Matthias Horbach Content-Type: text/plain; charset=ISO-8859-15; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: horbach@mpi-inf.mpg.de Subject: [Caml-list] Call for Participation: Deduktionstreffen ========================================================================= CALL FOR PARTICIPATION DEDUKTIONSTREFFEN 2013 16./17. September 2013, University Koblenz-Landau, Campus Koblenz http://userp.uni-koblenz.de/~agvss/deduktionstreffen13 ========================================================================= Anmeldung: Die Registrierung für das Deduktionstreffen erfolgt online über das Konferenz-Management-Tool der Konferenz INFORMATIK2013 (https://www.conftool.pro/informatik2013/). Die Registrierung ist bis zum 6. September geöffnet. Die vergünstigte Frühregistrierung für Treffen und Konferenz ist bis zum 15. Juli möglich. Weitere Details zur Anmeldung und Organisation finden Sie auf der Homepage des Deduktionstreffens. Zur Konferenz: Das jährlich stattfindende Deduktionstreffen ist die wichtigste Veranstaltung der GI-Fachgruppe Deduktionssysteme (DedSys). Es ist ein familiäres Treffen mit langer Tradition, auf dem alle, die an der Deduktion interessiert sind, in informellem Rahmen über ihre Arbeit berichten können. Das Deduktionstreffen findet dieses Jahr im Rahmen der Konferenz INFORMATIK2013 statt. Wie in den letzten Jahren werden die einzelnen Sessions eine Mischung aus Kurzvorträgen (maximal 10 Minuten als "Teaser") und anschließender Postersession sein. Die Kosten sind insbesondere für Studenten vergleichsweise gering (http://informatik2013.de/attendance_de.html). Im Rahmen des Deduktionstreffens findet auch die Jahresmitglieder- versammlung der Fachgruppe 1.2.1 Deduktionssysteme statt. Komitee: * Serge Autexier * Franz Baader * Peter Baumgartner * Bernhard Beckert * Chris Benzmüller * Ulrich Furbach * Jürgen Giesl * Reiner Hähnle * Renate Schmidt * Gert Smolka * Viorica Sofronie-Stokkermans * Christoph Weidenbach Lokale Organisation: * Markus Bender * Matthias Horbach * Viorica Sofronie-Stokkermans Kontakt: horbach@uni-koblenz.de sofronie@uni-koblenz.de