(mobo import Concept___Event_For_Confident-migrated) |
Curator 100 (talk | contribs) |
||
| (6 intermediate revisions by 2 users not shown) | |||
| Line 3: | Line 3: | ||
|Title=24th EACSL Annual Conference on Computer Science Logic | |Title=24th EACSL Annual Conference on Computer Science Logic | ||
|Ordinal=24 | |Ordinal=24 | ||
| + | |In Event Series=Event Series:CSL | ||
| + | |Single Day Event=no | ||
| + | |Start Date=2015/09/07 | ||
| + | |End Date=2015/09/10 | ||
| + | |Event Status=as scheduled | ||
| + | |Event Mode=on site | ||
| + | |Venue=Technische Universität Berlin | ||
| + | |City=Berlin | ||
| + | |Region=Berlin | ||
| + | |Country=Country:DE | ||
| + | |Academic Field=Computer Science; Logic | ||
| + | |Official Website=https://logic.las.tu-berlin.de/csl2015/index.html | ||
| + | |DOI=10.25798/vec8-e829 | ||
|Type=Conference | |Type=Conference | ||
| − | |||
|DblpConferenceId=csl/csl2015 | |DblpConferenceId=csl/csl2015 | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
|has general chair=Stephan Kreutzer | |has general chair=Stephan Kreutzer | ||
|has program chair=Stephan Kreutzer | |has program chair=Stephan Kreutzer | ||
| − | |||
| − | |||
| − | |||
|has Proceedings Link=https://drops.dagstuhl.de/opus/volltexte/lipics-complete/lipics-vol41-csl2015-complete.pdf | |has Proceedings Link=https://drops.dagstuhl.de/opus/volltexte/lipics-complete/lipics-vol41-csl2015-complete.pdf | ||
|has Proceedings DOI=https://doi.org/10.4230/LIPIcs.CSL.2015.i | |has Proceedings DOI=https://doi.org/10.4230/LIPIcs.CSL.2015.i | ||
| Line 23: | Line 26: | ||
|pageEditor=User:Curator 75 | |pageEditor=User:Curator 75 | ||
|contributionType=1 | |contributionType=1 | ||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
| + | {{Event Deadline | ||
| + | |Notification Deadline=2015/06/13 | ||
| + | |Abstract Deadline=2015/04/03 | ||
| + | |Paper Deadline=2015/04/10 | ||
| + | }} | ||
| + | {{Organizer | ||
| + | |Contributor Type=organization | ||
| + | |Organization=European Association for Computer Science Logic | ||
| + | }} | ||
| + | {{Organizer | ||
| + | |Contributor Type=organization | ||
| + | |Organization=Logic and Semantics Research Group, Department of Electrical Engineering and Computer Science, Technical University of Berlin | ||
| + | }} | ||
| + | {{Event Metric | ||
| + | |Number Of Submitted Papers=99 | ||
| + | |Number Of Accepted Papers=39 | ||
| + | }} | ||
| + | {{S Event}} | ||
The 24th EACSL Annual Conference on Computer Science Logic (CSL) 2015 | The 24th EACSL Annual Conference on Computer Science Logic (CSL) 2015 | ||
Latest revision as of 07:40, 7 August 2023
Deadlines
|
||
| Abstract |
|
||
| Paper |
|
||
| Notification |
Metrics
Submitted Papers
99
Accepted Papers
39
Venue
Technische Universität Berlin, Berlin, Germany
The 24th EACSL Annual Conference on Computer Science Logic (CSL) 2015
Important Dates
Abstract submission: 3 April 2015
Paper Submission: 10 April 2015
Paper Notification: 13 June 2015
Conference: 7 - 10 September 2015
