Logic List Mailing Archive

Conference on Implementation and Application of Automata (CIAA 2006): Taipeh, August 2006

CALL FOR PAPERS

              CIAA 2006
      11th International Conference on 
   Implementation and Application of Automata

        August 21-23, 2006, Taipei, Taiwan
        
     http://cobra.ee.ntu.edu.tw/ciaa2006/ 
     
************************************************

The 11th edition of the CIAA will take place in Taipei, Taiwan, on August
21 - 23, 2006.  The conference will be hosted by the Department of
Electrical Engineering, National Taiwan University.

We solicit papers in areas including, but not limited to, the following
topics as they relate to automata:

TOPICS 

- Bioinformatics 
- Bio-inspired computing 
- 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 
- Document engineering 
- Editors, environments 
- Experimental studies and practical experiences 
- Industrial applications 
- Natural language processing 
- Networking 
- New algorithms for manipulating automata 
- Object-oriented modeling 
- Pattern-matching 
- Quantum computing 
- Speech and speaker recognition 
- Structured and semi-structured documents 
- Symbolic manipulation environments for automata 
- Teaching 
- Text processing 
- Techniques for graphical display of automata 
- VLSI 
- Viruses, related phenomena 
- World-wide web 

Authors are invited to submit an electronic version (Postscript or pdf) by
March 31, 2006.  An extended abstract should start with the title, each
author's name, affiliation, and e-mail address, and a one-paragraph
summary of the results and ideas.  The extended abstract should provide
sufficient detail to allow the Program Committee to evaluate its validity,
quality, and relevance to the conference.  The extended abstract should be
at most ten (10) pages long using 11-point font with ample margins.  If
appropriate, proof details omitted in the paper may be added in an
appendix.  Precise instructions concerning the submission procedure will
be provided later on the CIAA 2006 web site
http://cobra.ee.ntu.edu.tw/ciaa2006/

We expect the proceedings to appear in the Springer-Verlag Lectures Notes
in Computer Science series (pending approval). (See, for example, LNCS
3317 and LNCS 3845 for the proceedings of two previous conferences.)
Extended versions of selected papers from the proceedings of the
conference series will be solicited for publication in a special issue of
Theoretical Computer Science (TCS) and International Journal of
Foundations of Computer Science (IJFCS), alternating each year with the
CIAA 2006 special issue appearing in IJFCS.  There will be a Best Paper
Award for CIAA.  The award is sponsored by the University of California at
Santa Barbara.


INVITED SPEAKERS

 Ming Li (Waterloo, Canada)
 Grzegorz Rozenberg (Leiden, The Netherlands)
 Sheng Yu (London, Canada)


PROGRAM COMMITTEE

 Marie-Pierre Beal (Marne-la-Vallee, France)
 Cristian Calude (Auckland, New Zealand)
 Jean-Marc Champarnaud (Rouen, France)
 Erzsebet Csuhaj-Varju (Budapest, Hungary)
 Jurgen Dassow (Magdeburg, Germany)
 Jacques Farre (Nice, France)
 Rudolf Freund (Vienna, Austria)
 Jozef Gruska (Brno, Czech Republic)
 Tero Harju (Turku, Finland)
 Jan Holub (Prague, Czech Republic)
 Markus Holzer (Munchen, Germany)
 Oscar H. Ibarra, Co-Chair (Santa Barbara, USA)
 Masami Ito (Kyoto, Japan)
 Kazuo Iwama (Kyoto, Japan)
 Juhani Karhumaki (Turku, Finland)
 Hsueh-I Lu (Taipei, Taiwan)
 Denis Maurel (Tours, France)
 Mehryar Mohri (New York, USA)
 Andrei Paun (Ruston, USA)
 Jean-Eric Pin (Paris, France)
 Bala Ravikumar (Sonoma, USA)
 Wojciech Rytter (Warsaw, Poland)
 Jacques Sakarovitch (Paris, France)
 Kai Salomaa (Kingston, Canada)
 Pierluigi San Pietro (Milano, Italy)
 Giora Slutzki (Ames, USA)
 Bow-Yaw Wang (Taipei, Taiwan)
 Farn Wang (Taipei, Taiwan)
 Bruce Watson (Pretoria, South Africa)
 Hsu-Chun Yen, Co-Chair (Taipei, Taiwan)
 Sheng Yu (London, Canada)


ORGANIZING COMMITTEE

 Tsan-Sheng Hsu, Co-Chair (Taipei, Taiwan)
 Oscar H. Ibarra (Santa Barbara, USA)
 Hsueh-I Lu (Taipei, Taiwan)
 Bow-Yaw Wang (Taipei, Taiwan)
 Farn Wang (Taipei, Taiwan)
 Hsu-Chun Yen, Co-Chair (Taipei, Taiwan)
 

PROCEEDINGS COMMITTEE
 
 Oscar H. Ibarra (Santa Barbara, USA)
 Hsu-Chun Yen (Taipei, Taiwan) 

IMPORTANT DATES

 Submission:  March 31, 2006
 Notification:  May 10, 2006
 Final version: May 31, 2006
 Conference: August 21-23, 2006 

For submission instructions, 
please see the conference web site at
http://cobra.ee.ntu.edu.tw/ciaa2006/