[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
______________________________________________________________________________________________
CSL 2013
COMPUTER SCIENCE LOGIC 2013
Torino, September 2-5 2013
http://csl13.di.unito.it/
call-for-participation
REGISTRATION IS NOW OPEN
_______________________________________________________________________________________________
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.
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'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'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.
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à 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
