(mobo import Concept___Event_For_Confident-migrated) |
m (Text replacement - "[ \s]User:Curator 83" to " Ch") |
||
Line 8: | Line 8: | ||
|Country=Austria | |Country=Austria | ||
|presence=presence | |presence=presence | ||
− | |Has coordinator=Krishnendu | + | |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 |
Revision as of 12:35, 7 July 2022
The 23rd EACSL Annual Conference on Computer Science Logic (CSL) 2014