Logic List Mailing Archive

11th International Conference on Implementation and Application of Automata, Taipei, August 2006

******************************************
          FINAL 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 can be found on the CIAA 2006 
web site  http://cobra.ee.ntu.edu.tw/ciaa2006/     

The proceedings will be published by Springer-Verlag 
in the LNCS series and will be available at the meeting. 
(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/