CIAA: Conference on Implementation and Application of Automata

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2017 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
CIAA 2016 21st International Conference on Implementation and Application of Automata
Jul 19, 2016 - Jul 22, 2016 Seoul (South Korea) Mar 15, 2016
CIAA 2015 20th International Conference on Implementation and Application of Automata
Aug 18, 2015 - Aug 21, 2015 Umea Sweden Apr 19, 2015
CIAA 2014 Conference on Implementation and Application of Automata
Jul 30, 2014 - Aug 2, 2014 Giessen, Germany Mar 9, 2014
CIAA 2013 18th International Conference on Implementation and Application of Automata
Jul 16, 2013 - Jul 19, 2013 Halifax, Nova Scotia, Canada Mar 10, 2013
CIAA 2012 17th International Conference on Implementation and Application of Automata
Jul 17, 2012 - Jul 20, 2012 Porto, Portugal Mar 18, 2012
CIAA 2011 16th International Conference on Implementation and Application of Automata
Jul 13, 2011 - Jul 16, 2011 Blois, France Mar 1, 2011
CIAA 2010 The 15th International Conference on Implementation and Application of Automata
Aug 12, 2010 - Aug 15, 2010 Winnipeg, Manitoba, Canada Apr 9, 2010
CIAA 2009 14th International Conference on Implementation and Application of Automata
Jul 14, 2009 - Jul 17, 2009 Sydney, Australia Mar 16, 2009
CIAA 2008 Thirteenth International Conference on Implementation and Application of Automata (CIAA)
Jul 21, 2008 - Jul 24, 2008 San Francisco, California Mar 1, 2008
 
 

Present CFP : 2016

--------------------------------------------------------------------------------------
21st International Conference on Implementation and Application of
Automata (CIAA 2016)
July 19-22, 2016, Seoul (South Korea)
http://toc.yonsei.ac.kr/ciaa2016
--------------------------------------------------------------------------------------

Aims:
The CIAA conference series, which was started in 1996, covers all
aspects of implementation, application, and theory of automata and
related structures. It aims to attract contributions from both
classical automata theory and applications.

Venue:
CIAA 2016 will take place in Seoul, the capital of South Korea. The
event will be held on campus of Yonsei University, the oldest
university in South Korea.

Topics:
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 the world-wide web.

Programs:
The scientific program will consist of invited lectures and
presentations of papers selected by the international program
committee, based on a thorough peer-reviewing process.
A Best Paper Awards (named after one of the conference founders, the
late Sheng Yu) will be announced and presented during the conference.

Invited speakers:
Oscar Ibarra (University of California, Santa Barbara, USA)
Bakhadyr Khoussainov (University of Auckland, New Zealand)
Ahyoung Sung (Samsung Electronics, South Korea)

Program Committee:
Marie-Pierre Béal (University of Marne-la-Vallée, France)
Bernd Burgstaller (Yonsei University, South Korea)
Cezar Câmpeanu (University of Prince Edward Island, Canada)
Pascal Caron (University of Rouen, France)
Jean-Marc Champarnaud (University of Rouen, France)
Salimur Choudhury (Algoma University, Canada)
Michael Domaratzki (University of Manitoba, Canada)
Frank Drewes (Umeå University, Sweden)
Dominik D. Freydenberger (Bayreuth University, Germany)
Yo-Sub Han (Yonsei University, South Korea), chair
Markus Holzer (Justus Liebig University Giessen, Germany)
Oscar Ibarra (University of California, Santa Barbara, USA)
Sang-Ki Ko (Yonsei University, South Korea)
Stavros Konstantinidis (Saint Mary's University, Canada)
Andreas Malcher (Justus Liebig University Giessen, Germany)
Andreas Maletti (University of Stuttgart, Germany)
Sebastian Maneth (University of Edinburgh, UK)
Denis Maurel (University of Tours, France)
Cyril Nicaud (University of Marne-la-Vallée, France)
Alexander Okhotin (University of Turku, Finland)
Giovanni Pighizzini (University of Milano, Italy)
Bala Ravikumar (Sonoma State University, USA)
Daniel Reidenbach (Loughborough University, UK)
Rogério Reis (University of Porto, Portugal)
Michel Rigo (University of Liège, Belgium)
Kai Salomaa (Queen's University, Canada), co-chair
Shinnosuke Seki (University of Electro-Communications, Japan)
György Vaszil (University of Debrecen, Hungary)
Bruce Watson (Stellenbosch University, South Africa)
Hsu-Chun Yen (National Taiwan University, Taiwan)

Important dates:
Submission deadline: March 15, 2016 AoE
Author notification: April 20, 2016
Camera-ready version: May 1, 2016
Conference: July 19 – 22, 2016

Submissions:
Submissions must be written in LaTeX using the LNCS style and must not
exceed 12 pages, bibliography included. 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
journals or any other conference with published proceedings, or
submitting previously published papers is not allowed. Only electronic
submission of PDF documents is possible. The proceedings will be
published in the Springer LNCS series and will be available at the
conference.
Authors should submit their contributions at
https://www.easychair.org/conferences/?conf=ciaa2016

Special issue:
After the conference, authors of selected papers will be invited to
submit a substantially extended and revised version of their
contribution to a special issue of International Journal of
Foundations of Computer Science (IJFCS).

Contact: ciaa2016meeting@gmail.com

The conference is organized by the Department of Computer Science at
Yonsei University, South Korea

 

Related Resources

ACL 2017   The 55th annual meeting of the Association for Computational Linguistics
IFL 2016   28th Symposium on Implementation and Application of Functional Languages
IJNLC 2016   International Journal on Natural Language Computing
CIAA 2016   21st International Conference on Implementation and Application of Automata
NLDB 2017   22nd International Conference on Natural Language & Information Systems
NSDI 2016   13th USENIX Symposium on Networked Systems Design and Implementation
ICALP 2017   44th International Colloquium on Automata, Languages, and Programming
IJBES 2016   International journal of Biomedical Engineering and Science
NSDI 2017   14th USENIX Symposium on Networked Systems Design and Implementation
TSD 2017   20th International Conference on Text, Speech and Dialogue