posted by organizer: skonstan || 270 views || tracked by 1 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 2017   19th International Conference on Descriptional Complexity of Formal Systems
ICFEM 2017   19th International Conference on Formal Engineering Methods
Social Information Systems @ HICSS-51   Social Information Systems Minitrack - Hawaii International Conference on System Sciences (HICSS-51)
WCCI 2018   World Congress on Computational Intelligence
FACS 2017   14th International Conference on Formal Aspects of Component Software
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
FMCAD 2017   Formal Methods in Computer-Aided Design
SOSA 2018   Symposium on Simplicity in Algorithms
MEMOCODE 2017   15th ACM/IEEE International Conference on Formal Methods and Models for System Design
AACSN 2017   Complexity Special Issue on Analysis and Applications of Complex Social Networks