CSL 2020: Difference between revisions
From Openresearch
Jump to navigation
Jump to search
|
|
| (3 intermediate revisions by 2 users not shown) |
| Line 10: |
Line 10: |
| |City=Barcelona | | |City=Barcelona |
| |Country=Spain | | |Country=Spain |
| | |Notification=2019/09/30 |
| | |Submitted papers=82 |
| | |Accepted papers=32 |
| | |has Proceedings Link=https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16134 |
| }} | | }} |
| <!-- PLEASE ADAPT OR DELETE THIS PART COMPLETELY - You can just paste in the call for papers and remove this and the last line
| |
|
| |
| ==Topics==
| |
| ==Submissions==
| |
| ==Important Dates==
| |
|
| |
| ==Committees==
| |
| * Co-Organizers
| |
| * General Co-Chairs
| |
| ** [[has general chair::some person]], some affiliation, country
| |
|
| |
| * PC Co-Chairs
| |
| ** [[has program chair::some person]], some affiliation, country
| |
|
| |
| * Workshop Chair
| |
| ** [[has workshop chair::some person]], some affiliation, country
| |
|
| |
| * Panel Chair
| |
| ** [[has OC member::some person]], some affiliation, country
| |
|
| |
| * Seminars Chair
| |
| ** [[has tutorial chair::some person]], some affiliation, country
| |
|
| |
| * Demonstration Co-Chairs
| |
| ** [[has demo chair::some person]], some affiliation, country
| |
| ** [[has demo chair::some person]], some affiliation, country
| |
|
| |
| * Local Organizing Co-Chairs
| |
| ** [[has local chair::some person]], some affiliation, country
| |
|
| |
| * Program Committee Members
| |
| ** [[has PC member::some person]], some affiliation, country
| |
| -->
| |
Latest revision as of 13:27, 25 February 2021
| CSL 2020
|
28th EACSL Annual Conference on Computer Science Logic
|
| Event in series
|
CSL
|
| Dates
|
2020/01/13 (iCal) - 2020/01/16
|
| Homepage:
|
https://www.cs.upc.edu/csl2020/
|
| Location
|
| Location:
|
Barcelona, Spain
|
|
| Important dates
|
| Submissions:
|
2019/07/04
|
| Notification:
|
2019/09/30
|
|
|
| Papers:
|
Submitted 82 / Accepted 32 (39 %)
|
| Table of Contents
|
|
|
|
|