CSL: Computer Science Logic

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2023 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
CSL 2022 Computer Science Logic 2023
Feb 13, 2023 - Feb 17, 2023 Warsaw, Poland Jul 16, 2022 (Jul 9, 2022)
CSL 2016 25th EACSL Annual Conference on Computer Science Logic
Aug 29, 2016 - Sep 1, 2016 Marseille, France Apr 15, 2016 (Apr 8, 2016)
CSL 2015 COMPUTER SCIENCE LOGIC
Sep 7, 2015 - Sep 10, 2015 Berlin Apr 10, 2015 (Apr 3, 2015)
CSL 2013 22nd EACSL Annual Conference on Computer Science Logic
Sep 2, 2013 - Sep 5, 2013 Torino, Italy Apr 8, 2013 (Apr 1, 2013)
CSL 2012 21th EACSL Annual Conferences on Computer Science Logic
Sep 3, 2012 - Sep 6, 2012 Fontainebleau, France Apr 9, 2012 (Apr 2, 2012)
CSL 2011 20th Annual Conference of the European Association for Computer Science Logic
Sep 12, 2011 - Sep 15, 2011 Bergen, Norway Apr 3, 2011 (Mar 27, 2011)
CSL 2010 Computer Science Logic
Aug 23, 2010 - Aug 27, 2010 Brno, Czech Rep. Apr 2, 2010 (Mar 26, 2010)
CSL 2009 18th EACSL Annual Conference on Computer Science Logic
Sep 7, 2009 - Sep 11, 2009 Coimbra, Portugal Apr 6, 2009 (Mar 30, 2009)
 
 

Present CFP : 2022

CSL is the annual conference of the European Association for Computer Science Logic (EACSL).
It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.
CSL’23 is hosted by the University of Warsaw.

************************************************************************************
List of 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

*******************************************************************************

Submission guidelines

Submitted papers must be in English and must provide sufficient detail to allow the Program 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 papers should be submitted via easychair.

The 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.

At least one of the authors of each accepted paper is expected to register for the conference and attend it in person or online, in order to present their papers.
 

Related Resources

IEEE ICA 2022   The 6th IEEE International Conference on Agents
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ICCDA 2023   2023 The 7th International Conference on Compute and Data Analysis (ICCDA 2023)
ICLA 2022   10th Indian Conference on Logic and its Applications
IWPR 2023   2023 8th International Workshop on Pattern Recognition (IWPR 2023)
ESOP 2023   32st European Symposium on Programming
SEAI 2023   2023 3rd IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI 2023)
ICCIoT 2023   4th International Conference on Cloud and Internet of Things
CVIE--EI 2023   2023 The 3rd International Conference on Computer Vision and Information Engineering (CVIE 2023)
TFP 2023   Trends in Functional Programming