 |
|
THE FIELDS
INSTITUTE FOR RESEARCH IN MATHEMATICAL SCIENCES
|
June
25-27, 2015
Descriptional Complexity of Formal Systems Workshop
(DCFS2015)
to
be held at the University of Waterloo
Local
Organizers:
Jeffrey Shallit, University of Waterloo
Lila Kari, Western University
Chen Fei Du, University of Waterloo
|
 |
|
|
|
|
|
Overview
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.
Program 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
Top
|
|
