16th International Workshop on
Descriptional Complexity of Formal Systems

August 5-8, 2014
Department of Mathematics and Statistics, University of Turku
Turku, Finland


Invited Speakers * Important Dates * Topics of Interest * Submission * Discussion/Open Problems Session * Programme Committee * Steering Committee * Venue & Travel * Organizing Committee * Contacts

DCFS 2014 will be held in Turku, Finland, on August 5-8, 2014. It will be preceded by NCMA 2014 in Kassel, Germany (July 28-29) and CIAA 2014 in Giessen, Germany (July 30-August 2).

The workshop is organized by the research centre on Fundamentals of Computing and Discrete Mathematics (FUNDIM) at the Department of Mathematics and Statistics, University of Turku. It is the 16th workshop in a series running annually since 1999.

News

Invited Speakers

Andris Ambainis

University of Latvia, Latvia

Recent Developments in Quantum Algorithms and Complexity

Oscar H. Ibarra

University of California, Santa Barbara, USA

Automata with Reversal-Bounded Counters: A Survey

Manfred Kufleitner

University of Stuttgart, Germany

Star-Free Languages and Local Divisors

Nikolay Vereshchagin

Moscow State University, Russia

Aperiodic tilings by right triangles

Important Dates

Topics of Interest

Submissions concerning the descriptional complexity of formal systems and structures (and its applications) are invited for DCFS 2014. Topics related to all aspects of descriptional complexity, including, but not limited to:

Submission

Submissions concerning the descriptional complexity of formal systems are invited for the workshop. Papers on applications of such issues, for instance in the fields of software or hardware testing, systems modelling, natural language modelling as well as demonstrations of systems related to these issues are also welcome.

The papers should present original research contributions concerning the topics of the workshop. They should not exceed 12 pages when prepared using LaTeX and the style of the Springer Lecture Notes in Computer Science. The style-file is available from Springer by the following link:

http://www.springer.de/comp/lncs/authors.html.

Papers must be written in English and must provide sufficient detail for the program committee to assess their merits. If the authors believe that more details are essential to substantiate the main claims, they may include a clearly marked appendix that will be read at the discretion of the program committee. Simultaneous submission to journals or to other conferences with published proceedings is not allowed.

Papers should be submitted as pdf files electronically using the EasyChair system:

https://www.easychair.org/conferences/?conf=dcfs2014.

The proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS) series and will be available at the workshop. Accepted papers must be presented at the workshop. As in the previous years, a special journal issue with full versions of selected papers will be devoted to DCFS 2014.

Discussion/Open Problems session

The organizers are prepared to reserve some time for "discussion papers" reporting on open problems, work in progress, etc. Speakers are invited to express their interest to the organizing committee by the end of May. If there is a sufficient interest in the community, a local proceedings volume dedicated to the discussion session may be published.

The details will be announced later.

Programme Committee

Steering Committee

Venue & Travel

Turku is directly reachable by plane from Helsinki, Stockholm, Copenhagen, Riga, Budapest and Gdańsk:

View a larger map

There are trains from Helsinki and Tampere almost every hour: more information available on the VR's pages.

From Helsinki-Vantaa airport there is a bus connection both to Tikkurila railway station and to the city of Turku. A detailed guide is available here.

Turku is also available by ferry from Stockholm, more information at Viking Line and Tallink Silja pages.

The conference will take place at the Department of Mathematics and Statistics of University of Turku.

Organizing Committee

Contacts

Personal inquires should be sent to
DCFS 2014 Organizing Committee
Department of Mathematics and Statistics
University of Turku
20014 Turku
Finland


Maintained by Mikhail Barash. Updated 07.07.2014 070720141540EEST