DLT , la Conferencia Internacional sobre Desarrollos en Teoría del Lenguaje es una conferencia académica en el campo de la informática que se celebra anualmente bajo los auspicios de la Asociación Europea de Ciencias de la Computación Teórica . 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 . Las versiones extendidas de artículos seleccionados de la conferencia de cada año aparecen en revistas internacionales, como Theoretical Computer Science y International Journal of Foundations of Computer Science .
Conferencia Internacional sobre Desarrollos en Teoría del Lenguaje | |
---|---|
Abreviatura | DLT |
Disciplina | Lenguajes formales |
Detalles de la publicación | |
Editor | Springer LNCS |
Historia | 1993– |
Frecuencia | anual (desde 2001) |
Temas de la conferencia
Los temas típicos incluyen:
- gramáticas, aceptadores y transductores de palabras, árboles y gráficos
- teorías algebraicas de autómatas
- propiedades algorítmicas, combinatorias y algebraicas de palabras y lenguajes
- códigos de longitud variable
- dinámica simbólica
- autómata celular
- poliominós y patrones multidimensionales
- preguntas de decidibilidad
- manipulación y compresión de imágenes
- algoritmos de texto eficientes
- Relaciones entre la teoría del lenguaje formal y la criptografía, la concurrencia, la teoría de la complejidad y la lógica.
- Computación bioinspirada y computación cuántica
Historia de la Conferencia
La serie de conferencias DLT fue establecida por Grzegorz Rozenberg y Arto Salomaa en 1993. Desde 2010, el presidente del Comité Directivo es Juhani Karhumäki .
- 23o DLT 2019 en Varsovia, Polonia
- 22o DLT 2018 en Tokio, Japón
- 21o DLT 2017 en Lieja, Bélgica
- 20o DLT 2016 en Montreal, Canadá
- 19o DLT 2015 en Liverpool, Inglaterra
- 18o DLT 2014 en Ekaterinburg, Rusia
- 17o DLT 2013 en Marne-la-Vallée, Francia
- 16 ° DLT 2012 en Taipei, Taiwán
- 15o DLT 2011 en Milán, Italia
- Número especial: Revista Internacional de Fundamentos de la Ciencia de la Computación 23 (5), agosto de 2012
- 14 ° DLT 2010 en Londres (Ontario), Canadá
- Número especial: International Journal of Foundations of Computer Science 22 (7), noviembre de 2011
- 13o DLT 2009 en Stuttgart, Alemania
- Número especial: International Journal of Foundations of Computer Science 22 (2), febrero de 2011
- 12 ° DLT 2008 en Kyoto, Japón
- Número especial: Revista Internacional de Fundamentos de la Ciencia de la Computación 21 (4), agosto de 2010
- 11 ° DLT 2007 en Turku, Finlandia
- Número especial: Revista Internacional de Fundamentos de la Ciencia de la Computación 19 (3), junio de 2008
- Décimo DLT 2006 en Santa Barbara, CA, EE. UU.
- Número especial: Informática teórica 376 (1-2), mayo de 2007
- 9o DLT 2005 en Palermo, Italia
- Número especial: Revista Internacional de Fundamentos de la Ciencia de la Computación 17 (3), junio de 2006
- 8vo DLT 2004 en Auckland, Nueva Zelanda
- Número especial: International Journal of Foundations of Computer Science 16 (4), agosto de 2005
- Séptimo DLT 2003 en Szeged, Hungría
- Número especial: Informática teórica, 327 (3), 2004
- 6th DLT 2002 en Kyoto, Japón
- 5th DLT 2001 en Viena, Austria
- 4th DLT 1999 en Aquisgrán, Alemania
- 3er DLT 1997 en Thessaloniki, Grecia
- 2nd DLT 1995 en Magdeburg, Alemania
- 1er DLT 1993 en Turku, Finlandia
Ver también
- La lista de conferencias de informática contiene otras conferencias académicas en informática.
- Los idiomas formales son el tema principal de esta conferencia
Referencias
- M. Kudlek. "Informe sobre DLT 2004". Boletín de la EATCS 85 : 207-215, febrero de 2005. (disponible para descargar)
- M. Daley. "Informe sobre DLT 2006". Boletín de la EATCS 90 : 227-229, octubre de 2006. (disponible para descargar)
- M. Kudlek. "Informe sobre DLT 2008". Boletín de la EATCS 97 : 171-174, febrero de 2009.
- M. Kudlek. "Informe sobre DLT 2009". Boletín de la EATCS 100 : 155-159, febrero de 2010.
- M. Kudlek. "Informe sobre DLT 2010". Boletín de la EATCS 102 : 227-232, octubre de 2010. (disponible para descargar)