Difference between revisions of "CSL 2018"

From Openresearch
Jump to navigation Jump to search
Line 14: Line 14:
 
|Paper deadline=2018/04/16
 
|Paper deadline=2018/04/16
 
|Notification=2018/06/14
 
|Notification=2018/06/14
 +
|has Keynote speaker=Bob Coecke, Emmanuel Filiot, Catuscia Palamidessi, Christine Tasson, Szymon Toruńczyck
 
}}
 
}}
 
The 27th EACSL Annual Conference on Computer Science Logic (CSL) 2018
 
The 27th EACSL Annual Conference on Computer Science Logic (CSL) 2018

Revision as of 08:52, 24 August 2021

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: Birmingham, United Kingdom
Loading map...

Important dates
Abstracts: 2018/04/07
Papers: 2018/04/16
Notification: 2018/06/14
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


Topics

Submissions

Important Dates

Committees

  • Co-Organizers
  • General Co-Chairs
  • Local Organizing Co-Chairs
  • Program Committee Members

-->