会议信息
FoSSaCS 2024: International Conference on Foundations of Software Science and Computation Structures
https://etaps.org/2024/conferences/fossacs/截稿日期: |
2023-10-12 |
通知日期: |
2023-12-21 |
会议日期: |
2024-04-06 |
会议地点: |
Luxembourg City, Luxembourg |
届数: |
27 |
CORE: a QUALIS: a2 浏览: 20027 关注: 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 在 2023-09-02
录取率
时间 | 提交数 | 录取数 | 录取率(%) |
---|---|---|---|
2021 | 88 | 28 | 31.8% |
2020 | 98 | 31 | 31.6% |
2019 | 85 | 29 | 34.1% |
2018 | 103 | 31 | 30.1% |
2017 | 101 | 32 | 31.7% |
2016 | 85 | 31 | 36.5% |
2015 | 93 | 28 | 30.1% |
2014 | 106 | 28 | 26.4% |
2013 | 109 | 28 | 25.7% |
2012 | 100 | 29 | 29% |
2011 | 100 | 30 | 30% |
2010 | 86 | 25 | 29.1% |
2009 | 102 | 30 | 29.4% |
2008 | 103 | 25 | 24.3% |
2007 | 103 | 25 | 24.3% |
2006 | 107 | 28 | 26.2% |
2005 | 108 | 30 | 27.8% |
2004 | 130 | 34 | 26.2% |
2003 | 96 | 26 | 27.1% |
2002 | 67 | 28 | 41.8% |
2001 | 63 | 25 | 39.7% |
2000 | 68 | 25 | 36.8% |
1999 | 40 | 18 | 45% |
最佳论文
时间 | 最佳论文 |
---|---|
2001 | Axioms for Recursion in Call-by-Value |
相关会议
CCF | CORE | QUALIS | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
---|---|---|---|---|---|---|---|
DSDIS | IEEE International Conference on Data Science and Data Intensive Systems | 2015-08-25 | 2015-09-25 | 2015-12-11 | |||
HLDVT | International High-Level Design, Validation, and Test Workshop | 2016-07-24 | 2016-08-15 | 2016-10-07 | |||
b3 | ICWMC | International Conference on Wireless and Mobile Communications | 2022-02-20 | 2022-03-20 | 2022-05-22 | ||
EW | European Wireless | 2021-04-16 | 2021-05-23 | 2021-11-10 | |||
b4 | DSL | International Conference on Domain-Specific Languages | 2011-04-18 | 2011-06-10 | 2011-09-06 | ||
MLICOM | EAI International Conference on Machine Learning and Intelligent Communications | 2020-04-15 | 2020-05-29 | 2020-07-25 | |||
IEEE ECICE | IEEE Eurasia Conference on IOT, Communication and Engineering | 2022-08-31 | 2022-09-15 | 2022-10-28 | |||
a | WINE | Conference on Web and Internet Economics | 2024-07-15 | 2024-09-16 | 2024-12-02 | ||
b | a1 | Mobisys | International Conference on Mobile Systems, Applications and Services | 2023-11-23 | 2024-03-06 | 2024-06-03 | |
GoodIT | ACM International Conference on Information Technology for Social Good | 2024-05-17 | 2024-07-08 | 2024-09-04 |
简称 | 全称 | 截稿日期 | 会议日期 |
---|---|---|---|
DSDIS | IEEE International Conference on Data Science and Data Intensive Systems | 2015-08-25 | 2015-12-11 |
HLDVT | International High-Level Design, Validation, and Test Workshop | 2016-07-24 | 2016-10-07 |
ICWMC | International Conference on Wireless and Mobile Communications | 2022-02-20 | 2022-05-22 |
EW | European Wireless | 2021-04-16 | 2021-11-10 |
DSL | International Conference on Domain-Specific Languages | 2011-04-18 | 2011-09-06 |
MLICOM | EAI International Conference on Machine Learning and Intelligent Communications | 2020-04-15 | 2020-07-25 |
IEEE ECICE | IEEE Eurasia Conference on IOT, Communication and Engineering | 2022-08-31 | 2022-10-28 |
WINE | Conference on Web and Internet Economics | 2024-07-15 | 2024-12-02 |
Mobisys | International Conference on Mobile Systems, Applications and Services | 2023-11-23 | 2024-06-03 |
GoodIT | ACM International Conference on Information Technology for Social Good | 2024-05-17 | 2024-09-04 |
相关期刊
CCF | 全称 | 影响因子 | 出版商 | ISSN |
---|---|---|---|---|
International Journal in Foundations of Computer Science & Technology | AIRCC | 1839-7662 | ||
Applied Informatics | Springer | 2196-0089 | ||
b | IEEE Transactions on Evolutionary Computation | 5.805 | IEEE | 1089-778X |
b | Evolutionary Computation | 1.061 | MIT Press | 1063-6560 |
Concurrency Computation Practice and Experience | 1.167 | Wiley-Blackwell | 1532-0626 | |
Journal of Software Maintenance and Evolution: Research and Practice | 1.273 | John Wiley & Sons, Ltd. | 2047-7481 | |
Engineering Computations | 1.246 | Emerald | 0264-4401 | |
Foundations and Trends in Signal Processing | Now Publishers Inc. | 1932-8346 | ||
c | Information Management & Computer Security | Emerald | 0968-5227 | |
b | Journal of Software: Evolution and Process | 0.606 | John Wiley & Sons, Ltd | 2047-7481 |
全称 | 影响因子 | 出版商 |
---|---|---|
International Journal in Foundations of Computer Science & Technology | AIRCC | |
Applied Informatics | Springer | |
IEEE Transactions on Evolutionary Computation | 5.805 | IEEE |
Evolutionary Computation | 1.061 | MIT Press |
Concurrency Computation Practice and Experience | 1.167 | Wiley-Blackwell |
Journal of Software Maintenance and Evolution: Research and Practice | 1.273 | John Wiley & Sons, Ltd. |
Engineering Computations | 1.246 | Emerald |
Foundations and Trends in Signal Processing | Now Publishers Inc. | |
Information Management & Computer Security | Emerald | |
Journal of Software: Evolution and Process | 0.606 | John Wiley & Sons, Ltd |
推荐