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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id C460481792; Thu, 4 Jul 2013 14:20:29 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ronchi@di.unito.it) identity=pra; client-ip=130.192.156.1; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ronchi@di.unito.it"; x-sender="ronchi@di.unito.it"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.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=mail3-smtp-sop.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 (mail3-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=mail3-smtp-sop.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: AqQBAKNn1VGCwJwBnGdsb2JhbABagkV2uFGJOxYOAQEBAQEICwkJFCiCRyMBASYSDUEEKUITiA+oIIRBAQWNPQYEjjWEPWmLKIhShHuTL4Fv X-IPAS-Result: AqQBAKNn1VGCwJwBnGdsb2JhbABagkV2uFGJOxYOAQEBAQEICwkJFCiCRyMBASYSDUEEKUITiA+oIIRBAQWNPQYEjjWEPWmLKIhShHuTL4Fv X-IronPort-AV: E=Sophos;i="4.87,994,1363129200"; d="scan'208,217";a="20004047" Received: from pianeta.di.unito.it ([130.192.156.1]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 04 Jul 2013 14:20:29 +0200 X-MailScanner-From: ronchi@di.unito.it X-SpamCheck: not spam, SpamAssassin (not cached, score=-100.774, required 3, autolearn=not spam, AUTHENTICATEDUSER -100.00, AWL 0.03, BAYES_00 -1.90, HTML_MESSAGE 0.00, MISSING_FROM 1.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: r64BueDp014798 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 r64BueDp014798 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NO AuthenticatedUser=ronchi ); Thu, 4 Jul 2013 13:56:40 +0200 (CEST) DKIM-Filter: OpenDKIM Filter v2.8.0 pianeta.di.unito.it r64BueDp014798 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=di.unito.it; s=dipinfo2011; t=1372939022; bh=ecqCIrO6YdpEVJqFjdF4MsaEiJfhLBNu5YHNk/80flI=; h=From:Date:Subject:To; b=Lb2J5byf5tg6RvVj5d/BlESz48zFxHfbdLI6mdJmipl/H5vjxJMD1qDvG1IOeagB8 E1XL5YnRf4AL4M+36ryD/SaTy6kxhJ+LIVF3e4uI/P5shP1c1gTex6jfPbbkFBZjvc VL+oUrLHkLblxqJ8Bji8P1mlv24fpjgn9njPN8wE= From: Ronchi Della Rocca Simona Content-Type: multipart/alternative; boundary=Apple-Mail-9--505191711 Date: Thu, 4 Jul 2013 13:56:39 +0200 To: io Ronchi Della Rocca Message-Id: <6B7DD18F-A278-43F7-AF71-24C5C9115CE9@di.unito.it> 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 call for participation --Apple-Mail-9--505191711 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/ call-for-participat= ion REGISTRATION IS NOW OPEN ___________________________________________________________________________= ____________________ 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 DEADLINES FOR REGISTRATION Standard registration: July, 18th 2013 (extended) Late registration: August 25th 2013 On-site registration: -- 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. Details are in the web site of CSL'13. 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-9--505191711 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/

                &n= bsp;                     =                   call-for-par= ticipation

              &n= bsp;                     =             REGISTRATION IS NOW OPEN
_____________= ___________________________________________________________________________= _______

AIM AND SCOPE
Computer Science Logic (CSL) is the annual co= nference of the European Association for Computer Science Logic (EACSL).
The con= ference is intended for computer scientists whose research activities invol= ve logic, as well as for logicians working on
issues significant for computer sc= ience.

LOCATION
The 22nd EACSL Annual Conference on Computer Scienc= e Logic will be held at Museo di Scienze Naturali in Torino from
Monday 2nd thro= ugh Thursday 5th of September 2013.

LIST OF TOPICS OF INTEREST= (NON EXHAUSTIVE)
automated deduction and interactive theorem proving, construct= ive mathematics and type theory, equational logic and term rewriting,
=
automata a= nd games, game semantics, modal and temporal logic, model checking, decisio= n procedures, logical aspects of computational
complexity, computational proof t= heory, bounded arithmetic and propositional proof complexity, logic program= ming and constraints, lambda
calculus and combinatory logic, domain theory, cate= gorical logic and topological semantics, database theory, specification, ex= traction and
transformation of programs, logical aspects of quantum computing, l= ogical foundations of programming paradigms, verification and program
=
analysis, = linear logic, higher-order logic, non-monotonic reasoning.
Standard registration: July, 18th 2013 (e= xtended)
Late registration: August 25th 2013
On-site registration: --

SATELLITE EVENTS
The 9th  International Workshop on Fixed P= oints in Computer Science (FICS'13) will be held on 1st of September 2= 013 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 will be held from 28th through 31st of August 2013 as= a satellite event of CSL'13.
Details are in the web site of CSL'13.
Zena Ariola (University of Oregon)
Arnon Avron (Tel-Aviv Universi= ty)
R= oberto Bagnara (University of Parma, and BUGSENG srl)
Christel Baier (Technical = University of Dresden)
Marc Bezem (University of Bergen)
Paola Bruscoli (University o= f Bath, Computer Science Department)
Agata Ciabattoni (TU Wien)
Thierry Coquand (Cha= lmers University)
Ugo Dal Lago (Universit=E0 di Bologna)
Valeria De Paiva (Nuance Com= munications)
Reinhard Kahle (CENTRIA and DM, UNL, Portugal)
Stephan Kreutzer (Technic= al University Berlin)
Olivier Laurent (CNRS - ENS Lyon)
Carsten Lutz (Universit=E4t B= remen)
Damian Niwinski (Warsaw Uni= versity)
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 Sc= ott (Dept. of Math & Stats, U. Ottawa)
Peter Selinger (Dalhousie University)=
Mako= to Tatsuta (National Institute of Informatics)
Tachio Terauchi (Nagoya Universit= y)

ORGANIZING COMMITTEE
Erika De Benedetti (Dipartimento di Informa= tica, Torino)
Paola Giannini (Dipartimento di Scienze e Innovazione Tecnologica = (DISIT), Alessandria)
Mauro Piccolo (Dipartimento di Informatica, Torino)
<= div style=3D"margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin= -left: 0px; font: normal normal normal 15px/normal Helvetica; ">Luca Padova= ni (Dipartimento di Informatica, Torino)
Luca Paolini (Dipartimento di Informati= ca, Torino)
Simona Ronchi Della Rocca (Dipartimento di Informatica, Torino)
Luca Rove= rsi (Dipartimento di Informatica, Torino)
Angelo Troina (Dipartimento di Informa= tica, 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-9--505191711--