m (Text replacement - "Homepage=" to "Official Website=") |
Curator 91 (talk | contribs) |
||
| Line 3: | Line 3: | ||
|Title=28th EACSL Annual Conference on Computer Science Logic | |Title=28th EACSL Annual Conference on Computer Science Logic | ||
|Ordinal=28 | |Ordinal=28 | ||
| − | | | + | |In Event Series=Event Series:CSL |
| − | | | + | |Single Day Event=no |
| − | | | + | |Start Date=2020/01/13 |
| + | |End Date=2020/01/16 | ||
| + | |Event Status=as scheduled | ||
| + | |Event Mode=on site | ||
| + | |Venue=Edifici Històric de la Universitat de Barcelona | ||
|City=Barcelona | |City=Barcelona | ||
| + | |Region=Catalonia | ||
|Country=Country:ES | |Country=Country:ES | ||
| + | |Academic Field=Computer Science; Logic | ||
| + | |Official Website=https://www.cs.upc.edu/csl2020/ | ||
|Submission Link=https://easychair.org/conferences/?conf=csl2020 | |Submission Link=https://easychair.org/conferences/?conf=csl2020 | ||
| + | |Type=Conference | ||
| + | |DblpConferenceId=csl/csl2020 | ||
|has general chair=Albert Atserias, Juan Carlos Martínez | |has general chair=Albert Atserias, Juan Carlos Martínez | ||
|has program chair=Maribel Fernández, Anca Muscholl | |has program chair=Maribel Fernández, Anca Muscholl | ||
| Line 17: | Line 26: | ||
|pageEditor=User:Curator 75 | |pageEditor=User:Curator 75 | ||
|contributionType=1 | |contributionType=1 | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{Event Deadline | {{Event Deadline | ||
| + | |Notification Deadline=2019/09/30 | ||
|Paper Deadline=2019/07/04 | |Paper Deadline=2019/07/04 | ||
| − | |||
|Submission Deadline=2019/07/04 | |Submission Deadline=2019/07/04 | ||
| + | }} | ||
| + | {{Organizer | ||
| + | |Contributor Type=organization | ||
| + | |Organization=European Association for Computer Science Logic | ||
}} | }} | ||
{{Event Metric | {{Event Metric | ||
| Line 38: | Line 45: | ||
==Topics== | ==Topics== | ||
| − | *automated deduction and interactive theorem proving | + | *automated deduction and interactive theorem proving |
| − | *constructive mathematics and type theory | + | *constructive mathematics and type theory |
| − | *equational logic and term rewriting | + | *equational logic and term rewriting |
| − | *automata and games, game semantics | + | *automata and games, game semantics |
| − | *modal and temporal logic | + | *modal and temporal logic |
| − | *model checking | + | *model checking |
| − | *decision procedures | + | *decision procedures |
| − | *logical aspects of computational complexity | + | *logical aspects of computational complexity |
| − | *finite model theory | + | *finite model theory |
| − | *computational proof theory | + | *computational proof theory |
| − | *logic programming and constraints | + | *logic programming and constraints |
| − | *lambda calculus and combinatory logic | + | *lambda calculus and combinatory logic |
| − | *domain theory | + | *domain theory |
| − | *categorical logic and topological semantics | + | *categorical logic and topological semantics |
| − | *database theory | + | *database theory |
| − | *specification, extraction and transformation of programs | + | *specification, extraction and transformation of programs |
| − | *logical aspects of quantum computing | + | *logical aspects of quantum computing |
| − | *logical foundations of programming paradigms | + | *logical foundations of programming paradigms |
| − | *verification and program analysis | + | *verification and program analysis |
| − | *linear logic | + | *linear logic |
| − | *higher-order logic | + | *higher-order logic |
| − | *nonmonotonic reasoning | + | *nonmonotonic reasoning |
Revision as of 10:45, 13 June 2023
|
||
| Submission |
|
||
| Paper |
|
||
| Notification |
Edifici Històric de la Universitat de Barcelona, Barcelona, Catalonia, Spain
The 28th EACSL Annual Conference on Computer Science Logic (CSL) 2020
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 2020 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs). 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.
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
