posted by user: grupocole || 671 views || tracked by 1 users: [display]

DCFS 2016 : Descriptional Complexity of Formal Systems Working Conference


Conference Series : Descriptional Complexity of Formal Systems
When Jul 5, 2016 - Jul 8, 2016
Where Bucharest, Romania
Submission Deadline Mar 1, 2016
Notification Due Mar 21, 2016
Final Version Due Apr 10, 2016
Categories    theoretical computer science

Call For Papers


1st Call for Papers -- DCFS 2016

We apologize if you receive multiple copies of this Call for Papers.

Please distribute to anyone who may be interested.


Dear colleagues and Friends,

Enclosed you can find the preliminary



DCFS 2016, Descriptional Complexity of Formal Systems Working Conference.


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.


The workshop will be jointly organized by The University of Bucharest,
with the support of IFIP Working Group 1.2.

Conference website:
and (alternate)

Special thanks go to the invited speakers:

Marie-Pierre Béal (Paris, France)
James Currie (University of Winnipeg, Winnipeg/Manitoba, Canada)
Gabriel Istrate (Timișoara, Romania)
Galina Jirásková (Mathematical Institute Slovak Academy of Sciences, Kosice, Slovak Republic)
Solomon Marcus (Romanian Academy, Bucharest, Romania)

for accepting our invitation to present their recent results at DCFS 2016.

Important Dates:

Submission Deadline: March 1, 2016
Notification of accepted papers: March 21, 2016
Final Version: April 10, 2016
Conference dates: July 5-8, 2016

Topics of interest:

Submissions concerning the descriptional complexity of formal systems
and structures (and its applications) are invited for DCFS
2016. Original papers are sought in all aspects of descriptional complexity,
topics include, but are not limited 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


Papers presenting original contributions concerning the topics of the conference are being
sought. Authors are invited to submit papers of no more than 12 pages
in LNCS-style LaTeX2e (available at Papers must be in
English, and provide sufficient details to allow the program committee
to assess their merits. Proofs omitted due to space constraints must
be added into an appendix to be read by the program committee members at
their discretion. Simultaneous submission to other conferences or
workshops with published proceedings is _*not*_ allowed.

Papers will be submitted electronically in PDF, using the EasyChair system.

Program Commitee:

Valérie Berthé (Paris, France)
Cezar Câmpeanu (Charlottetown/PE, Canada, co-chair)
Cristian S. Calude (Auckland, New Zealand)
Zoltan Esik (Szeged, Hungary)
Yo-Sub Han (Seoul, Republic of Korea)
Christos Kapoutsis (Doha, Qatar)
Lila Kari (Waterloo/Ontario, Canada)
Jarkko J Kari (Turku, Finland)
Stavros Konstantinidis (St Mary's University, Halifax/Nova Scotia, Canada)
Martin Kutrib (Gießen, Germany)
Florin Manea (Kiel, Germany, co-chair)
Ian McQuillan (Saskatoon/Saskatchewan, Canada)
Carlo Mereghetti (Milano, Italy)
Nelma Moreira (Porto, Portugal)
Dirk Nowotka (Kiel, Germany)
Alexander Okhotin (Turku, Finland)
Dana Pardubska (Bratislava, Slovak Republic)
Andrei Paun (University of Bucharest, Bucharest, Romania)
Giovanni Pighizzini (Milano, Italy)
Jean-Eric Pin (Paris, France)
Marinella Sciortino (Palermo, Italy)
Jeffrey O. Shallit (Waterloo/Ontario, Canada, co-chair)
Bianca Truthe (Gießen, Germany)

Steering Committee:

Cezar Câmpeanu (University of Prince Edward Island, Charlottetown/Prince Edward Island, Canada)
Erzsébet Csuhaj-Varjú (Budapest, Hungary)
Jürgen Dassow (Otto-von-Guericke-University of Magdeburg, Magdeburg, Germany)
Helmut Jürgensen (Western University, London/Ontario, Canada)
Martin Kutrib (Giessen University, Giessen, Germany)
Giovanni Pighizzini (University of Milano, Milano, Italy, chair)
Rogério Reis (University of Porto, Porto, Portugal)

Organizing Committee:

Radu Gramatovici (University of Bucharest)
~ (Full list will be announced at a later date)


Postal address:

DCFS 2016 Organizing Committee,
Department of Computer Science University of Bucharest,
Str.Academiei nr. 14, Bucharest, Romania



We hope that many of you will submit papers and will attend the Conference.

With best regards,

Cezar Câmpeanu (University of Prince Edward Island)
Florin Manea (University of Kiel)
Jeffrey Shallit (University of Waterloo)

Related Resources

DCFS 2017   19th International Conference on Descriptional Complexity of Formal Systems
IJBES 2016   International journal of Biomedical Engineering and Science
IROS 2017   IEEE/RSJ International Conference on Intelligent Robots and Systems
CMVIT 2017   2017 International Conference on Machine Vision and Information Technology (CMVIT 2017)
Big Data 2016   International Conference on Big Data
BIOEJ 2016   Bioscience & Engineering: An International Journal
QEST 2017   14th International Conference on Quantitative Evaluation of SysTems
FM 2016   21st International Symposium on Formal Methods
NFM 2017   The 9th NASA Formal Methods Symposium
MEMOCODE 2016   ACM-IEEE International Conference on Formal Methods and Models for System Design