Difference between revisions of "CSL 2018"
Jump to navigation
Jump to search
Alina.Thamm (talk | contribs) (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 | ||
}} | }} | ||
− | + | 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 |
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
- some person, some affiliation, country
- PC Co-Chairs
- some person, some affiliation, country
- Workshop Chair
- some person, some affiliation, country
- Panel Chair
- some person, some affiliation, country
- Seminars Chair
- some person, some affiliation, country
- Demonstration Co-Chairs
- some person, some affiliation, country
- some person, some affiliation, country
- Local Organizing Co-Chairs
- some person, some affiliation, country
- Program Committee Members
- some person, some affiliation, country
-->