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

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

FacebookTwitterLinkedInGoogle


Conference Series : Descriptional Complexity of Formal Systems
 
Link: http://cs.smu.ca/~dcfs2018/
 
When Jul 25, 2018 - Jul 27, 2018
Where Halifax, Canada
Submission Deadline TBD
 

Call For Papers

[Empty]

Related Resources

DCFS 2021   23rd International Conference on Descriptional Complexity of Formal Systems
SIMULTECH 2021   11th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
LATA 2020 & 2021   14th International Conference on Language and Automata Theory and Applications
ICDM 2021   21st IEEE International Conference on Data Mining
FM 2021   Formal Methods 2021
STOC 2021   Symposium on the Theory of Computing
UVS-Oman 2022   The 2nd International Conference on Unmanned Vehicle Systems (UVS-Oman 2022) - IEEE
ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex
CAV 2021   33rd International Conference on Computer-Aided Verification
NFM 2021   13th NASA Formal Methods Symposium