Relación de las principales jornadas teóricas de informática

Esta lista de las principales conferencias teóricas de informática agrupa estas conferencias por tema. Algunas de las conferencias son generalistas, otras más enfocadas a temas particulares. Hay clasificaciones que le permiten elegir qué conferencias se consideran "principales". Las clasificaciones que se utilizan aquí son la de Core, la de Aminer, la de Google Scolar y también la lista de conferencias publicada por Microsoft en 2014. Una última, de Osmar Zaïane , es menos importante para la teoría. Además, algunos manuales proporcionan listas de conferencias.

La lista de Core clasifica las conferencias como A +, A, B, C y otras; el de Aminer - mientras mezcla conferencias y reseñas, las clasifica por índice h más; Google School clasifica por índice h y / o mediana h, conferencias y reseñas; de hecho, el índice h5, calculado durante los últimos cinco años. Microsoft también clasifica por índice h que da explícitamente; más interesante es una presentación denominada "burbujas" que ofrece una presentación gráfica mediante círculos concéntricos, siendo el más importante en el centro. La lista de Zaïane clasifica las conferencias en terceros (primero, segundo y tercer tercio).

Conferencias generalistas

Estas conferencias aceptan un amplio espectro de temas teóricos de la informática , incluidos algoritmos , estructuras de datos , computabilidad , complejidad computacional , teoría de autómatas y lenguajes formales  :

• STOC - Simposio ACM sobre Teoría de la Computación
• FOCS - Simposio IEEE sobre fundamentos de la informática
• ICALP - Coloquio internacional sobre autómatas, lenguajes y programación
• STACS - Simposio sobre aspectos teóricos de la informática
• ISAAC - Simposio Internacional de Algoritmos y Computación
• MFCS - Simposio internacional sobre fundamentos matemáticos de la informática
• FCT - Simposio internacional sobre fundamentos de la teoría de la computación
• COCOON - Congreso Internacional de Computación y Combinatoria
• ETAPS - Conferencias conjuntas europeas sobre teoría y práctica del software
• CSR - Simposio internacional de informática en Rusia

Algorítmico

Conferencias cuyos temas principales son algoritmos y estructuras de datos en sentido amplio:

• SODA - ACM - Simposio SIAM sobre algoritmos discretos
• ESA - Simposio europeo sobre algoritmos
• WADS - Simposio sobre algoritmos y estructuras de datos, anteriormente Taller sobre algoritmos y estructuras de datos .
• SWAT - Simposio y talleres escandinavos sobre teoría de algoritmos, anteriormente taller escandinavo sobre teoría de algoritmos .
• WAOA - Workshop on Approximation and Online Algorithms es ahora parte de la ESA.

Geometría algorítmica

Conferencias sobre geometría computacional , dibujo de gráficos y otras aplicaciones de la computación geométrica:

• SoCG - Simposio ACM sobre geometría computacional
• GD - Simposio internacional de dibujo gráfico
• IMR - Mesa redonda internacional de mallado
• WAFR - Taller sobre fundamentos algorítmicos de la robótica
• CCCG - Conferencia canadiense sobre geometría computacional

Lógica

• LICS - Simposio ACM-IEEE sobre lógica en informática
• CSL - Lógica informática
• FSCD - Estructuras formales para el cálculo y la deducción , resultado en 2016 de la fusión de RTA (Conferencia sobre técnicas y aplicaciones de reescritura) y TLCA (Cálculos y aplicaciones Lambda tipificados); varios talleres satelitales, como HDRA (Reescritura y aplicaciones de dimensiones superiores) o STRING (Diagramas de cadenas en computación, lógica y física).
• WoLLIC - Taller de Lógica, Lenguaje, Información y Computación

Otras conferencias especializadas

