CIAA 2014 - 19th International Conference on Implementation and Application of Automata (CIAA 2014)

Implementation and Application of Automata, CIAA 2014
19th International Conference
July 30 - August 2, 2014, Giessen Germany
http://www.informatik.uni-giessen.de/ciaa2014/
The CIAA onference series has a long tradition an it cover all aspects of implementation, application, and theory of automata and related structures.
Topics of interest include, but not limted to: algorithms on automata, automata and logic, bioinformatics, complexity of automata operations, compilers, computer-aided verification, concurrency, data structure design for automata, data and image compression, design and architecture of automata software, digital libraries, DNA/molecular/membrane computing, document engineering, editors, environments, experimental studies and practical experience, implementation of verification methods and model checking, industrial applications, natural language and speech processing, networking, new algorithms for manipulating automata, object-oriented modeling, pattern-matching, pushdown automata and context-free grammars, quantum computing, structured and semi-structured documents, symbolic manipulation environments for automata, transducers and multi-tape automata, techniques for graphical display of automata, VLSI, viruses and related phenomena, and world-wide web.
The scientific program will consist of invited lectures and presentations of papers selected by the international program committee.
Invited speakers: Friedrich Otto (Universität Kassel, Germany), Giovanni Pighizzini (Università degli studi di Milano, Italy), Georgios Sirakoulis (Democritus University of Thrace, Greece).
Program Commitee: Holger Bock Axelsen (University of Copenhagen, Denmark), Cezar Câmpeanu (University of Prince Edward Island, PE, Canada), Jean-Marc Champarnaud (Université de Rouen, France), Stefano Crespi-Reghizzi (Politechnico di Milano, Italy), Jürgen Dassow (Otto-von-Guericke-Universität Magdeburg, Germany), Frank Drewes (Umeå University, Sweden), Manfred Droste (Universität Leipzig, Germany), Markus Holzer (Universität Giessen, Germany, chair), Oscar Ibarra (University of California, USA), Katsunobu Imai (Hiroshima University, Japan), Galina Jirásková (Slovak Academy of Sciences, Slovak Republic), Christos Kapoutsis (Carnegie Mellon University in Qatar, State of Qatar), Juhani Karhumäki (University of Turku, Finland), Ondřej Klíma (Masaryk University, Czech Republic), Stavros Konstantinidis (St. Mary's University, NS, Canada), Martin Kutrib (Universität Giessen, Germany, chair), Andreas Maletti (Universität Stuttgart, Germany), Denis Maurel (Universitá Francois Rabelais, France), Carlo Mereghetti (Università degli Studi di Milano, Italy), Brink van der Merwe (University of Stellenbosch, South Africa), Nelma Moreira (Universidade do Porto, Portugal), František Mráz (Univerzita Karlova, Czech Republic), Cyril Nicaud (Universitá Paris-Est, France), Daniel Reidenbach (Loughborough University, UK), Kai Salomaa (Queen's University, ON, Canada), Klaus Sutner (Carnegie Mellon University, USA), György Vaszil (University of Debrecen, Hungary), Hsu-Chun Yen (National Taiwan University, Taiwan)
Important dates: The following time schedule applies:
Paper submission deadline: March 9, 2014
Author notification: April 28, 2014
Camera-ready deadline: May 19, 2014
Conference: July 30 - August 2, 2014
Submissions to CIAA 2014 must not exceed 12 pages (in LNCS style and including bibliography). 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 submissions of papers to any other conference with published proceedings or submitting previously published papers is not allowed. Only electronic submissions in the PDF format are accepted. Information about the submission procedure will be available on the conference web page in due time. The proceedings will be published in the Springer's LNCS series and will be available at the conference.
A special issue of the International Journal of Foundations of Computer Science containing expanded versions of selected papers will be published after the conference.
Contact: ciaa2014-AT-informatik.uni-giessen.de
The conference will be organized by the the Institut für Informatik of the Justus-Liebig-Universität Giessen, Germany.