中国计算机学会（CCF）推荐学术会议-C（计算机科学理论）：CSL 2026

CSL 2026

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.

所属领域：计算机科学理论

CCF推荐：C

录用率：30%（2020年）

时间地点：2026年2月23日-巴黎（法国）

大会议题

·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