posted by user: cezar || 4150 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

SBLP 2020   24th Brazilian Symposium on Programming Languages
GreeNet Symposium - SGNC 2020   11th Symposium on Green Networking and Computing (SGNC 2020)
LATA 2020   14th International Conference on Language and Automata Theory and Applications
MoWiN 2020   9th International Conference on Mobile & Wireless Networks
SIMULTECH 2020   10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
ACM-CSSE 2020-Ei/Scopus 2020   2020 3nd International Conference on Computer Science and Software Engineering (CSSE 2020)
SEFM 2020   Software Engineering and Formal Methods
IEEE-CTISC 2020   2020 2nd International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2020)
STOC 2020   Symposium on the Theory of Computing
ACM--NLPIR--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2020)--Scopus, Ei Compendex