Difference between revisions of "CSL 2013"

From Openresearch
Jump to navigation Jump to search
(Added page provenance(#264) and contribution type(#271))
 
Line 22: Line 22:
 
|has Proceedings DOI=https://doi.org/10.4230/LIPIcs.CSL.2013.i
 
|has Proceedings DOI=https://doi.org/10.4230/LIPIcs.CSL.2013.i
 
|has Proceedings Bibliography=https://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=13009
 
|has Proceedings Bibliography=https://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=13009
 +
|pageCreator=Tolga.karaarslan
 +
|pageEditor=Tolga.karaarslan
 +
|contributionType=1
 
}}
 
}}
 
The 27th International Workshop on Computer Science Logic (CSL) 2013
 
The 27th International Workshop on Computer Science Logic (CSL) 2013

Latest revision as of 20:21, 1 April 2022

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