• CCC - Conferencia de complejidad computacional anteriormente "Conferencia de teoría de estructura en la complejidad"
• CIAA - Conferencia sobre Implementación y Aplicación de Autómatas , anteriormente WIA - Taller sobre Implementación de Autómatas
• CPM - Simposio sobre emparejamiento de patrones combinatorios
• DCFS - Taller internacional sobre complejidad descriptiva de sistemas formales , fusión de DCAGRS - Complejidad descriptiva de autómatas, gramáticas y estructuras relacionadas y FDSR - Descripciones formales y confiabilidad del software
• DLT - Conferencia internacional sobre desarrollos en la teoría del lenguaje
• ISSAC - Simposio Internacional de Computación Simbólica y Algebraica
• LAGOS - Simposio Latinoamericano de Algoritmos, Gráficos y Optimización

Otras conferencias

• AFL - Autómatas y lenguajes formales
• CAI - Congreso de Informática Algebraica
• GandALF: juegos, autómatas, lógica y verificación formal
• ASPECTOS DESTACADOS - Aspectos destacados de la lógica, los juegos y los autómatas
• ICLP - Conferencia internacional sobre programación lógica
• IWOCA - Taller internacional sobre algoritmos combinatorios
• LATA - Teoría y aplicaciones del lenguaje y autómatas (Ver en Wikidata)
• NUMERACIÓN - NUMERACIÓN 2017
• SIROCCO - Complejidad estructural de la información y la comunicación
• SPIRE: procesamiento de cadenas y recuperación de información
• UCNC - Computación no convencional y computación natural
• TQC: teoría de la computación cuántica, la comunicación y la criptografía
• WABI - Taller de Algoritmos en Bioinformática
• PALABRAS - Congreso Internacional de Palabras

Notas y referencias

1. Core .
2. Aminer .
3. Google .
4. Msar .
5. Core : rango A +.
6. CiteSeer , Conferencias en la parte superior 100.
7. Zaïane 2009 , Top Tier conferencias en otros campos.
8. Georgiou y Shvartsman 2007 , "notas bibliográficas" en la sección "Prefacio".
9. Goldman 1999 , Sección 30, p. 24.
10. Jiang, Li y Ravikumar 1999 , Sección 24, p. 22.
11. Lynch 1996 , Sección 1.4, "notas bibliográficas".
12. Navarro y Raffinot 2002 , Sección 7.3.2.
13. Tel 2000 , Sección 1.3.3, "campo de la investigación".
14. RAEM : fila 1 y 2.
15. Aminer : rango 3.
16. Core : rango A.
17. Aminer : rango 6.
18. RAEM : fila 3 a 10.
19. Core : rango B.
20. RAEM : Posición 11 a 31.
21. RAEM : rango 32 y por encima.
22. CSR - Simposio de informática en Rusia .
23. Aminer : rango 2.
24. Samet 2010 , Sección 6.8, p. 33.
25. Skiena 2008 , Sección 17, p. 562.
26. Mutzel y Eades, 2002 .
27. Skiena 2008 , Sección 15, p. 516.
28. Skiena 2008 , Sección 17.3, p. 575.
29. Overmars, 1998 .
30. Aminer : rango 5.
31. Núcleo : rango C.
32. Aminer : rango 43.

Bibliografía

Clasificaciones

• [Aminer] (en) "  Ranking de conferencias informáticas teóricas  " , Aminer (consultado el 19 de diciembre de 2016 )
• [Core] (en) "  Clasificación de la conferencia de ciencias de la computación  " , Australian Research Council,2017(consultado el 13 de octubre de 2017 )
• [Msar] (en) "  Clasificaciones de campo de la conferencia de Microsoft Academic  " ,9 de mayo de 2014(consultado el 19 de diciembre de 2016 )
• [Google] (en) “  Google Scolar  ” (consultado el 19 de diciembre de 2016 )
• [Zaïane] (en) Osmar R. Zaïane , "  Clasificación de conferencias de informática  " ,5 de agosto de 2009(consultado el 31 de octubre de 2009 )

Manuales que mencionan conferencias

