Conference Information
CSL 2022: Conference on Computer Science Logic
Submission Date:
Notification Date:
Conference Date:
Gottingen, Germany
CCF: c   CORE: c   QUALIS: b1   Viewed: 13523   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
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
CCFCOREQUALISShortFull NameSubmissionNotificationConference
EDUTECInternational Conference on Education and Technology2022-12-312022-01-122023-01-21
CMSPInternational Conference on Multimedia and Signal Processing2013-05-152013-05-202013-09-20
AmIEuropean Conference on Ambient Intelligence2019-07-192019-08-122019-11-13
AAME'International Conference on Aerospace, Aerodynamics and Mechatronics Engineering2022-06-02 2022-07-22
SaCoNeTInternational Conference on Smart Communications in Network Technologies2018-07-312018-09-052018-10-27
ICETCAInternational Conference on Electronics Technology and Computer Applications2020-07-152020-07-202020-07-28
CBDAInternational Conference on Big Data2022-12-242022-02-182023-05-20
ICoSMSInternational Conference on Smart Materials and Surfaces2022-12-312023-01-152023-03-24
ab1FLOPSInternational Symposium on Functional and Logic Programming2011-12-162012-02-032012-05-23
b4ICCSEInternational Conference on Computer Science & Education2022-05-202022-06-012022-08-18
Related Journals
CCFFull NameImpact FactorPublisherISSN
bJournal of Computer Science and Technology0.475SCIENCE PRESS1000-9000
Journal of Computer Science Engineering2.562IJRDO2456-1843
PeerJ Computer SciencePeerJ Inc.2376-5992
Nonlinear EngineeringWalter de Gruyter2192-8010
Computers & Geosciences3.372Elsevier0098-3004
Smart Learning Environments Springer2196-7091
bJournal of Computer and System Sciences1.023Elsevier0022-0000
bACM Transactions on Computational Logic ACM1529-3785
Foundations of Computational Mathematics2.987Springer1615-3375
Computer Methods and Programs in Biomedicine5.428Elsevier0169-2607