Conference Information
CSL 2022: Conference on Computer Science Logic
http://csl2022.uni-goettingen.de/Submission Date: |
2021-07-05 |
Notification Date: |
2021-09-30 |
Conference Date: |
2022-02-14 |
Location: |
Gottingen, Germany |
Years: |
31 |
CCF: c CORE: c QUALIS: b1 Viewed: 15032 Tracked: 4 Attend: 1
Call For Papers
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 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 nonmonotonic reasoning
Last updated by Dou Sun in 2021-07-03
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