Difference between revisions of "Event:CSL 2013"

From ConfIDent
(mobo import Concept___Fix_Presence-migrated)
 
(4 intermediate revisions by 2 users not shown)
Line 3: Line 3:
 
|Title=27th International Workshop on Computer Science Logic
 
|Title=27th International Workshop on Computer Science Logic
 
|Ordinal=27
 
|Ordinal=27
 +
|In Event Series=Event Series:CSL
 +
|Single Day Event=no
 +
|Start Date=2013/09/02
 +
|End Date=2013/09/05
 +
|Event Status=as scheduled
 +
|Event Mode=on site
 +
|Venue=Via Accademia Albertina 13
 +
|City=Turin
 +
|Region=Piedmont
 +
|Country=Country:IT
 +
|Academic Field=Computer Science; Logic
 +
|Official Website=http://csl13.di.unito.it/
 +
|DOI=10.25798/grh4-2v50
 
|Type=Workshop
 
|Type=Workshop
|Homepage=http://csl13.di.unito.it/
 
 
|DblpConferenceId=csl/csl2013
 
|DblpConferenceId=csl/csl2013
|City=Torino
 
|Country=Country:IT
 
|Abstract deadline=2013/04/08
 
|Paper deadline=2013/04/15
 
|Notification=2013/06/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
 
|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
Line 21: Line 25:
 
|pageEditor=User:Curator 75
 
|pageEditor=User:Curator 75
 
|contributionType=1
 
|contributionType=1
|In Event Series=Event Series:CSL
 
|Single Day Event=no
 
|Start Date=2013/09/02
 
|End Date=2013/09/05
 
|Event Status=as scheduled
 
|Event Mode=on site
 
 
}}
 
}}
 +
{{Event Deadline
 +
|Notification Deadline=2013/06/17
 +
|Abstract Deadline=2013/04/08
 +
|Paper Deadline=2013/04/15
 +
}}
 +
{{Organizer
 +
|Contributor Type=organization
 +
|Organization=European Association for Computer Science Logic
 +
}}
 +
{{Event Metric
 +
|Number Of Submitted Papers=108
 +
|Number Of Accepted Papers=37
 +
}}
 +
{{S Event}}
 
The 27th International Workshop on Computer Science Logic (CSL) 2013
 
The 27th International Workshop on Computer Science Logic (CSL) 2013
  

Latest revision as of 12:24, 4 August 2023

Deadlines
2013-06-17
2013-04-08
2013-04-15
8
Apr
2013
Abstract
15
Apr
2013
Paper
17
Jun
2013
Notification
organization
Metrics
Submitted Papers
108
Accepted Papers
37
Venue

Via Accademia Albertina 13, Turin, Piedmont, Italy

Loading map...

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


Topics

Submissions

Important Dates

Cookies help us deliver our services. By using our services, you agree to our use of cookies.