• Ethem Alpaydin , Introducción al aprendizaje automático , MIT Press ,2004, 415  p. ( ISBN  978-0-262-01211-9 , leer en línea ).
• (en) Lloyd D. Fosdick , Elizabeth R. Jessup , Carolyn JC Schauble y Gitta Domik , Introducción a la informática científica de alto rendimiento , Cambridge, MIT Press ,1996, 760  p. ( ISBN  0-262-06181-3 ).
• .
• Chryssis Georgiou y Alexander A. Shvartsman , Computación integral en sistemas distribuidos: cooperación en presencia de adversidad , Springer,2007( ISBN  978-0-387-30918-7 ).
• Mohammad Ilyas e Imad Mahgoub , Handbook of Sensor Networks: Compact Wireless and Wired Sensing Systems , CRC Press ,2004, 864  p. ( ISBN  978-0-8493-1968-6 ).
• Daniel Jurafsky y James H. Martin , Procesamiento del habla y el lenguaje: una introducción al procesamiento del lenguaje natural, la lingüística computacional y el reconocimiento del habla , Pearson Education,2009, 2 nd  ed. , 988  p. ( ISBN  978-0-13-187321-6 ).
• Nancy Ann Lynch , algoritmos distribuidos , Morgan Kaufmann,1996, 872  p. ( ISBN  978-1-55860-348-6 ).
• Amitabh Mishra , seguridad y calidad de servicio en redes inalámbricas ad hoc , Cambridge University Press ,2008, 194  p. ( ISBN  978-0-521-87824-1 ).
• Gonzalo Navarro y Mathieu Raffinot , Coincidencia de patrones flexibles en cuerdas , Cambridge University Press ,2002, 221  p. ( ISBN  978-0-521-81307-5 , leer en línea ).
• (en) Steven S. Skiena , The Algorithm Design Manual , Londres, Springer,2008, 2 nd  ed. , 730  p. ( ISBN  978-1-84800-069-8 ).
• Gerard Tel , Introducción a los algoritmos distribuidos , Cambridge University Press ,2000, 2 nd  ed. , 596  p. ( ISBN  978-0-521-79483-1 , leer en línea ).

Otras fuentes

• Chazelle, Bernard, Advances in Discrete and Computational Geometry: Proceedings of the 1996 AMS-IMS-SIAM Joint Summer Research Conference, Discrete and Computational Geometry - Diez años después, 14-18 de julio de 1996, Mount Holyoke College ,1996, 463  p. ( ISBN  978-0-8218-0674-6 , leer en línea ) , "Desafíos de la aplicación a la geometría computacional: Informe del grupo de trabajo de impacto de CG".
• Faith Fich , "  Problemas de infraestructura relacionados con la teoría de la investigación en computación  ", Encuestas de computación de ACM , vol.  28, n o  4ES,1996, p.  217 ( DOI  10.1145 / 242224.242502 ).
• (en) Sally A. Goldman , Manual de algoritmos y teoría de la computación , Boca Raton / Londres / Nueva York, CRC Press ,1999( ISBN  0-8493-2649-4 ) , "Teoría del aprendizaje computacional".
• .
• (en) Tao Jiang , Ming Li y Bala Ravikumar , Manual de algoritmos y teoría de la computación , Boca Raton / Londres / Nueva York, CRC Press ,1999( ISBN  0-8493-2649-4 ) , "Nociones básicas en complejidad computacional".
• Petra Mutzel y Peter Eades , Seminario internacional Dagstuhl sobre visualización de software, mayo de 2001, Revised Papers , vol.  2269, Springer, col.  "Lecture Notes in Computer Science",2002, 285–294  pág. ( ISBN  978-3-540-43323-1 , DOI  10.1007 / 3-540-45875-1_22 , leer en línea ).
• Mark H. Overmars , Coloquio internacional sobre autómatas, lenguajes y programación , vol.  1443, Springer-Verlag , col.  "Lecture Notes in Computer Science",1998, 116-117  pág. ( ISBN  3-540-64781-3 , DOI  10.1007 / BFb0055045 ).
• Hanan Samet , Manual de algoritmos y teoría de la computación , CRC Press ,2010, 2 nd  ed. , 988  p. ( ISBN  978-1-58488-822-2 ) , "Estructuras de datos multidimensionales para aplicaciones espaciales".

Artículos relacionados

• Lista de publicaciones importantes en informática teórica
• Lista de conferencias de informática  (en)