posted by organizer: shallit || 1770 views || tracked by 5 users: [display]

DCFS 2015 : DCFS 2015 (Descriptional Complexity of Formal Systems), Waterloo, Ontario, June 25-27 2015

FacebookTwitterLinkedInGoogle


Conference Series : Descriptional Complexity of Formal Systems
 
Link: https://cs.uwaterloo.ca/~shallit/DC2015/
 
When Jun 25, 2015 - Jun 27, 2015
Where Waterloo, Ontario, Canada
Submission Deadline Mar 1, 2015
Notification Due Mar 30, 2015
Final Version Due Apr 15, 2015
Categories    descriptional complexity   automata   formal systems   grammars
 

Call For Papers


Call for Papers -- DCFS 2015

17th International Workshop on Descriptional Complexity of Formal Systems

Waterloo, Ontario, Canada

June 25-27 2015

https://cs.uwaterloo.ca/~shallit/DC2015/

--------------------------------------------------------------------------

DCFS 2015 will be held in Waterloo, Ontario, Canada, on June 25-27,
2015. It will be preceded by a 1-day conference at Waterloo in honour
of the 80th birthday of Janusz (John) Brzozowski, June 24 2015.

The workshop is organized by the School of Computer Science at the
Faculty of Mathematics, University of Waterloo.


Invited Speakers
----------------

Rajeev Alur, University of Pennsylvania, (Philadelphia, Pennsylvania, USA)
Thomas Colcombet, Universite Denis Diderot, (Paris, France)


Important Dates
---------------

Submission deadline: March 1 2015
Notification: March 30 2015
Final version: April 15 2015
1-day Conference for Janusz Brzozowski: June 24 2015
Workshop dates: June 25-27 2015



Topics of interest
------------------

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

- automata, grammars, languages and other formal systems, various modes
of operation and complexity measures,

- trade-offs between computational models and modes of operation,

- succinctness of description of objects, state explosion-like phenomena,

- circuit complexity of Boolean functions and related measures,

- resource-bounded or structure-bounded environments,

- frontiers between decidability and undecidability,

- universality and reversibility,

- structural complexity,

- formal systems for applications (e.g., software reliability, software
and hardware testing, modelling of natural languages),

- nature-motivated (bio-inspired) architectures and unconventional
models of computing,

- complexity aspects of combinatorics on words,

- Kolmogorov complexity.



Submissions
-----------

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:
http://www.easychair.org/conferences/?conf=dcfs2015

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 2015.



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 April.
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
-------------------

Rusins Freivalds (Riga, Latvia)
Yo-Sub Han (Seoul, Korea)
Markus Holzer (Giessen, Germany)
Artur Jez (Saarbrucken, Germany and Wroclaw, Poland)
Galina Jiraskova (Kosice, Slovak Republic)
Lila Kari (London, Ontario, Canada)
Manfred Kufleitner (Stuttgart, Germany)
Hing Leung (Las Cruces, New Mexico, USA)
Ian McQuillan (Saskatoon, Saskatchewan, Canada)
Nelma Moreira (Porto, Portugal)
Alexander Okhotin (Turku, Finland), co-chair
Jean-Eric Pin (Paris, France)
Daniel Reidenbach (Loughborough, England, UK)
Kai Salomaa (Kingston, Ontario, Canada)
Jeffrey Shallit (Waterloo, Ontario, Canada), co-chair


Local Arrangements Committee
----------------------------

Hamoon Mousavi, University of Waterloo
Kai Salomaa, Queen's University
Jeffrey Shallit, University of Waterloo, chair


Steering Committee
------------------

Cezar Campeanu (Charlottetown, Canada)
Erzsebet Csuhaj-Varju (Budapest, Hungary)
Jurgen Dassow (Magdeburg, Germany)
Helmut Jurgensen (London, Canada)
Martin Kutrib (Giessen, Germany)
Giovanni Pighizzini (Milano, Italy, chair)
Rogerio Reis (Porto, Portugal)



CONTACT
-------

Web page: https://cs.uwaterloo.ca/~shallit/DC2015/
E-mail: dcfs2015@cs.uwaterloo.ca

Related Resources

DCFS 2017   19th International Conference on Descriptional Complexity of Formal Systems
SIMULTECH 2018   8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
Persuasive 2018   The annual conference on Persuasive Technology 2018 Waterloo Canada
FM 2018   22nd International Symposium on Formal Methods
LICS 2018   Logic in Computer Science
STOC 2018   Symposium on the Theory of Computing
HVC 2017   Haifa Verification Conference
What is...? 2018   What is Universe? Communications - Complexity - Coherence
FWCG 2017   Fall Workshop on Computational Geometry
COMPLEXIS 2018   3rd International Conference on Complexity, Future Information Systems and Risk