# FoSSaCS — International Conference on Foundations of Software Science and Computation Structures

- **Submission deadline**: 2026-10-15
- **Notification date**: 2026-12-22
- **Conference date**: 2027-04-10
- **Location**: Copenhagen, Denmark
- **Rankings**: CORE B · QUALIS A2
- **Trackers**: 7
- **Attendees**: 0
- **Canonical page**: https://www.myhuiban.com/conference/202

## Acceptance history

| Year | Submitted | Accepted | Rate |
|---|---|---|---|
| 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% |

## Call for papers

Scope of Interest The scope of FoSSaCS is broad. The specific topics covered by the conference include, but are not limited to, the following list. 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.

## Related conferences

- SIGIR — International Conference on Research and Development in Information Retrieval — https://www.myhuiban.com/conference/141
- AAAI — AAAI Conference on Artificial Intelligence — https://www.myhuiban.com/conference/408
- CVPR — IEEE Conference on Computer Vision and Pattern Recognition — https://www.myhuiban.com/conference/407
- ICRA — International Conference on Robotics and Automation — https://www.myhuiban.com/conference/421
- IJCAI — International Joint Conference on Artificial Intelligence — https://www.myhuiban.com/conference/405

## Related journals

- Computers & Structures — https://www.myhuiban.com/journal/363
- Foundations of Computational Mathematics — https://www.myhuiban.com/journal/479
- Applied Categorical Structures — https://www.myhuiban.com/journal/442
- Random Structures & Algorithms — https://www.myhuiban.com/journal/970
- Computation — https://www.myhuiban.com/journal/946

---
Source: Conference Partner — https://www.myhuiban.com/conference/202 (rankings reproduced from CCF / ICORE / QUALIS; data cached up to 1 hour)