交流群见文末
会议全称：Mathematical Foundations of Computer Science
录用率：2020年33.88%
CCF分级：计算机科学理论C
截稿时间：2024/4/26
录用通知时间：2024/6/24
官网链接：49th MFCS | Bratislava
征稿范围：
The
program committee encourages submission of original research papers in
all areas of theoretical computer science, including (but not limited
to) the following:
-
algebraic and co-algebraic methods in computer science
-
algorithms and data structures
-
automata and formal languages
-
bioinformatics
-
combinatorics on words, trees, and other structures
-
computational complexity (structural and model-related)
-
computational geometry
-
computer-aided verification
-
computer assisted reasoning
-
concurrency theory
-
cryptography and security
-
cyber physical systems, databases and knowledge-based systems
-
formal specifications and program development
-
foundations of computing
-
logics in computer science
-
mobile computing
-
models of computation
-
networks
-
parallel and distributed computing
-
quantum computing
-
semantics and verification of programs
-
theoretical issues in artificial intelligence and machine learning
-
types in computer science
Submission Guidelines
Papers should be submitted electronically through EasyChair.
Submissions should be formatted using the LIPIcs style
with length not exceeding 12 pages (excluding references and an
optional appendix). References and an optional appendix can go beyond
the 12 pages; the appendix will be consulted at the discretion of the
program committee. It is mandatory to use the LIPIcs style for
submissions.
No prior publication or
simultaneous submission to other conferences or journals are allowed
(except preprint repositories such as arXiv or workshops without formal
published proceedings).
There is no need to anonymize the submissions.
As
in previous years, MFCS 2022 proceedings will be published in LIPIcs
(Leibniz International Proceedings in Informatics) under an open access
license.
Selected articles will be invited to a special issue of Information and Computation
