posted by organizer: skonstan || 2364 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

RTNS 2023   International conference on Real-Time Networks and Systems
SIUSAI 2023   2023 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence (SIUSAI 2023)
IEEE CCNC STP-CPS 2023   5th International Workshop on Security Trust Privacy for Cyber-Physical Systems (STP-CPS'23) with IEEE CCNC 2023, 8-11 January, Las Vegas, NV, USA
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
FM 2023   Formal Methods
DT4CS 2023   Special Issue on Digital Twins for Complex Systems in Big Data and Cognitive Computing Journal
DCAI 2023   20th International Conference on Distributed Computing and Artificial Intelligence
ICDCS 2023   The 43rd IEEE International Conference on Distributed Computing Systems
ICUASA 2023   2023 6th International Conference on Unmanned Aerial Systems and Aerospace(ICUASA 2023)
Sensors journal 2022   Special Issue on Energy-Efficient Communication Networks and Systems