posted by user: cezar || 6450 views || tracked by 10 users: [display]

DCFS 2008 : 10th International Workshop on Descriptional Complexity of Formal Systems

FacebookTwitterLinkedInGoogle


Conference Series : Descriptional Complexity of Formal Systems
 
Link: http://www.csit.upei.ca/dcfs2008/
 
When Jul 16, 2008 - Jul 18, 2008
Where Charlottetown
Submission Deadline Apr 7, 2008
Notification Due May 25, 2008
Categories    complexity   computation theory   information science   information technology
 

Call For Papers

10th International Workshop on
Descriptional Complexity of Formal Systems (DCFS 2008)
Prince Edward Island, Canada, July 16-18, 2008
http://www.csit.upei.ca/dcfs2008

Preliminary Call for Papers


Deadline for submissions: April 7, 2008
Notification of acceptance or rejection: May 25, 2008
Final copy for the proceedings: June 25, 2008
Workshop: July 16-18, 2008


The area of interest covers descriptional complexity in
various areas, e.g., automata, grammars and languages,
Boolean functions and circuits, formal systems, unconventional
models of computing, as well as the relationship to structural,
computational, and Kolmogorov complexities.
(For a list of topics, please see the website.)

We hope that many of you will submit papers and will attend
DCFS'08.

With best wishes,

Cezar Campeanu University of Prince Edward Island
Giovanni Pighizzini University of Milan

Related Resources

DCFS 2024   Descriptional Complexity of Formal Systems
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
SIMULTECH 2024   14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
FM 2024   Formal Methods
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
ICISS 2024   The 20th International Conference on Information Systems Security (ICISS-2024)
CIIS 2024   ACM--2024 7th International Conference on Computational Intelligence and Intelligent Systems (CIIS 2024)