posted by organizer: skonstan || 1701 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 2020   22nd International Conference on Descriptional Complexity of Formal Systems
LATA 2020 & 2021   14th International Conference on Language and Automata Theory and Applications
FM 2021   Formal Methods 2021
ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex
ICRE--EI, Scopus 2021   2021 5th International Conference on Reliability Engineering (ICRE 2021)--EI Compendex, Scopus
APEEN 2021   APEEN2021 Conference: Energy Transition and Sustainability
CEC 2021   IEEE Congress on Evolutionary Computation
DLRS 2021   Call for Papers: Topical Issue on Deep Learning for Recommender Systems
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification
TACAS 2021   27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems