Difference between revisions of "CSL 2013"

From Openresearch
Jump to navigation Jump to search
(Created page with "{{Event |Acronym=CSL 2013 |Title=27th International Workshop on Computer Science Logic |Ordinal=27 |Series=CSL |Type=Workshop |Start date=2013/09/02 |End date=2013/09/05 |Home...")
 
(Added page provenance(#264) and contribution type(#271))
 
(One intermediate revision by one other user not shown)
Line 17: Line 17:
 
|has program chair=Simona Ronchi Della Rocca
 
|has program chair=Simona Ronchi Della Rocca
 
|has Keynote speaker=Piergiorgio Odifreddi, Nachum Dershowitz, Jean Yves Girard, Isabel Oitavem, Lidia Tendera
 
|has Keynote speaker=Piergiorgio Odifreddi, Nachum Dershowitz, Jean Yves Girard, Isabel Oitavem, Lidia Tendera
 +
|Submitted papers=108
 +
|Accepted papers=37
 
|has Proceedings Link=https://drops.dagstuhl.de/opus/volltexte/lipics-complete/lipics-vol23-csl2013-complete.pdf
 
|has Proceedings Link=https://drops.dagstuhl.de/opus/volltexte/lipics-complete/lipics-vol23-csl2013-complete.pdf
 
|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