CIAA 2012

17th International Conference on Implementation and Application of Automata

About CIAA 2012

The 17th International Conference on Implementation and Application of Automata (CIAA) will take place in Porto, Portugal on July 17-20, 2012. CIAA 2012 will take place just before DCFS 2012
This year edition of the conference is dedicated to Alan Turing on the occasion of the Centenary Celebration of his life and work.
Stacks Image 118
Stacks Image 336
A special session in memoriam of Professor Sheng Yu will take place during this edition of CIAA.
Slides of Kay Salomaa's talk "In Memoriam" of Sheng Yu
The CIAA conferences concern research on all aspects of implementation and application of automata and related structures, including theoretical aspects.
Automata theory is the foundation of computer science. Its applications have spread to almost all areas of computer science and many other disciplines. In addition, there is a growing number of software systems designed to manipulate automata, regular expressions, grammars, and related structures; examples include AGL, AMoRE, ASTL, Automate, FADELA, FAdo, FinITE, FIRE Station, FLAP, FSM, Grail+, INR, Intex, MERLin, MONA, TESTAS, Turing's World, Vaucanson, WFSC and Whale Calf.

The purpose of this conference is to bring together members of the academic, research, and industrial community who have an interest in the theory, implementation, and application of automata and related structure
s.

Conference proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS). Selected papers will appear in a special issue of International Journal of Foundations of Computer Science.

Best Paper Award


The best paper award was attributed to: "P(l)aying for Synchronization" by Fedor Fominykh and Mikhail Volkov
Stacks Image 101

Indexed by:

Stacks Image 489
Stacks Image 125
LNCS
Stacks Image 105
Stacks Image 108
Stacks Image 111
Stacks Image 115
Stacks Image 8
Stacks Image 121
Stacks Image 1088
Stacks Image 21
Stacks Image 340
Stacks Image 439
Stacks Image 444
Stacks Image 447
Stacks Image 421
Stacks Image 428