posted by organizer: skonstan || 1524 views || tracked by 3 users: [display]

DCFS 2018 : 20th International Conference on Descriptional Complexity of Formal Systems


Conference Series : Descriptional Complexity of Formal Systems
When Jul 25, 2018 - Jul 27, 2018
Where Halifax, Canada
Submission Deadline TBD

Call For Papers


Related Resources

LATA 2020   14th International Conference on Language and Automata Theory and Applications
SBLP 2020   24th Brazilian Symposium on Programming Languages
SIMULTECH 2020   10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
SEFM 2020   Software Engineering and Formal Methods
STOC 2020   Symposium on the Theory of Computing
Recommender Systems 2020   Data Science for Next-Generation Recommender Systems
FormaliSE 2020   8th International Conference on Formal Methods in Software Engineering
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
IJCAR 2020   10th International Joint Conference on Automated Reasoning
The City and Complexity 2020   The City and Complexity – Life, Design and Commerce in the Built Environment