会議情報

CSL 2026: Conference on Computer Science Logic

会議のウェブサイトを表示するにはログインしてください

提出日:
2025-07-15
通知日:
2025-10-14
会議日:
2026-02-23
場所:
Paris, France
年:
34
CCF: c   CORE: c   QUALIS: b1   閲覧: 33569   追跡: 4   出席: 2

論文募集

CSL 2026 (Conference on Computer Science Logic) is a CCF C / CORE C / QUALIS B1 conference held in Paris, France on 2026-02-23. The paper submission deadline is 2025-07-15. Acceptance notifications are sent on 2025-10-14.

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 2026 is the 34th edition of the conference and will be held in Paris on the 23-28 February 2026 and is organised by the Logic and Computation team of the LIPN of Sorbonne Paris Nord University. Topics Topics of interest include, but are not limited to: 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
最終更新 Dou Sun

関連会議

CCFCOREQUALIS省略名完全な名前提出日通知日会議日
aa2ICCSInternational Conference on Computational Science2026-01-232026-03-232026-06-29
aa*a2LICSIEEE Symposium on Logic in Computer Science2026-01-152026-04-162026-07-20
aa*a1ISCAInternational Symposium on Computer Architecture2025-11-102026-03-272026-06-27
ccb1CSLConference on Computer Science Logic2025-07-152025-10-142026-02-23
aa*a1FOCSIEEE Symposium on Foundations of Computer Science2025-04-032025-07-082025-12-14
b4ICCSEInternational Conference on Computer Science & Education2022-05-202022-06-012022-08-18
cICIS'''International Conference on Computer and Information Science2020-08-102020-08-272020-11-18
cCSRInternational Computer Science Symposium in Russia2019-01-032019-02-252019-07-01
b3SCCCInternational Conference of the Chilean Computer Science Society2016-07-312016-08-262016-10-10
b5CSEEInternational Conference on Computer Science and Electronic Engineering2012-12-312013-01-072013-03-22

関連仕訳帳

CCF完全な名前インパクト ・ ファクター出版社ISSN
Computer Science Review12.7Elsevier1574-0137
bFrontiers of Computer Science4.6Springer2095-2228
Computers & Geosciences4.4Elsevier0098-3004
Journal of Computational Science3.7Elsevier1877-7503
Journal of Computer Science Engineering2.5IJRDO2456-1843
PeerJ Computer Science2.5PeerJ Inc.2376-5992
Computing in Science & Engineering1.9IEEE1521-9615
bJournal of Computer Science and Technology1.3Springer1000-9000
bJournal of Computer and System Sciences0.9Elsevier0022-0000
bACM Transactions on Computational Logic0.700ACM1529-3785

出席者時間
Jiawang Wan (141)2025
Qixiang Wang (10)2017
サプライズ