Conference Information
CSL 2025: Conference on Computer Science Logic
https://csl2025.github.io/Submission Date: |
2024-07-18 |
Notification Date: |
2024-10-27 |
Conference Date: |
2025-02-10 |
Location: |
Amsterdam, The Netherlands |
Years: |
33 |
CCF: c CORE: c QUALIS: b1 Viewed: 15500 Tracked: 4 Attend: 1
Call For Papers
Topics automated deduction and interactive theorem proving concurrency and distributed computation constructive mathematics and type theory equational logic and term rewriting automata and games, game semantics formal methods model checking decision procedures modal and temporal logic description logics logical aspects of computational complexity logical aspects of AI finite model theory computability 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 knowledge representation and reasoning nonmonotonic reasoning
Last updated by Dou Sun in 2024-06-19
Related Conferences
Short | Full Name | Submission | Conference |
---|---|---|---|
EDUTEC | International Conference on Education and Technology | 2022-12-31 | 2023-01-21 |
CMSP | International Conference on Multimedia and Signal Processing | 2013-05-15 | 2013-09-20 |
AmI | European Conference on Ambient Intelligence | 2019-07-19 | 2019-11-13 |
SaCoNeT | International Conference on Smart Communications in Network Technologies | 2018-07-31 | 2018-10-27 |
AAME' | International Conference on Aerospace, Aerodynamics and Mechatronics Engineering | 2022-06-02 | 2022-07-22 |
ICETCA | International Conference on Electronics Technology and Computer Applications | 2020-07-15 | 2020-07-28 |
CBDA | International Conference on Big Data | 2023-05-06 | 2023-05-20 |
ICoSMS | International Conference on Smart Materials and Surfaces | 2022-12-31 | 2023-03-24 |
ICCSE | International Conference on Computer Science & Education | 2022-05-20 | 2022-08-18 |
FLOPS | International Symposium on Functional and Logic Programming | 2011-12-16 | 2012-05-23 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
b | Journal of Computer Science and Technology | 0.475 | SCIENCE PRESS | 1000-9000 |
Journal of Computer Science Engineering | 2.562 | IJRDO | 2456-1843 | |
PeerJ Computer Science | PeerJ Inc. | 2376-5992 | ||
Nonlinear Engineering | Walter de Gruyter | 2192-8010 | ||
Computers & Geosciences | 3.372 | Elsevier | 0098-3004 | |
b | Journal of Computer and System Sciences | 1.023 | Elsevier | 0022-0000 |
Smart Learning Environments | Springer | 2196-7091 | ||
b | ACM Transactions on Computational Logic | ACM | 1529-3785 | |
Presence: Teleoperators and Virtual Environments | 0.789 | MIT Press | 1054-7460 | |
Computer Methods and Programs in Biomedicine | 5.428 | Elsevier | 0169-2607 |
Full Name | Impact Factor | Publisher |
---|---|---|
Journal of Computer Science and Technology | 0.475 | SCIENCE PRESS |
Journal of Computer Science Engineering | 2.562 | IJRDO |
PeerJ Computer Science | PeerJ Inc. | |
Nonlinear Engineering | Walter de Gruyter | |
Computers & Geosciences | 3.372 | Elsevier |
Journal of Computer and System Sciences | 1.023 | Elsevier |
Smart Learning Environments | Springer | |
ACM Transactions on Computational Logic | ACM | |
Presence: Teleoperators and Virtual Environments | 0.789 | MIT Press |
Computer Methods and Programs in Biomedicine | 5.428 | Elsevier |
Recommendation