posted by user: grupocole || 9136 views || tracked by 12 users: [display]

CIAA 2017 : 22nd International Conference on Implementation and Application of Automata

FacebookTwitterLinkedInGoogle


Conference Series : Conference on Implementation and Application of Automata
 
Link: http://ciaa17.univ-mlv.fr/
 
When Jun 27, 2017 - Jun 30, 2017
Where Marne-la-Vallée (Fr
Submission Deadline Mar 1, 2017
Notification Due Apr 8, 2017
Final Version Due Apr 18, 2017
Categories    theoretical computer science   NLP
 

Call For Papers



——————————————————————————————
22nd International Conference on Implementation and Application of
Automata (CIAA 2017)
June 27-30, 2017, Université Paris-Est Marne-la-Vallée (France)
http://ciaa17.univ-mlv.fr/
——————————————————————————————


* 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 2017 will take place at Université Paris-Est Marne-la-Vallée. The campus
is located 30 minutes from the center of Paris using public transportation.


* 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:
Véronique Cortier (CNRS, LORIA,France)
Kim G. Larsen (Aalborg University, Denmark)
Damien Pous (CNRS, ENS Lyon, France)


* Program Committee:
Cezar Câmpeanu (University of Prince Edward Island, Canada)
Arnaud Carayol (Université Paris-Est, France) (co-chair)
Jean-Marc Champarnaud (Université de Rouen, France)
Julien Clément (Université de Caen, France)
Jan Daciuk (Gdańsk University of Technology, Poland)
Frank Drewes (Umeå University, Sweden)
Manfred Droste (University of Leipzig, Germany)
Matthew Hague (Royal Holloway, University of London, UK)
Yo-Sub Han (Yonsei University, 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)
Christof Löding (RWTH AACHEN University, Germany)
Markus Lohrey (University of Siegen, Germany)
Sylvain Lombardy (Bordeaux Institute of Technology, France)
Andreas Maletti (University of Leipzig, Germany)
Sebastian Maneth (University of Edinburgh, UK)
Denis Maurel (Université François Rabelais de Tours, France)
Nelma Moreira (Universidade do Porto, Portugal)
Cyril Nicaud (Université Paris-Est, France) (co-chair)
Kemal Oflazer (Carnegie Mellon University, Qatar)
Bala Ravikumar (Sonoma State University, USA)
Daniel Reidenbach (Loughborough University, UK)
Kai T. Salomaa (Queen's University, Kingston, Canada)
Marinella Sciortino (Università degli studi di Palermo, Italy)
Shinnosuke Seki (University of Electro-Communications, Japan)
Brink van der Merwe (University of Stellenbosch, South Africa)
Mikhail Volkov (Ural Federal University, Ekaterinburg, Russia)
Hsu-Chun Yen (National Taiwan University, Taipei, Taiwan)


* Important dates:
Submission deadline: March 1st, 2017 AoE
Author notification: April 8, 2017
Camera-ready version: April 18, 2017
Conference: June 27 – 30, 2017


* 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=ciaa2017


* Special issue:
Selected papers from the conference will be invited for consideration
in a journal special issue to be published in Theoretical Computer Science (TCS).


Contact: ciaa17@u-pem.fr




Related Resources

CIAA 2024   The 28th International Conference on Implementation and Application of Automata
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
PLDI 2024   The 45th ACM SIGPLAN Conference on Programming Language Design and Implementation
NLDB 2024   The 29th International Conference on Natural Language & Information Systems
OSDI 2024   The 18th USENIX Symposium on Operating Systems Design and Implementation
COMSCI 2024   3rd International Conference on Computer Science and Information Technology
ICALP 2024   International Colloquium on Automata, Languages and Programming
COMIT 2024   8th International Conference on Computer Science and Information Technology
NSDI 2024   The 21st USENIX Symposium on Networked Systems Design and Implementation
CODASPY 2024   The 14th ACM Conference on Data and Application Security and Privacy