posted by user: sadegh_rk || 2413 views || tracked by 3 users: [display]

CSL 2022 : Computer Science Logic 2023

FacebookTwitterLinkedInGoogle


Conference Series : Computer Science Logic
 
Link: https://csl2023.mimuw.edu.pl/
 
When Feb 13, 2023 - Feb 17, 2023
Where Warsaw, Poland
Abstract Registration Due Jul 9, 2022
Submission Deadline Jul 16, 2022
Notification Due Sep 30, 2022
Final Version Due Oct 30, 2022
Categories    formal methods   logic
 

Call For Papers

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

CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
SOEN 2024   9th International Conference on Software Engineering
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
ITCCMA 2024   11th International Conference on Information Technology, Control, Chaos, Modeling and Applications
ADMIT 2024   2024 3rd International Conference on Algorithms, Data Mining, and Information Technology (ADMIT 2024)
ICFEM 2024   International Conference on Formal Engineering Methods
CCBDIOT 2024   2024 3rd International Conference on Computing, Big Data and Internet of Things (CCBDIOT 2024)
TAP 2024   18th International Conference on Tests and Proofs
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems