Call for Paper
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 conference 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 limited 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: Javier Esparza
(Technische Universität München, Germany), 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@informatik.uni-giessen.de
The conference will be organized by the the Institut für Informatik of the Justus-Liebig-Universität Giessen, Germany.