Curator 91 (talk | contribs) |
(mobo import Concept___Events-migrated) |
||
| Line 1: | Line 1: | ||
{{Event | {{Event | ||
| − | |Acronym= | + | |Acronym=CSL 2014 |
| − | |Title= | + | |Title=23rd EACSL Annual Conference on Computer Science Logic |
| − | |Single Day Event= | + | |Ordinal=23 |
| − | |Start Date= | + | |Type=Conference |
| + | |DblpConferenceId=csl/csl2014 | ||
| + | |City=Vienna | ||
| + | |Country=Country:AT | ||
| + | |Has coordinator=Krishnendu Chatterjee, Jan Otop | ||
| + | |has general chair=L. Ong | ||
| + | |has program chair=Thomas A. Henzinger, Dale Miller | ||
| + | |has workshop chair=Patricia Bouyer-Decitre, Georg Moser | ||
| + | |Submitted papers=212 | ||
| + | |Accepted papers=74 | ||
| + | |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 Bibliography=https://dl.acm.org/doi/proceedings/10.1145/2603088 | ||
| + | |pageCreator=User:Curator 75 | ||
| + | |pageEditor=User:Curator 75 | ||
| + | |contributionType=1 | ||
| + | |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 Status=as scheduled | ||
|Event Mode=on site | |Event Mode=on site | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
| + | {{Event Deadline}} | ||
| + | {{Event Deadline}} | ||
| + | {{S Event}} | ||
| + | The 23rd EACSL Annual Conference on Computer Science Logic (CSL) 2014 | ||
Revision as of 20:33, 22 September 2022
Deadlines
|
||
| Submission |
Deadlines
|
||
| Submission |
Venue
Warning: Venue is missing. The map might not show the exact location.
The 23rd EACSL Annual Conference on Computer Science Logic (CSL) 2014
