Descriptional Complexity of Formal Systems Workshop (DCFS2015)
June 25 - 27, 2015, University of Waterloo
Description
Descriptional Complexity of Formal Systems is an annual workshop that originated with DCAGRS 1999 (Descriptional Complexity of Automata, Grammars and Related Structures) in Magdeburg, Germany, and FDSR (Formal Descrptions and Software Reliability) 1998 in Paderborn, Germany.
The goal of the workshop is to bring together researchers in the sizes of various mathematical models in computation, such as automata, and how various operations affect these sizes.