DCFS: Descriptional Complexity of Formal Systems

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2019 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
DCFS 2018 20th International Conference on Descriptional Complexity of Formal Systems
Jul 25, 2018 - Jul 27, 2018 Halifax, Canada TBD
DCFS 2017 19th International Conference on Descriptional Complexity of Formal Systems
Jul 3, 2017 - Jul 5, 2017 Milano, Italy Mar 1, 2017
DCFS 2016 Descriptional Complexity of Formal Systems Working Conference
Jul 5, 2016 - Jul 8, 2016 Bucharest, Romania Mar 1, 2016
DCFS 2015 DCFS 2015 (Descriptional Complexity of Formal Systems), Waterloo, Ontario, June 25-27 2015
Jun 25, 2015 - Jun 27, 2015 Waterloo, Ontario, Canada Mar 1, 2015
DCFS 2014 16th International Workshop on Descriptional Complexity of Formal Systems
Aug 5, 2014 - Aug 8, 2014 Turku, Finland Apr 11, 2014
DCFS 2013 15th International Workshop on Descriptional Complexity of Formal Systems
Jul 22, 2013 - Jul 25, 2013 London, Ontario, Canada Mar 20, 2013
DCFS 2012 14th International Workshop on Descriptional Complexity of Formal Systems
Jul 23, 2012 - Jul 25, 2012 Braga, Portugal Apr 1, 2012
DCFS 2010 Workshop on Descriptional Complexity of Formal Systems
Aug 8, 2010 - Aug 10, 2010 Saskatoon, SK, Canada TBD
DCFS 2008 10th International Workshop on Descriptional Complexity of Formal Systems
Jul 16, 2008 - Jul 18, 2008 Charlottetown Apr 7, 2008
 
 

Present CFP : 2018

[Empty]
 

Related Resources

FCT 2019   22nd Symposium on Fundamentals of Computation Theory
FM 2019   23rd International Symposium on Formal Methods – 3rd World Congress on Formal Methods
NSDI 2020   The 17th USENIX Symposium on Networked Systems Design and Implementation
CRYBLOCK 2019   INFOCOM Workshop - 2nd Workshop on Cryptocurrencies and Blockchains for Distributed Systems (CryBlock 2019)
WTDSI-SBSI 2019   Workshop de Teses e Dissertações em Sistemas de Informação
IJIBM 2019   Call For Papers - International Journal of Information, Business and Management
SEFM 2019   Software Engineering and Formal Methods
FGCS-ETDNS 2020   Future Generation Computer Systems SI on Emerging Topics in Defending Networked Systems
EI-APCRAS 2020   2020 Asia-Pacific Conference on Robotics and Autonomous Systems (APCRAS 2020)
UMUAI FatRec 2019   UMUAI Special issue on: Fair, Accountable, and Transparent Recommender Systems