CIAA , la Conferencia Internacional sobre Implementación y Aplicación de Autómatas es una conferencia académica anual en el campo de la informática . Su propósito es reunir a miembros de la comunidad académica, investigadora e industrial que tienen interés en la teoría, implementación y aplicación de autómatas y estructuras relacionadas. Allí, la conferencia se ocupa de la investigación sobre todos los aspectos de la implementación y aplicación de autómatas y estructuras relacionadas, incluidos los aspectos teóricos. En 2000, la conferencia surgió del Taller sobre Implementación de Autómatas (WIA) .
Conferencia sobre Implementación y Aplicación de Autómatas | |
---|---|
Abreviatura | CIAA (anteriormente WIA) |
Disciplina | Teoría de los autómatas y lenguajes formales |
Detalles de la publicación | |
Editor | Springer LNCS |
Historia | 1996– |
Frecuencia | anual (desde 1996) |
Como la mayoría de los congresos teóricos de ciencias de la computación, sus contribuciones son revisadas por pares; los artículos aparecen en las actas publicadas en Springer Lecture Notes in Computer Science . Versiones extendidas de artículos seleccionados de la conferencia de cada año aparecen alternativamente en las revistas Theoretical Computer Science y International Journal of Foundations of Computer Science . Cada año se entrega un premio al mejor trabajo.
Temas de la conferencia
Dado que el enfoque de la conferencia es la teoría aplicada, las contribuciones generalmente provienen de una amplia gama de dominios de aplicación. Los temas típicos de la conferencia incluyen, entre otros, los siguientes, ya que se relacionan con los autómatas:
- Computación bioinspirada
- Complejidad de las operaciones de autómatas, complejidad del estado
- Compiladores
- Verificación asistida por computadora, verificación de modelos
- Concurrencia
- Compresión de datos e imágenes
- Diseño y arquitectura de software de autómatas
- Ingeniería documental
- Procesamiento natural del lenguaje
- La coincidencia de patrones
- Enseñanza de la teoría de autómatas
- Procesamiento de texto
- Técnicas de visualización gráfica de autómatas.
Historia de la Conferencia
La serie de conferencias CIAA fue fundada por Darrell Raymond y Derick Wood . Desde 2013, el comité directivo está presidido por Kai Salomaa .
Evento | Localización | Sillas para PC | Actas | Problema especial |
---|---|---|---|---|
1 ° WIA 1996 | Londres, Ontario, Canadá | Darrell R. Raymond Derick Wood Sheng Yu | LNCS 1260 | |
2do WIA 1997 | Londres, Ontario, Canadá | Derick Wood Sheng Yu | LNCS 1436 | Ciencias de la Computación Teórica 231 (1), 2000 |
3er WIA 1998 | Rouen, Francia | Jean-Marc Champarnaud Denis Maurel Djelloul Ziadi | LNCS 1660 | Informática Teórica 267 (1-2), 2001 |
4to WIA 1999 | Potsdam, alemania | Oliver Boldt Helmut Jürgensen | LNCS 2214 | |
5to CIAA 2000 | Londres, Ontario, Canadá | Sheng Yu Andrei Paun | LNCS 2088 | Revista Internacional de Fundamentos de la Ciencia de la Computación 13 (1), 2002 |
6 ° CIAA 2001 | Pretoria, Sudáfrica | Bruce W. Watson, Derick Wood | LNCS 2494 | Informática Teórica 313 (1), 2004 |
7 ° CIAA 2002 | Tours, Francia | Jean-Marc Champarnaud Denis Maurel | LNCS 2608 | Revista Internacional de Fundamentos de la Ciencia de la Computación 14 (6), 2003 |
8 ° CIAA 2003 | Santa bárbara, estados unidos | Oscar H. Ibarra Zhe Dang | LNCS 2759 | Informática Teórica 328 (1-2), 2004 |
9 ° CIAA 2004 | Kingston, Ontario, Canadá | Kai Salomaa Sheng Yu | LNCS 3317 | Revista Internacional de Fundamentos de la Ciencia de la Computación 16 (3), 2005 |
10 ° CIAA 2005 | Sophia Antipolis, Francia | Jacques Farré Igor Litovsky | LNCS 3845 | Informática Teórica 363 (2), 2006 |
11 ° CIAA 2006 | Taipei, Taiwán | Oscar H. Ibarra Hsu-Chun Yen | LNCS 4094 | Revista Internacional de Fundamentos de la Ciencia de la Computación 18 (4), 2007 |
12 ° CIAA 2007 | Praga, República Checa | Jan Holub Bořivoj Melichar | LNCS 4783 | Ciencias de la Computación Teórica 410 (37), 2009 |
13 ° CIAA 2008 | San Francisco, California, EE. UU. | Oscar H. Ibarra Bala Ravikumar | LNCS 5148 | Revista Internacional de Fundamentos de la Ciencia de la Computación 20 (4), 2009 |
14 ° CIAA 2009 | Sydney, Australia | Sebastián Maneth | LNCS 5642 | Ciencias de la Computación Teórica 411 (38-39), 2010 |
15 ° CIAA 2010 | Winnipeg, Manitoba, Canadá | Michael Domaratzki Kai Salomaa | LNCS 6482 | Revista Internacional de Fundamentos de la Ciencia de la Computación 22 (8), 2011 |
16 ° CIAA 2011 | Blois, Francia | Béatrice Bouchou-Markhoff Jean-Marc Champarnaud Denis Maurel | LNCS 6807 | Ciencias de la Computación Teórica 450, 2012 |
17 ° CIAA 2012 | Oporto, portugal | Nelma Moreira Rogério Reis | LNCS 7381 | Revista Internacional de Fundamentos de la Ciencia de la Computación 24 (6), 2013 |
18 ° CIAA 2013 | Halifax, Nueva Escocia, Canadá | Stavros Konstantinidis | LNCS 7982 | Informática Teórica 578, 2015 |
19 ° CIAA 2014 | Giessen, Alemania | Markus Holzer Martin Kutrib | LNCS 8587 | Revista Internacional de Fundamentos de la Ciencia de la Computación 26 (7), 2015 |
20o CIAA 2015 | Umeå, Suecia | Frank Drewes | LNCS 9223 | Informática Teórica 679, 2017 |
21 ° CIAA 2016 | Seúl, Corea del Sur | Yo-Sub Han Kai Salomaa | LNCS 9705 | Revista Internacional de Fundamentos de la Ciencia de la Computación 28 (5), 2017 |
22 ° CIAA 2017 | París, Francia | Arnaud Carayol Cyril Nicaud | LNCS 10329 | Informática Teórica 787, 2019 |
23 ° CIAA 2018 | Charlottetwon, Isla del Príncipe Eduardo, Canadá | Cezar Câmpeanu | LNCS 10977 | Revista Internacional de Fundamentos de la Ciencia de la Computación 31 (8), 2020 |
24 ° CIAA 2019 | Košice, Eslovaquia | Galina Jirásková | LNCS 11601 | Informática Teórica , por aparecer. |
25 ° CIAA 2020 | Loughborough, Reino Unido (cancelado) | Manfred Kufleitner Daniel Reidenbach | N / A | N / A |
Ver también
- La lista de conferencias de informática contiene otras conferencias académicas en informática.
Referencias
- Domaratzki, Michael; Okhotin, Alexander; Salomaa, Kai (2004), "Informe sobre la CIAA 2004" (PDF) , Boletín de la EATCS , 84 : 231–234.
enlaces externos
- sitio web oficial de la CIAA
- Información de los procedimientos de la CIAA de DBLP