CSL 2013

From Openresearch
Revision as of 11:50, 24 August 2021 by Tolga.karaarslan (talk | contribs)
Jump to navigation Jump to search
CSL 2013
27th International Workshop on Computer Science Logic
Ordinal 27
Event in series CSL
Dates 2013/09/02 (iCal) - 2013/09/05
Presence presence
Homepage: http://csl13.di.unito.it/
Location
Location: Torino, Italy
Loading map...

Important dates
Abstracts: 2013/04/08
Papers: 2013/04/15
Notification: 2013/06/17
Papers: Submitted 108 / Accepted 37 (34.3 %)
Committees
PC chairs: Simona Ronchi Della Rocca
Keynote speaker: Piergiorgio Odifreddi, Nachum Dershowitz, Jean Yves Girard, Isabel Oitavem, Lidia Tendera
Table of Contents

,



The 27th International Workshop on Computer Science Logic (CSL) 2013


Topics

Submissions

Important Dates