---------- Forwarded message ----------
From: Ronchi Della Rocca Simona <ron...@di.unito.it>
Date: Tue, Feb 12, 2013 at 6:18 AM
Subject: [PT] CSL 2013 first call-for-papers
To: io Ronchi Della Rocca <ron...@di.unito.it>
______________________________________________________________________________________________
CSL 2013
COMPUTER SCIENCE LOGIC 2013
Torino, September 2-5 2013
http://csl13.di.unito.it/
first
call-for-papers
_______________________________________________________________________________________________
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 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
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.
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
style presenting work not previously published.
Papers are to be submitted through Easychair, at the address:
https://www.easychair.org/conferences/?conf=csl2013.
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
- Ackermann Award 2013, for PhD dissertations in topics specified by EACSL
and LICS conferences.
- International summer school on “Linear logic and related topics” (August
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à 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)
*_____________________*
*Simona Ronchi Della Rocca*
*full professor of*
*"Foundations of Computer Science"*
*Dipartimento di Informatica*
*Università di Torino*
*c. Svizzera 185, 10149 Torino*
*
*
*e-mail: ron...@di.unito.it*
*phone:+39-011-6706734*
*fax: +39-011-751603*
*mobile: +39-320-4205121*
--
Valeria de Paiva
http://www.cs.bham.ac.uk/~vdp/
http://valeriadepaiva.org/
_______________________________________________
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
