(mobo import Concept___Fix_Presence-migrated) |
Curator 100 (talk | contribs) |
||
(3 intermediate revisions by 2 users not shown) | |||
Line 3: | Line 3: | ||
|Title=23rd EACSL Annual Conference on Computer Science Logic | |Title=23rd EACSL Annual Conference on Computer Science Logic | ||
|Ordinal=23 | |Ordinal=23 | ||
+ | |In Event Series=Event Series:CSL | ||
+ | |Single Day Event=no | ||
+ | |Start Date=2014/07/14 | ||
+ | |End Date=2014/07/18 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=on site | ||
+ | |City=Vienna | ||
+ | |Region=Vienna | ||
+ | |Country=Country:AT | ||
+ | |Academic Field=Computer Science; Logic | ||
+ | |DOI=10.25798/3yxv-zc61 | ||
|Type=Conference | |Type=Conference | ||
|DblpConferenceId=csl/csl2014 | |DblpConferenceId=csl/csl2014 | ||
− | |||
− | |||
|Has coordinator=Krishnendu Chatterjee, Jan Otop | |Has coordinator=Krishnendu Chatterjee, Jan Otop | ||
|has general chair=L. Ong | |has general chair=L. Ong | ||
|has program chair=Thomas A. Henzinger, Dale Miller | |has program chair=Thomas A. Henzinger, Dale Miller | ||
|has workshop chair=Patricia Bouyer-Decitre, Georg Moser | |has workshop chair=Patricia Bouyer-Decitre, Georg Moser | ||
− | |||
− | |||
|has Proceedings Link=https://dl.acm.org/doi/proceedings/10.1145/2603088#issue-downloads | |has Proceedings Link=https://dl.acm.org/doi/proceedings/10.1145/2603088#issue-downloads | ||
|has Proceedings DOI=http://dx.doi.org/10.1145/2603088 | |has Proceedings DOI=http://dx.doi.org/10.1145/2603088 | ||
Line 19: | Line 26: | ||
|pageEditor=User:Curator 75 | |pageEditor=User:Curator 75 | ||
|contributionType=1 | |contributionType=1 | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
+ | {{Event Deadline}} | ||
+ | {{Organizer | ||
+ | |Contributor Type=organization | ||
+ | |Organization=European Association for Computer Science Logic | ||
+ | }} | ||
+ | {{Event Metric | ||
+ | |Number Of Submitted Papers=212 | ||
+ | |Number Of Accepted Papers=74 | ||
+ | }} | ||
+ | {{S Event}} | ||
The 23rd EACSL Annual Conference on Computer Science Logic (CSL) 2014 | The 23rd EACSL Annual Conference on Computer Science Logic (CSL) 2014 |
Latest revision as of 07:55, 7 August 2023
Deadlines
Metrics
Submitted Papers
212
Accepted Papers
74
Venue
Vienna, Austria
Warning: Venue is missing. The map might not show the exact location.
The 23rd EACSL Annual Conference on Computer Science Logic (CSL) 2014