会议信息
FoSSaCS 2025: International Conference on Foundations of Software Science and Computation Structures
https://etaps.org/2025/conferences/fossacs/
截稿日期:
2024-10-10
通知日期:
2024-12-20
会议日期:
2025-05-03
会议地点:
Hamilton, Canada
届数:
28
CORE: a   QUALIS: a2   浏览: 22434   关注: 7   参加: 0

征稿
General Information

FoSSaCS seeks original papers on foundational research with a clear significance for software science.

The conference invites submissions on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems. The specific topics covered by the conference include, but are not limited to, the following:

    categorical models and logics;
    language theory, automata, and games;
    modal, spatial, and temporal logics;
    type theory and proof theory;
    concurrency theory and process calculi;
    rewriting theory;
    semantics of programming languages;
    program analysis, correctness, transformation, and verification;
    logics of programming;
    software specification and refinement;
    models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems;
    emerging models of computation;
    logical aspects of computational complexity;
    models of software security;
    logical foundations of data bases
最后更新 Dou Sun 在 2024-10-01
录取率
时间提交数录取数录取率(%)
2021882831.8%
2020983131.6%
2019852934.1%
20181033130.1%
20171013231.7%
2016853136.5%
2015932830.1%
20141062826.4%
20131092825.7%
20121002929%
20111003030%
2010862529.1%
20091023029.4%
20081032524.3%
20071032524.3%
20061072826.2%
20051083027.8%
20041303426.2%
2003962627.1%
2002672841.8%
2001632539.7%
2000682536.8%
1999401845%
最佳论文
时间最佳论文
2001Axioms for Recursion in Call-by-Value
相关会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
DSDISIEEE International Conference on Data Science and Data Intensive Systems2015-08-252015-09-252015-12-11
HLDVTInternational High-Level Design, Validation, and Test Workshop2016-07-242016-08-152016-10-07
b3ICWMCInternational Conference on Wireless and Mobile Communications2022-02-202022-03-202022-05-22
EWEuropean Wireless2021-04-162021-05-232021-11-10
b4DSLInternational Conference on Domain-Specific Languages2011-04-182011-06-102011-09-06
MLICOMEAI International Conference on Machine Learning and Intelligent Communications2020-04-152020-05-292020-07-25
IEEE ECICEIEEE Eurasia Conference on IOT, Communication and Engineering2024-09-152024-09-302024-11-15
aWINEConference on Web and Internet Economics2024-07-152024-09-162024-12-02
ba1MobisysInternational Conference on Mobile Systems, Applications and Services2024-12-092025-03-072025-06-03
GoodITACM International Conference on Information Technology for Social Good2024-05-172024-07-082024-09-04
推荐