posted by user: cezar || 4410 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 2020   22nd International Conference on Descriptional Complexity of Formal Systems
AIP Journal - Indexed in Scopus 2020   Journal of Social and Business Informatics - Acta Informatica Pragensia
SEFM 2020   Software Engineering and Formal Methods
AVC 2020   Advances in Vision Computing: An International Journal
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
ACM--NLPIR--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2020)--Scopus, Ei Compendex
FM 2021   Formal Methods 2021
IEEE CAIT--Ei Compendex, Scopus 2020   2020 IEEE International Conference on Artificial Intelligence Technology (CAIT 2020)--Ei Compendex, Scopus
APEEN 2021   APEEN2021 Conference: Energy Transition and Sustainability
IEEE--ICISPP--Ei Compendex, Scopus 2020   IEEE--2020 International Conference on Information Security and Privacy Protection (ICISPP 2020)--Ei Compendex, Scopus