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

RTNS 2023   International conference on Real-Time Networks and Systems
ACM-EI/Scopus-ACAI 2022   2022 5th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2022)-EI Compendex
SIUSAI 2023   2023 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence (SIUSAI 2023)
EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
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
ECCSIT 2022   2022 European Conference on Computer Science and Information Technology (ECCSIT 2022)
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ICoSR 2022   2022 International Conference on Service Robotics(ICoSR 2022)
FM 2023   Formal Methods
DT4CS 2023   Special Issue on Digital Twins for Complex Systems in Big Data and Cognitive Computing Journal