Difference between revisions of "CSL 2021"
| Line 7: | Line 7: | ||
|Start date=2021/01/25 | |Start date=2021/01/25 | ||
|End date=2021/01/28 | |End date=2021/01/28 | ||
| + | |Submission deadline=2019/07/04 | ||
|Homepage=https://csl2021.fmf.uni-lj.si/ | |Homepage=https://csl2021.fmf.uni-lj.si/ | ||
|DblpConferenceId=csl/csl2021 | |DblpConferenceId=csl/csl2021 | ||
| Line 27: | Line 28: | ||
==Submissions== | ==Submissions== | ||
| + | Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers’ discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC. | ||
| + | |||
| + | The CSL 2021 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs), see https://submission.dagstuhl.de/documentation/authors. Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference. | ||
| + | |||
| + | Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal. | ||
| + | |||
| + | Papers authored or co-authored by members of the PC are not allowed. | ||
| + | |||
| + | At least one of the authors of each accepted paper is expected to attend the conference in person to present their papers. | ||
Revision as of 12: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 |
| Important dates | |
| Submissions: | 2019/07/04 |
| 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
Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers’ discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC.
The CSL 2021 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs), see https://submission.dagstuhl.de/documentation/authors. Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference.
Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal.
Papers authored or co-authored by members of the PC are not allowed.
At least one of the authors of each accepted paper is expected to attend the conference in person to present their papers.
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