会議情報
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 閲覧: 22433 追跡: 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
合格率
時間 | 提出 | 受け入れ | 受け入れ(%) |
---|---|---|---|
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 | 2024-09-15 | 2024-09-30 | 2024-11-15 | |||
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 | 2024-12-09 | 2025-03-07 | 2025-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 | 2024-09-15 | 2024-11-15 |
WINE | Conference on Web and Internet Economics | 2024-07-15 | 2024-12-02 |
Mobisys | International Conference on Mobile Systems, Applications and Services | 2024-12-09 | 2025-06-03 |
GoodIT | ACM International Conference on Information Technology for Social Good | 2024-05-17 | 2024-09-04 |
関連仕訳帳
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
---|---|---|---|---|
Enterprise Information Systems | 4.400 | Taylor & Francis | 1751-7575 | |
Calculus of Variations and Partial Differential Equations | 2.100 | Springer | 0944-2669 | |
EURASIP Journal on Wireless Communications and Networking | 2.300 | Springer | 1687-1499 | |
a | Science China Information Sciences | 7.300 | Springer | 1674-733X |
Systems Engineering | 1.600 | Wiley-Blackwell | 1098-1241 | |
International Journal of E-Entrepreneurship and Innovation | IGI Global | 1947-8585 | ||
Journal of Software Maintenance and Evolution: Research and Practice | 1.700 | John Wiley & Sons, Ltd. | 2047-7481 | |
Virtual Reality | 4.400 | Springer | 1359-4338 | |
Computational Management Science | 1.300 | Springer | 1619-697X | |
IEEE Transactions on Circuits and Systems for Artificial Intelligence | IEEE | 2996-6647 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
Enterprise Information Systems | 4.400 | Taylor & Francis |
Calculus of Variations and Partial Differential Equations | 2.100 | Springer |
EURASIP Journal on Wireless Communications and Networking | 2.300 | Springer |
Science China Information Sciences | 7.300 | Springer |
Systems Engineering | 1.600 | Wiley-Blackwell |
International Journal of E-Entrepreneurship and Innovation | IGI Global | |
Journal of Software Maintenance and Evolution: Research and Practice | 1.700 | John Wiley & Sons, Ltd. |
Virtual Reality | 4.400 | Springer |
Computational Management Science | 1.300 | Springer |
IEEE Transactions on Circuits and Systems for Artificial Intelligence | IEEE |
おすすめ