Difference between revisions of "CSL 2021"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by Th)
(modified through wikirestore by orapi)
Line 1: Line 1:
 
{{Event
 
{{Event
 +
|Acronym=CSL 2021
 +
|Title=29th EACSL Annual Conference on Computer Science Logic
 +
|Ordinal=29
 +
|Series=CSL
 +
|Type=Conference
 +
|Start date=2021/01/25
 +
|End date=2021/01/28
 +
|Submission deadline=2019/07/04
 +
|Homepage=https://csl2021.fmf.uni-lj.si/
 +
|DblpConferenceId=csl/csl2021
 +
|City=Ljubljana
 +
|Country=Slovenia
 +
|presence=online
 +
|Paper deadline=2020/07/01
 +
|Notification=2020/09/25
 +
|Has coordinator=Alex Simpson
 +
|has general chair=Alex Simpson
 +
|has program chair=Christel Baier, Jean Goubault-Larrecq
 +
|has Keynote speaker=Assia Mahboubi, Sophia Drossopoulou, Linda Westrick, Sylvain Schmitz, Bartek Klin
 +
|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 Link=https://drops.dagstuhl.de/opus/volltexte/2021/13433/pdf/lipics-vol183-csl2021-complete.pdf
 
|has Proceedings DOI=https://doi.org/10.4230/LIPIcs.CSL.2021.0
 
|has Proceedings DOI=https://doi.org/10.4230/LIPIcs.CSL.2021.0
 
|has Proceedings Bibliography=https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16176
 
|has Proceedings Bibliography=https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16176
−
|Acronym =CSL 2021
+
|State=SI/061}}
−
|End date=2021/01/28
 
−
|Series  =CSL
 
−
|presence=presence
 
−
|Type    =Conference
 
−
|Country =SI
 
−
|State   =SI/061
 
−
|City    =SI/061/Ljubljana
 
−
|Homepage=https://csl2021.fmf.uni-lj.si/
 
−
|Ordinal =29
 
−
|Start date=2021/01/25
 
−
|Title  =29th EACSL Annual Conference on Computer Science Logic
 
−
|Accepted papers=34
 
−
|Submitted papers=82}}
 
 
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).
 +
  
 
==Topics==
 
==Topics==
−
==Submissions==
+
*automated deduction and interactive theorem proving
−
==Important Dates==
+
*constructive mathematics and type theory
 +
*equational logic and term rewriting
 +
*automata and games, game semantics
 +
*modal and temporal logic
 +
*model checking
 +
*decision procedures
 +
*logical aspects of computational complexity
 +
*finite model theory
 +
*computational proof theory
 +
*logic programming and constraints
 +
*lambda calculus and combinatory logic
 +
*domain theory
 +
*categorical logic and topological semantics
 +
*database theory
 +
*specification, extraction and transformation of programs
 +
*logical aspects of quantum computing
 +
*logical foundations of programming paradigms
 +
*verification and program analysis
 +
*linear logic
 +
*higher-order logic
 +
*nonmonotonic reasoning
  
−
==Committees==
 
−
* Co-Organizers
 
−
* General Co-Chairs
 
−
** [[has general chair::some person]], some affiliation, country
 
  
−
* PC Co-Chairs
+
==Submissions==
−
** [[has program chair::some person]], some affiliation, country
+
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.
  
−
* Workshop Chair
+
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.
−
** [[has workshop chair::some person]], some affiliation, country
 
  
−
* Panel Chair
+
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.
−
** [[has OC member::some person]], some affiliation, country
 
  
−
* Seminars Chair
+
Papers authored or co-authored by members of the PC are not allowed.
−
** [[has tutorial chair::some person]], some affiliation, country
 
  
−
* Demonstration Co-Chairs
+
At least one of the authors of each accepted paper is expected to attend the conference in person to present their papers.
−
** [[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
+
==Important Dates==
−
** [[has PC member::some person]], some affiliation, country
+
Submission deadline: July 4, 2019, AoE<br>
−
-->
+
Author notification: September 30, 2019<br>
 +
Early registration deadline: December 5, 2019<br>
 +
Conference dates: January 13-16, 2020<br>

Revision as of 15:02, 3 November 2021


Event Rating

median worst
Pain1.svg Pain7.svg

List of all ratings can be found at CSL 2021/rating

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, SI/061, Slovenia
Loading map...

Important dates
Papers: 2020/07/01
Submissions: 2019/07/04
Notification: 2020/09/25
Papers: Submitted 82 / Accepted 34 (41.5 %)
Committees
Organizers: Alex Simpson
General chairs: Alex Simpson
PC chairs: Christel Baier, Jean Goubault-Larrecq
Keynote speaker: Assia Mahboubi, Sophia Drossopoulou, Linda Westrick, Sylvain Schmitz, Bartek Klin
Table of Contents

The 29th EACSL Annual Conference on Computer Science Logic (CSL) 2021, (Virtual Conference).


Topics

  • automated deduction and interactive theorem proving
  • constructive mathematics and type theory
  • equational logic and term rewriting
  • automata and games, game semantics
  • modal and temporal logic
  • model checking
  • decision procedures
  • logical aspects of computational complexity
  • finite model theory
  • computational proof theory
  • logic programming and constraints
  • lambda calculus and combinatory logic
  • domain theory
  • categorical logic and topological semantics
  • database theory
  • specification, extraction and transformation of programs
  • logical aspects of quantum computing
  • logical foundations of programming paradigms
  • verification and program analysis
  • linear logic
  • higher-order logic
  • nonmonotonic reasoning


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

Retrieved from "https://confident.dbis.rwth-aachen.de/orfixed/index.php?title=CSL_2021&oldid=50200"