CIAA: Conference on Implementation and Application of Automata

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

Event When Where Deadline
CIAA 2018 23rd International Conference on Implementation and Application of Automata
Jul 30, 2018 - Aug 2, 2018 Charlottetown, Canada Mar 11, 2018
CIAA 2017 22nd International Conference on Implementation and Application of Automata
Jun 27, 2017 - Jun 30, 2017 Marne-la-Vallée (Fr Mar 1, 2017
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 : 2018

====================================================================

Preliminary Call for Papers -- CIAA 2018


We apologize if you receive multiple copies of this

preliminary Call for Papers.

Please distribute to anyone who may be interested.

====================================================================

Dear colleagues and Friends,

Enclosed you can find the preliminary

C A L L F O R P A P E R S
for
23rd International Conference on Implementation and Application of
Automata -- CIAA 2018

——————————————————————————————
23rd International Conference on Implementation and Application of
Automata (CIAA 2018)
July 30 -- August 2, 2018, University of Prince Edward Island (Canada)
http://www.smcs.upei.ca/ciaa2018/
——————————————————————————————


* 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 2018 will take place at the University of Prince Edward Island,
in Charlottetown, the capital city of "the smallest and the greenest province of Canada".
Prince Edward Island (PEI) is an island in the Atlantic Ocean, connected to the mainland
(New Brunswick) by Confederation Bridge, the longest bridge in the world over waters that freeze.
The campus is located on Trans-Canada Highway, 6.2 km from the Charlottetown airport, and
3 km from the Confederation House, the birthplace of Canada
(https://www.tourismpei.com/pei-arts-culture-heritage/birthplace-of-canada).


* Topics:
Topics of interest include, but are 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:

Anne Condon (University of British Columbia, Vancouver/British Columbia, Canada)
Stavros Konstantinidis (St. Mary's University, Halifax, Canada)
Andreas Malcher (Justus-Liebig Universität Gießen, Gießen, Germany)


* Program Committee:

Francine Blanchet-Sadri (University of North Carolina, USA)
Cezar Câmpeanu (University of Prince Edward Island, Canada, Chair)
Arnaud Carayol (Université Paris-Est, France) (co-chair)
Jean-Marc Champarnaud (Université de Rouen, France)
Salimur Choudhury (Lakehead University, Canada)
Jan Daciuk (Gdańsk University of Technology, Poland)
Dora Giammarresi (University of Rome Tor Vergata, Italy)
Yo-Sub Han (Yonsei University, Seoul, South Korea)
Markus Holzer (Justus-Liebig-Universität, Giessen, Germany)
Oscar Ibarra (University of California, Santa Barbara, USA)
Galina Jirásková (Slovak Academy of Sciences, Slovak Republic)
Juhani Karhumäki (University of Turku, Finland)
Sylvain Lombardy (Bordeaux Institute of Technology, France)
Carlo Mereghetti (University of Milano, Italy)
František Mráz (Univerzita Karlova, Czech Republic)
Cyril Nicaud (Université Paris-Est, France)
Alexander Okhotin (University of St Petersburg, Russian Federation)
Giovanni Pighizzini (University of Milano, Italy)
Daniel Reidenbach (Loughborough University, United Kingdom)
Rogério Reis (University of Porto, Portugal)
Kai T. Salomaa (Queen's University, Kingston/Ontario, Canada)
Shinnosuke Seki (University of Electro-Communications, Japan)
Klaus Sutner (Carnegie Mellon University, USA)
Mikhail Volkov (Ural Federal University, Russian Federation)
Abuzer Yakaryilmaz (National Laboratory for Scientific Computing, Brazil)
Hsu-Chun Yen (National Taiwan University, Taipei, Taiwan)



* Important dates:
Submission deadline: March 11, 2018
Author notification: April 20, 2018
Camera-ready version: May 6, 2018
Conference: July 30 -- August 2, 2018


* Submissions:
Submissions must be written in LaTeX 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.
Authors should submit their contributions at
https://www.easychair.org/conferences/?conf=ciaa2018


* Publication
CIAA 2018 proceedings will be published in a special issue of Springer LNCS series.
Selected papers from the conference will be invited for consideration in an extended
version and will appear in a special issue of International Journal of Foundations of
Computer Science (IJFCS).


Contact: ciaa2018@upei.ca

We are looking forward to your participation.

 

Related Resources

ACL 2018   56th Annual Meeting of the Association for Computational Linguistics
CIAA 2017   22nd International Conference on Implementation and Application of Automata
COLING 2018   The 27th International Conference on Computational Linguistics (COLING 2018)
NSDI 2017   14th USENIX Symposium on Networked Systems Design and Implementation
NAACL HLT 2018   The 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies
NSDI 2018   15th USENIX Symposium on Networked Systems Design and Implementation
ELELIJ 2017   Electrical and Electronics Engineering: An International Journal
ICDM 2018   18th Industrial Conference on Data Mining ICDM 2018
IJESA 2017   International Journal of Embedded Systems and Applications
ASPLOS 2018   23rd International Conference on Architectural Support for Programming Languages and Operating Systems