Difference between revisions of "CSL 2021"
Jump to navigation
Jump to search
| Line 12: | Line 12: | ||
|Country=Slovenia | |Country=Slovenia | ||
|presence=online | |presence=online | ||
| + | |Has coordinator=Alex Simpson | ||
| + | |has general chair=Alex Simpson | ||
| + | |has program chair=Christel Baier, Jean Goubault-Larrecq | ||
|Submitted papers=82 | |Submitted papers=82 | ||
|Accepted papers=34 | |Accepted papers=34 | ||
Revision as of 11:14, 27 August 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 | online |
| Homepage: | https://csl2021.fmf.uni-lj.si/ |
| Location | |
| Location: | Ljubljana, Slovenia |
| Papers: | Submitted 82 / Accepted 34 (41.5 %) |
| Committees | |
| Organizers: | Alex Simpson |
| General chairs: | Alex Simpson |
| PC chairs: | Christel Baier, Jean Goubault-Larrecq |
| Table of Contents | |
,
The 29th EACSL Annual Conference on Computer Science Logic (CSL) 2021, (Virtual Conference).
Topics
Submissions
Important Dates
Submission deadline: July 4, 2019, AoE
Author notification: September 30, 2019
Early registration deadline: December 5, 2019
Conference dates: January 13-16, 2020