Difference between revisions of "CSL 2021"
Jump to navigation
Jump to search
| Line 11: | Line 11: | ||
|Country=Slovenia | |Country=Slovenia | ||
|presence=presence | |presence=presence | ||
| + | |Submitted papers=82 | ||
| + | |Accepted papers=34 | ||
| + | |has Proceedings Link=https://drops.dagstuhl.de/opus/volltexte/2021/13433/pdf/lipics-vol183-csl2021-complete.pdf | ||
| + | |has Proceedings Bibliography=https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16176 | ||
}} | }} | ||
The 29th EACSL Annual Conference on Computer Science Logic (CSL) 2021, (Virtual Conference). | The 29th EACSL Annual Conference on Computer Science Logic (CSL) 2021, (Virtual Conference). | ||
Revision as of 12:20, 7 May 2021
| CSL 2021 | |
|---|---|
29th EACSL Annual Conference on Computer Science Logic
| |
| Ordinal | 29 |
| Event in series | CSL |
| Dates | 2021/01/25 (iCal) - 2021/01/28 |
| Presence | presence |
| Homepage: | https://csl2021.fmf.uni-lj.si/ |
| Location | |
| Location: | Ljubljana, Slovenia |
| Papers: | Submitted 82 / Accepted 34 (41.5 %) |
| Table of Contents | |
,
The 29th EACSL Annual Conference on Computer Science Logic (CSL) 2021, (Virtual Conference).
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
-->