posted by organizer: emmous || 2509 views || tracked by 2 users: [display]

CIAA 2016 : 21st International Conference on Implementation and Application of Automata

FacebookTwitterLinkedInGoogle

Link: http://toc.yonsei.ac.kr/ciaa2016/
 
When Jul 19, 2016 - Jul 22, 2016
Where SEOUL, SOUTH KOREA
Submission Deadline Mar 15, 2016
Notification Due Apr 20, 2016
Final Version Due May 1, 2016
Categories    automata theory   formal languages   theoretical computer science
 

Call For Papers

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 Award (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

CIAA 2024   The 28th International Conference on Implementation and Application of Automata
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
PLDI 2024   The 45th ACM SIGPLAN Conference on Programming Language Design and Implementation
LearnAut 2024   Learning and Automata
OSDI 2024   The 18th USENIX Symposium on Operating Systems Design and Implementation
ICALP 2024   International Colloquium on Automata, Languages and Programming
CODASPY 2024   The 14th ACM Conference on Data and Application Security and Privacy
NSDI 2024   The 21st USENIX Symposium on Networked Systems Design and Implementation
CCAT 2024   2024 the 3rd International Conference on Computer Application Technology (CCAT 2024)
AIAT 2024   2024 4th International Conference on Artificial Intelligence and Application Technologies (AIAT 2024)