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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id A05357F2AA; Thu, 20 Dec 2012 13:25:25 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of paolini@di.unito.it) identity=pra; client-ip=130.192.156.1; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="paolini@di.unito.it"; x-sender="paolini@di.unito.it"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of paolini@di.unito.it designates 130.192.156.1 as permitted sender) identity=mailfrom; client-ip=130.192.156.1; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="paolini@di.unito.it"; x-sender="paolini@di.unito.it"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@pianeta.di.unito.it) identity=helo; client-ip=130.192.156.1; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="paolini@di.unito.it"; x-sender="postmaster@pianeta.di.unito.it"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhMBAJoC01CCwJwBmWdsb2JhbAAqGr1sFg4BAQEBAQgLCwcUFw8BghZBAQUIAQEmDAQCOxMDGAMCAQIBUQEGCAEBhXKCHQwspGWEOgEFj0IGkRWSW4RPkiE X-IronPort-AV: E=Sophos;i="4.84,322,1355094000"; d="scan'208";a="166407484" Received: from pianeta.di.unito.it ([130.192.156.1]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 Dec 2012 13:25:24 +0100 X-MailScanner-From: paolini@di.unito.it X-SpamCheck: not spam, SpamAssassin (not cached, score=-101.157, required 3, autolearn=not spam, AUTHENTICATEDUSER -100.00, AWL -0.85, BAYES_00 -1.90, RCVD_IN_DNSWL_LOW -0.70, RDNS_NONE 0.79, SPF_PASS -0.00, SUBJ_ALL_CAPS 1.51) X-AntiVirus: Email Clean X-dipinfo-MailScanner-ID: qBKC5RpO009801 X-dipinfo-MailScanner-Information: Please contact Department of Computer Science technical staff for more information Received: from pianeta.di.unito.it ([130.192.156.1]) by pianeta.di.unito.it (INFO-DIP) with ESMTP id qBKC5RpO009801 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO AuthenticatedUser=paolini ); Thu, 20 Dec 2012 13:05:28 +0100 (CET) X-DKIM: OpenDKIM Filter v2.4.1 pianeta.di.unito.it qBKC5RpO009801 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=di.unito.it; s=dipinfo2011; t=1356005140; bh=CMNvs5ym5cupzBcrA360U+Kk4+tPzt1EVwixADbpl+U=; h=Message-ID:Date:From:MIME-Version:To:Subject:Content-Type: Content-Transfer-Encoding; b=L29A7IPB14yfo26BTqmZ3vszJHBDslxbQjfDPYgY6UXy0F9bLSPv1moUR0EVEJHO9 MnM85Xqh/C1SwtJrTEeSuFlZTSuhT1uRg+hCn0RuajtFIwRFU2pOZ6p6Ms10TX74hi l9UxmAhErD+oXyaEJjuUAJTUk7z07NxF29wu71lc= Message-ID: <50D2FF06.1010002@di.unito.it> Date: Thu, 20 Dec 2012 13:05:26 +0100 From: Luca Paolini User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/17.0 Thunderbird/17.0 MIME-Version: 1.0 To: undisclosed-recipients:; Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: paolini@di.unito.it Subject: [Caml-list] CSL 2013 : PRELIMINARY ANNOUNCEMENT ______________________________________________________________________________________________ CSL 2013 Torino, September 2-5 2013 http://csl13.di.unito.it/ PRELIMINARY ANNOUNCEMENT _______________________________________________________________________________________________ AIM AND SCOPE Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. LOCATION The 22nd EACSL Annual Conferences on Computer Science Logic will be held at Museo di Scienze Naturali in Torino from Monday 2nd through Thursday 5th of September 2013. LIST OF TOPICS OF INTEREST (NON EXHAUSTIVE) automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, game semantics, modal and temporal logic, model checking, decision procedures, logical aspects of computational complexity, computational proof theory, bounded arithmetic and propositional proof complexity, logic programming and constraints, lambda calculus and combinatory logic, domain theory, categorical logic and topological semantics, database theory, specification, extraction and transformation of programs, logical aspects of quantum computing, logical foundations of programming paradigms, verification and program analysis, linear logic, higher-order logic, non-monotonic reasoning. IMPORTANT DATES Abstract submission: April, 1st 2013 Paper Submission: April, 8th 2013 Paper Notification: June, 10th 2013 Paper final version: July, 1st 2013 Conference: September, 2nd --- 5th 2013 SUBMISSION Authors are invited to submit papers of not more than 15 pages in LIPIcs style presenting work not previously published. Papers are to be submitted through Easychair. Submitted papers must be in English and must provide sufficient detail to allow the PC to assess the merits of the paper. Full proofs may appear in a technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the program committee. The submission is in two stages. Abstract submissions are due before April 1st, 2013. Full paper submissions must be done before April 8th, 2013. Papers must not be submitted concurrently to another conference with refereed proceedings. The PC chair should be informed of closely related work submitted to a conference or a journal by March 24th, 2013. Papers authored or co-authored by members of the Programme Committee are not allowed. SATELLITE EVENTS The 14th International Workshop on Logic and Computational Complexity (LCC'13) will be held on 6th of September 2013 as a satellite event of CSL'13. An international summer school on “Linear logic and related topics” will be held from 28th through 31st of August 2013 as a satellite event of CSL'13. Further details will appear on this page as soon as possible. PROGRAM COMMITTEE Zena Ariola (University of Oregon) Arnon Avron (Tel-Aviv University) Roberto Bagnara (University of Parma, and BUGSENG srl) Christel Baier (Technical University of Dresden) Marc Bezem (University of Bergen) Paola Bruscoli (University of Bath, Computer Science Department) Agata Ciabattoni (TU Wien) Thierry Coquand (Chalmers University) Ugo Dal Lago (Università di Bologna) Valeria De Paiva (Nuance Communications) Reinhard Kahle (CENTRIA and DM, UNL, Portugal) Stephan Kreutzer (Technical University Berlin) Olivier Laurent (CNRS - ENS Lyon) Carsten Lutz (Universität Bremen) Jean-Yves Marion (Université de Lorraine, LORIA) Damian Niwinski (Warsaw University) Frank Pfenning (Carnegie Mellon University) Elaine Pimentel (UFMG) Ruzica Piskac (Max Planck Institute for Software Systems (MPI-SWS)) Simona Ronchi Della Rocca CHAIR (Università di Torino) Jan Rutten (CWI) Helmut Schwichtenberg (LMU Munich) Phil Scott (Dept. of Math & Stats, U. Ottawa) Peter Selinger (Dalhousie University) Makoto Tatsuta (National Institute of Informatics) Tachio Terauchi (Nagoya University) ORGANIZING COMMITTEE Erika De Benedetti (Dipartimento di Informatica, Torino) Paola Giannini (Dipartimento di Scienze e Innovazione Tecnologica (DISIT), Alessandria) Mauro Piccolo (Dipartimento di Informatica, Torino) Luca Padovani (Dipartimento di Informatica, Torino) Luca Paolini (Dipartimento di Informatica, Torino) Simona Ronchi Della Rocca (Dipartimento di Informatica, Torino) Luca Roversi (Dipartimento di Informatica, Torino) Angelo Troina (Dipartimento di Informatica, Torino) -- DipInfo Spam Engine -- Visit the following link if you are sure that this message IS SPAM https://mailscanner.di.unito.it/SpamEngine/this_is_spam.php?id=qBKC5RpO009801