Difference between revisions of "Event:CSL 2014"

From ConfIDent
(mobo import Concept___Event_For_Confident-migrated)
 
 
(6 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
|City=Vienna
+
|Has coordinator=Krishnendu Chatterjee, Jan Otop
|Country=Austria
 
|presence=presence
 
|Has coordinator=Krishnendu User:Curator 83atterjee, 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
|Submitted papers=212
 
|Accepted papers=74
 
 
|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 20: Line 26:
 
|pageEditor=User:Curator 75
 
|pageEditor=User:Curator 75
 
|contributionType=1
 
|contributionType=1
|In Event Series=Event Series:CSL
 
|Single Day Event=no
 
|Start Date=2014/07/14
 
|End Date=2014/07/18
 
 
}}
 
}}
 +
{{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
organization
Metrics
Submitted Papers
212
Accepted Papers
74
Venue

Vienna, Austria

Loading map...

The 23rd EACSL Annual Conference on Computer Science Logic (CSL) 2014

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