UNIBUC

18th International Conference on Descriptional Complexity of Formal Systems
Bucharest, Romania July 5-8, 2016
IFIP   
 
The Working Conference  
News  
Call for Papers  
Topics  
Submissions  
Proceedings  
Important Dates  
Invited Speakers  
Steering Committee  
Program Committee  
Organization  
Previous DCFSs  
Related Conferences  
Location (Venue)  
Travelling Information  
Accommodation  
Accepted Papers  
Timetable  
Registration  
Contact  
Solomon Marcus Heritage  
Call for Papers
 

Call for Papers

D C F S     2 0 1 6
THE 18thINTERNATIONAL CONFERENCE ON DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS
http://www.csit.upei.ca/dcfs2016 and(mirror) http://fmi.unibuc.ro/dcfs2016

The 18th International Conference on Descriptional Complexity of Formal Systems will take place in Bucharest, Romania, from July 5-8, 2016. Bucharest is the capital and largest city, as well as the cultural, industrial, and financial centre of Romania. The conference is organized by the Faculty of Mathematics and Computer Science University of Bucharest, located in the center of Bucharest, at Km 0.

Important Dates

  • Deadline for submissions: March 1extended to March 4 AoE, 2016 (possible updates of existing submissions March 6 AoE)
  • Notification of acceptance or rejection: April 7, 2016(updated)
  • Final copy for the LNCS Proceedings: April 15, 2016(updated)
  • Conference: July 6-8, 2016
  • Selected papers will be published in the Journal of Automata, Languages and Combinatorics
    • Invitations to submit the papers: August 1, 2016
    • Submission deadline: November 15, 2016
    • Notification: March 15, 2017

    We are inviting your participation at DCFS2016. Original papers are sought in all areas that relate to decriptional complexity, including (but not restricted to):

    • various modes of operations and complexity measures for automata, grammars, languages and of related systems
    • succinctness of description of objects, state-explosion-like phenomena
    • trade-offs between descriptional complexity and mode of operation
    • circuit complexity of Boolean functions and related measures
    • succinctness of description of (finite) objects
    • descriptional complexity in resource-bounded or structure-bounded environments
    • complexity aspects related to the combinatorics of words
    • structural complexity of formal systems as related to descriptional complexity
    • descriptional complexity of formal systems for applications (e.g. software reliability, software and hardware testing, modelling of natural languages)
    • descriptional complexity aspects of nature-motivated (bio-inspired) architectures and unconventional models of computing
    • frontiers between decidability and undecidability
    • universality and reversibility
    • Blum Static (Kolmogorov/Chaitin) complexity, algorithmic information
    DCFS 2016 will take place immediately after and before
    • ICALP 2016 The 43rd International Colloquium on Automata, Languages, and Programming, Rome, Italy, July 11-15, 2016,
    • CIAA 2016 The 21st International Conference on Implementation and Application of Automata, Seoul, South Korea, July 19 - 22, 2016, and
    • DLT 2016 20th International Conference on Developments in Language Theory, Montreal/Quebec, Canada, August 1-4, 2016,

    thus it will be easy to attend all these events.


Invited Speakers

Steering Committee

Organizing Committee

  • Mihaita Dragan (Bucharest, Romania)
  • Radu Gramatovici (Bucharest, Romania, Chair)
  • Maria Negru (Bucharest, Romania)
  • Stefan Popescu (Bucharest, Romania)
   

Program Committee

We are looking forward to your participation.

Website and Contacts

Official DCFS 2016 website

Personal inquires should be sent to

or to

DCFS 2016 Organizing Committee, Department of Computer Science University of Bucharest,
Str.Academiei nr. 14, Sector 1, C.P. 010014, Bucharest, Romania.
 



Last modified: Wednesday July 27, 2016 at 11:38 pm EET
DCFS 2016