Difference between revisions of "CSL 2018"

From Openresearch
Jump to navigation Jump to search
(Created page with "{{Event |Acronym=CSL 2018 |Title=27th EACSL Annual Conference on Computer Science Logic |Series=CSL |Type=Conference |Start date=2018/09/04 |End date=2018/09/07 |Homepage=http...")
 
Line 2: Line 2:
 
|Acronym=CSL 2018
 
|Acronym=CSL 2018
 
|Title=27th EACSL Annual Conference on Computer Science Logic
 
|Title=27th EACSL Annual Conference on Computer Science Logic
 +
|Ordinal=27
 
|Series=CSL
 
|Series=CSL
 
|Type=Conference
 
|Type=Conference
Line 9: Line 10:
 
|City=Birmingham
 
|City=Birmingham
 
|Country=United Kingdom
 
|Country=United Kingdom
 +
|presence=presence
 
|Abstract deadline=2018/04/07
 
|Abstract deadline=2018/04/07
 
|Paper deadline=2018/04/16
 
|Paper deadline=2018/04/16
 
|Notification=2018/06/14
 
|Notification=2018/06/14
 
}}
 
}}
<!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line
+
The 27th EACSL Annual Conference on Computer Science Logic (CSL) 2018
 +
 
  
 
==Topics==
 
==Topics==

Revision as of 11:01, 30 July 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
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

-->