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 DDE117EE80; Thu, 14 Mar 2013 10:18:16 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ronchi@di.unito.it) identity=pra; client-ip=130.192.156.1; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ronchi@di.unito.it"; x-sender="ronchi@di.unito.it"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of ronchi@di.unito.it designates 130.192.156.1 as permitted sender) identity=mailfrom; client-ip=130.192.156.1; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ronchi@di.unito.it"; x-sender="ronchi@di.unito.it"; 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@pianeta.di.unito.it) identity=helo; client-ip=130.192.156.1; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ronchi@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: Av4AAByVQVGCwJwBmWdsb2JhbABDFoQMuDSKDhYOAQEBAQEICwsHFCiCcAEBJgwGDUEEAShCE4gUrjGEOwEFjn4GBI1bhBdhinCIJoRkikyIIoFy X-IPAS-Result: Av4AAByVQVGCwJwBmWdsb2JhbABDFoQMuDSKDhYOAQEBAQEICwsHFCiCcAEBJgwGDUEEAShCE4gUrjGEOwEFjn4GBI1bhBdhinCIJoRkikyIIoFy X-IronPort-AV: E=Sophos;i="4.84,843,1355094000"; d="scan'208,217";a="7567523" Received: from pianeta.di.unito.it ([130.192.156.1]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 14 Mar 2013 10:18:16 +0100 X-MailScanner-From: ronchi@di.unito.it X-SpamCheck: not spam, SpamAssassin (not cached, score=-101.125, required 3, autolearn=not spam, AUTHENTICATEDUSER -100.00, AWL -0.48, BAYES_00 -1.90, HTML_MESSAGE 0.00, HTML_TAG_BALANCE_BODY 1.16, RCVD_IN_DNSWL_LOW -0.70, RDNS_NONE 0.79, SPF_PASS -0.00, TO_EQ_FM_DIRECT_MX 0.00) X-AntiVirus: Email Clean X-dipinfo-MailScanner-ID: r2E97LrW023130 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 r2E97LrW023130 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO AuthenticatedUser=ronchi ); Thu, 14 Mar 2013 10:07:21 +0100 (CET) X-DKIM: OpenDKIM Filter v2.4.1 pianeta.di.unito.it r2E97LrW023130 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=di.unito.it; s=dipinfo2011; t=1363252061; bh=TiXuXX2uQ267JlJvXV4rvFgsUfd4ti/ySe80yiiGyvc=; h=From:Content-Type:Date:Subject:To:Message-Id:Mime-Version; b=RAVk78G7yGGLqcYMS/ufjJL3Ie3cDxHpRK5d62GkpOhz50k3KwmHF7WYhnwcqOZ0j 87Sz8LAGVlrHwskcxKxthkqdndh3CRSjl3Eq5/U/MUyNCQ6r2VsyH98k4w5qEh8mVs htph+OGff6RzgmdQZ6Suu2caqBp/6WdkbIDHTj0o= From: Simona Ronchi della Rocca Content-Type: multipart/alternative; boundary=Apple-Mail-182-545267703 Date: Thu, 14 Mar 2013 10:07:20 +0100 To: Simona Ronchi Message-Id: Mime-Version: 1.0 (Apple Message framework v1085) X-Mailer: Apple Mail (2.1085) X-Validation-by: ronchi@di.unito.it Subject: [Caml-list] CSL'13, last cfp, DATES POSTPONED!! --Apple-Mail-182-545267703 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=windows-1252 ___________________________________________________________________________= ___________________=20 CSL 2013 COMPUTER SCIENCE LOGIC 2013 Torino, September 2-5 2013 http://csl13.di.unito= .it/ last call-for-paper DATES CHANGED!!!!!!!!!!! ___________________________________________________________________________= ____________________ AIM AND SCOPE Computer Science Logic (CSL) is the annual conference of the European Assoc= iation for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activitie= s involve logic, as well as for logicians working on issues significant for computer science. LOCATION The 22nd EACSL Annual Conference 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 mathemati= cs and type theory, equational logic and term rewriting, automata and games, game semantics, modal and temporal logic, model checkin= g, decision procedures, logical aspects of computational complexity, computational proof theory, bounded arithmetic and propositiona= l proof complexity, logic programming and constraints, lambda calculus and combinatory logic, domain theory, categorical logic and topolo= gical semantics, database theory, specification, extraction and transformation of programs, logical aspects of quantum computing, logical f= oundations of programming paradigms, verification and program analysis, linear logic, higher-order logic, non-monotonic reasoning. IMPORTANT DATES Abstract submission: April, 8th 2013 Paper Submission: April, 15th 2013 Paper Notification: June, 17th 2013 Paper final version: July, 8th 2013 Conference: September, 2nd --- 5th 2013 SUBMISSION Authors are invited to submit papers of not more than 15 pages in LIPIcs st= yle presenting work not previously published. Papers are to be submitted through Easychair. Submitted papers must be in E= nglish and must provide sufficient detail to allow the PC to assess the merits of the paper. Full proofs may appear in a technical appendix whi= ch 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 refere= ed proceedings. The PC chair should be informed of closely related work submitted to a conference or a journal by March 24th, 2013. Papers aut= hored or co-authored by members of the Programme Committee are not allowed. SATELLITE EVENTS The 9th International Workshop on Fixed Points in Computer Science (FICS'1= 3) will be held on 1st of September 2013 as a satellite event of CSL'13. 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 =93Linear logic and related topics=94 wil= l 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=E0 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=E4t Bremen) Jean-Yves Marion (Universit=E9 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=E0 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) ---------------------------------------- Simona Ronchi Della Rocca full Professor of=20=20 "Foundations of Computer Science" Dipartimento di Informatica Universita' di Torino c.Svizzera 185, 10149 Torino (Italy) e-mail : ronchi@di.unito.it phone: +39-011-6706734 fax : +39-011-751603 mobile: +39-320-4205121 http://www.di.unito.it/~ronchi --Apple-Mail-182-545267703 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=windows-1252
____________________________________= __________________________________________________________ 
  &nb= sp;             = ;                     &nb= sp;                     &= nbsp;     CSL 2013
             &nb= sp;                     &= nbsp;         COMPUTER SCIENCE LOGIC 2013
    &nbs= p;                     &n= bsp;                     =   Torino, September 2-5 2013

          &= nbsp;                    =                     &nbs= p; http://csl13.di.unito.it/

                &nb= sp;                     &= nbsp;                 last call-for= -paper

               =                     &nbs= p;           DATES CHANGED!!!!!!!!!!!
