All CFPs for "formal languages"
Click on the CFP acronym to open this CFP.
To add a CFP to your watchlist, click .
Click on a topic to see related CFPs.
The table below uses the following colors: in my watchlist, other.
Acronym | Name | Location | Submission deadline | Start date | Topics | Add to watchlist |
---|---|---|---|---|---|---|
MFCS 2025 | 50th International Symposium on Mathematical Foundations of Computer Science | Warsaw, Poland | Apr 18, 2025 | Aug 25, 2025 | formal languages models of computation verification theory of computation | ![]() |
SOFSEM 2026 | 51st International Conference on Current Trends in Theory and Practice of Computer Science | Krakow, Poland | Sep 18, 2025 | Feb 9, 2026 | algorithms and data structures combinatorial optimization artificial intelligence and machine learning formal languages | ![]() |