m (Text replacement - "[ \s]User:Curator 83" to " Ch") |
Curator 100 (talk | contribs) |
||
| (6 intermediate revisions by 2 users not shown) | |||
| Line 3: | Line 3: | ||
|Title=27th EACSL Annual Conference on Computer Science Logic | |Title=27th EACSL Annual Conference on Computer Science Logic | ||
|Ordinal=27 | |Ordinal=27 | ||
| + | |In Event Series=Event Series:CSL | ||
| + | |Single Day Event=no | ||
| + | |Start Date=2018/09/04 | ||
| + | |End Date=2018/09/07 | ||
| + | |Event Status=as scheduled | ||
| + | |Event Mode=on site | ||
| + | |City=Birmingham | ||
| + | |Region=Birmingham | ||
| + | |Country=Country:GB | ||
| + | |Academic Field=Computer Science; Logic | ||
| + | |Official Website=https://events.cs.bham.ac.uk/csl18 | ||
| + | |DOI=10.25798/axx1-ed45 | ||
|Type=Conference | |Type=Conference | ||
| − | |||
|DblpConferenceId=csl/csl2018 | |DblpConferenceId=csl/csl2018 | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
|has program chair=Dan R. Ghica, Achim Jung | |has program chair=Dan R. Ghica, Achim Jung | ||
| − | |||
| − | |||
| − | |||
|has Proceedings Link=https://drops.dagstuhl.de/opus/volltexte/lipics-complete/lipics-vol119-csl2018-complete.pdf | |has Proceedings Link=https://drops.dagstuhl.de/opus/volltexte/lipics-complete/lipics-vol119-csl2018-complete.pdf | ||
|has Proceedings DOI=https://doi.org/10.4230/LIPIcs.CSL.2018.1 | |has Proceedings DOI=https://doi.org/10.4230/LIPIcs.CSL.2018.1 | ||
| Line 22: | Line 24: | ||
|pageEditor=User:Curator 75 | |pageEditor=User:Curator 75 | ||
|contributionType=1 | |contributionType=1 | ||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
| + | {{Event Deadline | ||
| + | |Notification Deadline=2018/06/14 | ||
| + | |Abstract Deadline=2018/04/07 | ||
| + | |Paper Deadline=2018/04/16 | ||
| + | }} | ||
| + | {{Organizer | ||
| + | |Contributor Type=organization | ||
| + | |Organization=School of Computer Science, University of Birmingham | ||
| + | }} | ||
| + | {{Organizer | ||
| + | |Contributor Type=organization | ||
| + | |Organization=European Association for Computer Science Logic | ||
| + | }} | ||
| + | {{Event Metric | ||
| + | |Number Of Submitted Papers=86 | ||
| + | |Number Of Accepted Papers=36 | ||
| + | }} | ||
| + | {{S Event}} | ||
The 27th EACSL Annual Conference on Computer Science Logic (CSL) 2018 | The 27th EACSL Annual Conference on Computer Science Logic (CSL) 2018 | ||
Latest revision as of 12:27, 4 August 2023
Deadlines
|
||
| Abstract |
|
||
| Paper |
|
||
| Notification |
Metrics
Submitted Papers
86
Accepted Papers
36
Venue
Birmingham, United Kingdom of Great Britain and Northern Ireland
Warning: Venue is missing. The map might not show the exact location.
The 27th EACSL Annual Conference on Computer Science Logic (CSL) 2018
