# MFCS — International Symposium on Mathematical Foundations of Computer Science

- **Submission deadline**: 2024-04-26
- **Notification date**: 2024-06-24
- **Conference date**: 2024-08-26
- **Location**: Bratislava, Slovakia
- **Rankings**: CCF C · CORE B · QUALIS B1
- **Conference Partner Index**: 73.3/100 (ranked #279, confidence 1.00, algorithm 1.1) — how this is computed: https://www.myhuiban.com/ranking
- **Trackers**: 36
- **Attendees**: 7
- **Canonical page**: https://www.myhuiban.com/conference/374

## Acceptance history

| Year | Submitted | Accepted | Rate |
|---|---|---|---|
| 2020 | 242 | 82 | 33.9% |
| 2019 | 198 | 78 | 39.4% |
| 2018 | 185 | 84 | 45.4% |
| 2017 | 192 | 80 | 41.7% |
| 2016 | 195 | 84 | 43.1% |
| 2015 | 201 | 82 | 40.8% |
| 2014 | 270 | 95 | 35.2% |
| 2013 | 191 | 67 | 35.1% |
| 2012 | 162 | 63 | 38.9% |
| 2011 | 129 | 48 | 37.2% |

## Call for papers

The MFCS conference series on Mathematical Foundations of Computer Science is a high-quality venue for original research in all branches of Theoretical Computer Science. MFCS is among the conferences with the longest history in the field — the first conference in the series was held already in 1972. Traditionally, the conference moved between the Czech Republic, Slovakia, and Poland, while since 2013, the conference has traveled around Europe. In 2024, at its 49th edition, MFCS will be held as a physical event in Bratislava, Slovakia. Topics The program committee encourages submission of original research papers in all areas of theoretical computer science, including (but not limited to) the following: algebraic and co-algebraic methods in computer science algorithms and data structures automata and formal languages bioinformatics combinatorics on words, trees, and other structures computational complexity (structural and model-related) computational geometry computer-aided verification computer assisted reasoning concurrency theory cryptography and security cyber physical systems, databases and knowledge-based systems formal specifications and program development foundations of computing logics in computer science mobile computing models of computation networks parallel and distributed computing quantum computing semantics and verification of programs theoretical issues in artificial intelligence and machine learning types in computer science

## Related conferences

- MFPS — International Conference on the Mathematical Foundations of Programming Semantics — https://www.myhuiban.com/conference/388
- ICC — International Conference on Communications — https://www.myhuiban.com/conference/318
- IJCNN — International Joint Conference on Neural Networks — https://www.myhuiban.com/conference/428
- TrustCom — International Conference on Trust, Security and Privacy in Computing and Communications — https://www.myhuiban.com/conference/1289
- ICONIP — International Conference on Neural Information Processing — https://www.myhuiban.com/conference/437

## Related journals

- Foundations of Computational Mathematics — https://www.myhuiban.com/journal/479
- Mathematical Programming — https://www.myhuiban.com/journal/516
- Journal of Mathematical Imaging and Vision — https://www.myhuiban.com/journal/508
- Applied Mathematical Modelling — https://www.myhuiban.com/journal/347
- Mathematical Programming Computation — https://www.myhuiban.com/journal/517

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