(mobo import Concept___Event_For_Confident-migrated) |
m (Text replacement - "[ \s]User:Curator 83" to " Ch") |
||
Line 13: | Line 13: | ||
|Notification=2018/06/14 | |Notification=2018/06/14 | ||
|has program chair=Dan R. Ghica, Achim Jung | |has program chair=Dan R. Ghica, Achim Jung | ||
− | |has Keynote speaker=Bob Coecke, Emmanuel Filiot, Catuscia Palamidessi, | + | |has Keynote speaker=Bob Coecke, Emmanuel Filiot, Catuscia Palamidessi, Christine Tasson, Szymon Toruńczyck |
|Submitted papers=86 | |Submitted papers=86 | ||
|Accepted papers=36 | |Accepted papers=36 |
Revision as of 12:35, 7 July 2022
The 27th EACSL Annual Conference on Computer Science Logic (CSL) 2018