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 B03A97F20B; Tue, 12 Feb 2013 15:41:30 +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: AjsBAP1TGlGCwJwBmWdsb2JhbABEgkm1RIkuFg4BAQEBAQgLCwcUJzmCLQEBJgwGDUEEAShCE4gSDKs8gzGBCgEFjn4GBI1Fg1thkm2EV5I9gXE X-IPAS-Result: AjsBAP1TGlGCwJwBmWdsb2JhbABEgkm1RIkuFg4BAQEBAQgLCwcUJzmCLQEBJgwGDUEEAShCE4gSDKs8gzGBCgEFjn4GBI1Fg1thkm2EV5I9gXE X-IronPort-AV: E=Sophos;i="4.84,650,1355094000"; d="scan'208,217";a="2552226" Received: from pianeta.di.unito.it ([130.192.156.1]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 12 Feb 2013 15:41:30 +0100 X-MailScanner-From: ronchi@di.unito.it X-SpamCheck: not spam, SpamAssassin (not cached, score=-101.741, required 3, autolearn=not spam, AUTHENTICATEDUSER -100.00, AWL 0.07, BAYES_00 -1.90, HTML_MESSAGE 0.00, 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: r1CEIDr2008182 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 r1CEIDr2008182 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO AuthenticatedUser=ronchi ); Tue, 12 Feb 2013 15:18:13 +0100 (CET) X-DKIM: OpenDKIM Filter v2.4.1 pianeta.di.unito.it r1CEIDr2008182 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=di.unito.it; s=dipinfo2011; t=1360678706; bh=3bAenDkV2k6rB1/TC9JQM2sFy9f/BiCH3UFWazmnfeM=; h=From:Content-Type:Date:Subject:To:Message-Id:Mime-Version; b=QFOwDhQ9aGoxBC+X7Quq5IhDav881DTKHkN90MEhcCinEUf6Vw6N2qipK5cxtJpH1 qKuf8emuVmSrFB5NqDK80WDE2/Ra/0GSfYS6yS8yf1b3KJQJdvUwb/QjAP9P1Emau9 b8zPiZmT3eHDqAiDG/ponXa11ZpvmHXOP+GFZ27g= From: Ronchi Della Rocca Simona Content-Type: multipart/alternative; boundary=Apple-Mail-14-119403223 Date: Tue, 12 Feb 2013 15:18:12 +0100 To: io Ronchi Della Rocca 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 2013 first call-for-papers --Apple-Mail-14-119403223 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/ first call-for-p= apers ___________________________________________________________________________= ____________________ 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 checking, decision proced= ures, logical aspects of computational complexity, computational proof theo= ry, bounded arithmetic and propositional proof complexity, logic programmin= g and constraints, lambda calculus and combinatory logic, domain theory, ca= tegorical logic and topological semantics, database theory, specification, = extraction and transformation of programs, logical aspects of quantum compu= ting, logical foundations of programming paradigms, verification and progra= m analysis, linear logic, higher-order logic, non-monotonic reasoning. INVITED SPEAKERS Nachum Dershovitz (Tel Aviv) Jean Yves Girard (Marseille) Isabel Oitavem (Lisboa) Lidia Tendera (Opole) PierGiorgio Odifreddi (Torino) welcome talk 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 st= yle presenting work not previously published. Papers are to be submitted through Easychair, at the address: https://www.easychair.org/conferences/?conf=3Dcsl2013.=20 Submitted papers must be in English and must provide sufficient detail to a= llow 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 di= rected 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 sub= mitted 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 - Ackermann Award 2013, for PhD dissertations in topics specified by EACSL = and LICS conferences. - International summer school on =93Linear logic and related topics=94 (Aug= ust 28 - 31). - 14th International Workshop on Logic and Computational Complexity (LCC'13= ) (September 6). - 9th International Workshop on Fixed Points in Computer Science (FICS'13) = (September 1). 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 "Foundations of Computer Science" Dipartimento di Informatica Universit=E0 di Torino c. Svizzera 185, 10149 Torino e-mail: ronchi@di.unito.it phone:+39-011-6706734 fax: +39-011-751603 mobile: +39-320-4205121 --Apple-Mail-14-119403223 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

          =                      = ;                     &nb= sp; http://csl13.di.unito.it/

               &nb= sp;                     &= nbsp;                    = first call-for-papers
_________________________________________________________= ______________________________________

AIM AND SCOPE
Computer Science Logic (CSL) is the annual conference of the Europea= n Association for Computer Science Logic (EACSL).
The confe= rence is intended for computer scientists whose research activities involve= logic, as well as for logicians working on
issues signific= ant for computer science.

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

LIST OF= TOPICS OF INTEREST (NON EXHAUSTIVE)
automated deduction an= d interactive theorem proving, constructive mathematics and type theory, eq= uational logic and term rewriting, automata and games, game semantics, moda= l 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, lam= bda calculus and combinatory logic, domain theory, categorical logic and to= pological semantics, database theory, specification, extraction and transfo= rmation of programs, logical aspects of quantum computing, logical foundati= ons of programming paradigms, verification and program analysis, linear log= ic, higher-order logic, non-monotonic reasoning.

INVITED SPEAK= ERS
N= achum Dershovitz (Tel Aviv)
Jean Yves Girard (Marseille)
Isabel Oitavem (Lisboa)
Lidia Ten= dera (Opole)

PierGiorgio Odifreddi (Torino) welcome talk
=

IMPORTANT DATES
Abstract submission: April, 1st 2013
Paper Submission: April,= 8th 2013
Paper Notification: June, 10th 2013
Paper final version: July, 1st 2013
Conferen= ce: September, 2nd --- 5th 2013

SUBMISSION
Aut= hors 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, at the address:
&nb= sp;https://= www.easychair.org/conferences/?conf=3Dcsl2013. 
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' discret= ion. 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 conferenc= e with refereed proceedings. The PC chair should be informed of closely rel= ated work submitted to a conference or a journal by March 24th, 2013. Paper= s authored or co-authored by members of the Programme Committee are not all= owed.

SATELLITE EVEN= TS
- Ackermann Award 2013, for PhD dissertations in topics = specified by EACSL and LICS conferences.
- International su= mmer school on =93Linear logic and related topics=94 (August 28 - 31).
- 14th International Workshop on Logic and Computational Comple= xity (LCC'13) (September 6).
- 9th International Workshop o= n Fixed Points in Computer Science (FICS'13) (September 1).


PROGRAM COMMITTEE
Zena Ariola (University o= f Oregon)
Arnon Avron (Tel-Aviv University)
Roberto Bagnara (University of Parma, and= BUGSENG srl)
Christel Baier (Technical University of Dresden)
Marc Bezem (Universi= ty 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 (CNR= S - ENS Lyon)
Carsten Lutz (Universit=E4t Bremen)
Jean-Yves Marion (Universit=E9 de L= orraine, LORIA)
Damian Niwinski (Warsaw University)
Frank Pfenning (Carnegie Mellon U= niversity)
Elaine Pimentel (UFMG)
Ruzica Piskac (Max Planck Institute for Software Sy= stems (MPI-SWS))
Simona Ronchi Della Rocca CHAIR (Universit=E0 di Torino)
<= div style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin= -left: 0px; font: normal normal normal 15px/normal Helvetica; ">Jan Rutten = (CWI)
Helmut Schwichtenberg (LMU Munich)
Phil Scott (Dept. of Math & Stats, U. Ot= tawa)
Peter Selinger (Dalhousie University)
Makoto Tatsuta (National Institute of Inf= ormatics)
Tachio Terauchi (Nagoya University)

ORGANIZING COMMITTEE=
Erik= a De Benedetti (Dipartimento di Informatica, Torino)
Paola Giannini (Dipartiment= o di Scienze e Innovazione Tecnologica (DISIT), Alessandria)
Mauro Piccolo (Dipa= rtimento di Informatica, Torino)
Luca Padovani (Dipartimento di Informatica, Tor= ino)
= Luca Paolini (Dipartimento di Informatica, Torino)
Simona Ronchi Della Rocca (Di= partimento di Informatica, Torino)
Luca Roversi (Dipartimento di Informatica, To= rino)
Angelo Troina (Dipartimento di Informatica, Torino)
_____________________
Simona Ronchi Della Rocca
full professor of
"Foundations of Computer Science"=
Dipartimento di = Informatica
= Universit=E0 di Torino
c. Svizzera 185, 10149 Torino

<= /font>
e-mail: ronchi@di.unito.it<= /i>
= phone:+39-011-6706734
fax: = +39-011-751603
mobile: +39-320-4205121



= --Apple-Mail-14-119403223--