Conference Information
FoSSaCS 2023: International Conference on Foundations of Software Science and Computation Structures
https://etaps.org/2023/fossacsSubmission Date: |
2022-10-13 |
Notification Date: |
2022-12-22 |
Conference Date: |
2023-04-22 |
Location: |
Paris, France |
Years: |
26 |
CORE: a QUALIS: a2 Viewed: 17161 Tracked: 7 Attend: 0
Call For Papers
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
Last updated by Dou Sun in 2022-08-21
Acceptance Ratio
Year | Submitted | Accepted | Accepted(%) |
---|---|---|---|
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% |
Best Papers
Year | Best Papers |
---|---|
2001 | Axioms for Recursion in Call-by-Value |
Related Conferences
Short | Full Name | Submission | Conference |
---|---|---|---|
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 | 2022-07-07 | 2022-12-12 |
Mobisys | International Conference on Mobile Systems, Applications and Services | 2022-12-09 | 2023-06-18 |
GoodIT | ACM International Conference on Information Technology for Social Good | 2022-05-23 | 2022-09-07 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | 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 |
Full Name | Impact Factor | Publisher |
---|---|---|
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 |
Recommendation