Conference Information
MFCS 2020: International Symposium on Mathematical Foundations of Computer Science
http://mfcs.mff.cuni.cz/2020/
Submission Date:
2020-05-04 Extended
Notification Date:
2020-06-29
Conference Date:
2020-08-24
Location:
Prague, Czech Republic
Years:
45
CCF: c   CORE: a   QUALIS: b1   Viewed: 11640   Tracked: 19   Attend: 3

Conference Location
Call For Papers
We encourage 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
    databases and knowledge-based systems
    formal specifications and program development
    foundations of computing
    logics in computer science
    mobile computing
    models of computation
    networks (incl. wireless, sensor, ad-hoc networks)
    parallel and distributed computing
    semantics and verification of programs
    theoretical issues in artificial intelligence
    types in computer science
Last updated by Dou Sun in 2020-04-10
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
20181858445.4%
20171928041.7%
20161958443.1%
20152018240.8%
20142709535.2%
20131916735.1%
20121626338.9%
20111294837.2%
20101495637.6%
20091485637.8%
20081194537.8%
20071676136.5%
20061746235.6%
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ba1MobisysInternational Conference on Mobile Systems, Applications and Services2019-12-052020-03-092020-06-15
ICIOTCCInternational Conference on Internet of Things and Cloud Computing2020-11-30 2021-01-04
GCCEGlobal Conference on Consumer Electronics2017-06-082017-07-312017-10-24
bb1ISITInternational Symposium on Information Theory2019-01-202019-03-312019-07-07
IS'IADIS International Conference on Information Systems2020-02-142020-03-022020-04-02
INTECHInternational Conference on Innovative Computing Technology2020-06-152020-07-102020-08-17
bab1CCCIEEE Conference on Computational Complexity2020-02-172020-04-302020-07-28
MicroComInternational Conference on Microelectronics, Computing and Communication2015-11-162015-12-152016-01-23
BigR&IInternational Symposium on Big Data Research and Innovation2019-03-052019-04-162019-08-26
Related Journals
Recommendation