CSL 2018

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search


Event Rating

median worst
Pain1.svg Pain7.svg

List of all ratings can be found at CSL 2018/rating

CSL 2018
27th EACSL Annual Conference on Computer Science Logic
Ordinal 27
Event in series CSL
Dates 2018-09-04 (iCal) - 2018-09-07
Presence presence
Homepage: http://events.cs.bham.ac.uk/csl18/#programme
Location
Location: GB/ENG/Birmingham, GB/ENG, GB
Loading map...

Important dates
Abstracts: 2018/04/07
Papers: 2018/04/16
Notification: 2018/06/14
Papers: Submitted 86 / Accepted 36 (41.9 %)
Committees
PC chairs: Dan R. Ghica, Achim Jung
Keynote speaker: Bob Coecke, Emmanuel Filiot, Catuscia Palamidessi, Christine Tasson, Szymon Toruńczyck
Table of Contents

The 27th EACSL Annual Conference on Computer Science Logic (CSL) 2018