_________________= ___________________________________________________________________________= ___

AIM AND SCOPE
Computer Science Logic (CSL) is the annual confer= ence of the European Association for Computer Science Logic (EACSL).
<= div style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin= -left: 0px; font: normal normal normal 15px/normal Helvetica; ">The confere= nce is intended for computer scientists whose research activities involve l= ogic, as well as for logicians working on
issues significant for computer scienc= e.

LOCATION
The 22nd EACSL Annual Conference on Computer Science Lo= gic will be held at Museo di Scienze Naturali in Torino from
Monday 2nd through = Thursday 5th of September 2013.

LIST OF TOPICS OF INTEREST (NO= N EXHAUSTIVE)
automated deduction and interactive theorem proving, constructive = mathematics and type theory, equational logic and term rewriting,
automata and g= ames, game semantics, modal and temporal logic, model checking, decision pr= ocedures, logical aspects of computational
complexity, computational proof theor= y, bounded arithmetic and propositional proof complexity, logic programming= and constraints, lambda
calculus and combinatory logic, domain theory, categori= cal logic and topological semantics, database theory, specification, extrac= tion and
transformation of programs, logical aspects of quantum computing, logic= al foundations of programming paradigms, verification and program
analysis, line= ar logic,
higher-order logic, non-monotonic reasoning.

IMPORTANT DA= TES
A= bstract submission: April, 8th 2013
Paper Submission: April, 15th 2013
Paper Notifica= tion: June, 17th 2013
Paper final version: July, 8th 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 publishe= d.
Pa= pers are to be submitted through Easychair. Submitted papers must be in Eng= lish 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 rea= d at the reviewers' discretion. Authors are strongly
encouraged to include a wel= l 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 proceedin= gs. The PC chair should be informed of closely related
work submitted to a confe= rence or a journal by March 24th, 2013. Papers authored or co-authored by m= embers of the Programme Committee are not allowed.

<= div style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin= -left: 0px; font: normal normal normal 15px/normal Helvetica; ">SATELLITE E= VENTS
The 9th  International Workshop on Fixed Points in Computer Science (= FICS'13) will be held on 1st of September 2013 as a satellite event of= CSL'13.
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'1= 3.
An= international summer school on =93Linear logic and related topics=94 will = be held from 28th through 31st of August 2013 as a satellite event of CSL'1= 3.
Fu= rther details will appear on this page as soon as possible.
PR= OGRAM COMMITTEE
Zena Ariola (University of Oregon)
Arnon Avron (Tel-Aviv University)<= /div>
Rober= to Bagnara (University of Parma, and BUGSENG srl)
Christel Baier (Technical Univ= ersity of Dresden)
Marc Bezem (University of Bergen)
Paola Bruscoli (University of Ba= th, Computer Science Department)
Agata Ciabattoni (TU Wien)
Thierry Coquand (Chalmers= University)
Ugo Dal Lago (Universit=E0 di Bologna)
Valeria De Paiva (Nuance Communic= ations)
Stephan Kreutzer (Technical Un= iversity Berlin)
Olivier Laurent (CNRS - ENS Lyon)
Carsten Lutz (Universit=E4t Bremen= )
Jea= n-Yves Marion (Universit=E9 de Lorraine, LORIA)
Damian Niwinski (Warsaw Universi= ty)
F= rank Pfenning (Carnegie Mellon University)
Elaine Pimentel (UFMG)
Ruzica Piskac (Max = Planck Institute for Software Systems (MPI-SWS))
Simona Ronchi Della Rocca CHAIR= (Universit=E0 di Torino)
Jan Rutten (CWI)
Helmut Schwichtenberg (LMU Munich)
Phil Scott (= Dept. of Math & Stats, U. Ottawa)
Peter Selinger (Dalhousie University)
Makoto Ta= tsuta (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 (DISI= T), Alessandria)
Mauro Piccolo (Dipartimento di Informatica, Torino)
Luca Padovani (D= ipartimento di Informatica, Torino)
Luca Paolini (Dipartimento di Informatica, T= orino)
Luca Roversi (= Dipartimento di Informatica, Torino)
Angelo Troina (Dipartimento di Informatica,= Torino)



-------------------------------= ---------
Si= mona Ronchi Della Rocca
"Foundations of Computer Science"
Dipartimento di Informatica
Universita' di Torino
c.Svizzera 185, 10149 Torino (Italy)<= /i>

e= -mail :  ronchi@di.unito.it
phone: +3= 9-011-6706734
fax = : +39-011-751603
mo= bile: +39-320-4205121




= --Apple-Mail-182-545267703--