Difference between revisions of "CSL 2014"

From Openresearch
Jump to navigation Jump to search
Line 11: Line 11:
 
|Country=Austria
 
|Country=Austria
 
|presence=presence
 
|presence=presence
 +
|Has coordinator=Krishnendu Chatterjee, Jan Otop
 +
|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
 
|Submitted papers=212
 
|Submitted papers=212
 
|Accepted papers=74
 
|Accepted papers=74
Line 18: Line 21:
 
}}
 
}}
 
The 23rd EACSL Annual Conference on Computer Science Logic (CSL) 2014
 
The 23rd EACSL Annual Conference on Computer Science Logic (CSL) 2014
 
==Topics==
 
==Submissions==
 
==Important Dates==
 

Revision as of 08:36, 27 August 2021

CSL 2014
23rd EACSL Annual Conference on Computer Science Logic
Ordinal 23
Event in series CSL
Dates 2014/07/14 (iCal) - 2014/07/18
Presence presence
Location
Location: Vienna, Austria
Loading map...

Papers: Submitted 212 / Accepted 74 (34.9 %)
Committees
Organizers: Krishnendu Chatterjee, Jan Otop
General chairs: L. Ong
PC chairs: Thomas A. Henzinger, Dale Miller
Workshop chairs: Patricia Bouyer-Decitre, Georg Moser
Table of Contents

,



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