« Liste des principales conférences d'informatique théorique » : différence entre les versions

Ajouter des liens
Un article de Wikipédia, l'encyclopédie libre.
Modification suivante →
Contenu supprimé Contenu ajouté
VisuelWikicode
ManiacParisien (discuter | contributions)
20 080 modifications
Traduction depuis l'anglais, mais un bout seulement
(Aucune différence)

Version du 20 décembre 2016 à 09:48

Cette liste des principales conférences d'informatique théorique regroupe ces conférences par thèmes. Certaines des conférences sont généralistes, d'autres plus centrées sur des sujets particuliers. Il existe des classifications qui permettent de choisir les conférences considérées comme « principales ». Les deux classifications utilisées ici sont celle de Core[1] et celle de Aminer[2]. La liste de Core classe les conférences en A+, A, B, C et autres ; celle de Amiter - tout en mélangeant colloques et revues, les classe par indice h de plus ; une troisième, de Zaïane, moins importante pour la théorie, les classe par tiers (premier, deuxième et troisième tiers). En outre, certains manuels donnent des listes de conférences. Enfin Google Scolar donne aussi une liste, classée par indice h et/ou par médiane h, des colloques et revues.

Conférences généralistes

Ces conférences acceptent un large spectre de thèmes en informatique théorique, incluant les algorithmes, structures de données, la calculabilité, la complexité informatique, la [[théorie des automates] et des langages formels :

Algorithmique

Conférences dont les thèmes principaux sont les algorithmes et structures de données| au sens large :

Géométrie algorithmique

Conférences en géométrie algorithmique, tracé de graphes, et autres applications du calcul géométrique :

  • SoCG – ACM Symposium on Computational Geometry[3],[7],[18],[20]
  • ACM GIS – ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems[18]
  • GD – International Symposium on Graph Drawing[3],[21],[22]
  • IMR – International Meshing Roundtable[23]
  • WAFR – Workshop on Algorithmic Foundations of Robotics[24]
  • CCCG – Canadian Conference on Computational Geometry[7]
  • EuroCG – European Workshop on Computational Geometry[7]
  • FWCG – Fall Workshop on Computational Geometry[7] auparavant ARO-MSI Workshop on Computational Geometry.

Logique

Autres conférences spécialisées

Notes et références

  1. ↑ Core.
  2. ↑ Aminer.
  3. ↑ a b c d e f g h i j k l m et n Core: rang A+.
  4. ↑ a et b CiteSeer, conferences in top 100.
  5. ↑ a b c et d Zaïane 2009, top tier conferences in other fields.
  6. ↑ Aminer: rang 4.
  7. ↑ a b c d e f g h i j k et l Chazelle et al. 1996, Section 13.2.
  8. ↑ a b et c Georgiou et Shvartsman 2007, Section "Bibliographic notes" in "Preface".
  9. ↑ a et b Goldman 1999, Section 30, p. 24.
  10. ↑ a b c d e et f Jiang, Li et Ravikumar 1999, Section 24, p. 22.
  11. ↑ a et b Lynch 1996, Section 1.4, "Bibliographic notes".
  12. ↑ a b c d e f g h i j k et l Navarro et Raffinot 2002, Section 7.3.2.
  13. ↑ a et b Tel 2000, Section 1.3.3, "Research field".
  14. ↑ Aminer: rang 3.
  15. ↑ Aminer: rang 6.
  16. ↑ Hodges 2008.
  17. ↑ Aminer: rang 2.
  18. ↑ a b et c Samet 2010, Section 6.8, p. 33.
  19. ↑ Core: rang A.
  20. ↑ Skiena 2008, Section 17, p. 562.
  21. ↑ Mutzel et Eades 2002.
  22. ↑ Skiena 2008, Section 15, p. 516.
  23. ↑ Skiena 2008, Section 17.3, p. 575.
  24. ↑ Overmars 1998.
  25. ↑ Aminer: rang 5.

Bibliographie

Classements
Manuels mentionnant des conférences
  • (en) Ethem Alpaydin, Introduction to Machine Learning, MIT Press, (ISBN 978-0-262-01211-9).
  • (en) Lloyd D. Fosdick, Elizabeth R. Jessup, Carolyn J. C. Schauble et Gitta Domik, An Introduction to High-performance Scientific Computing, MIT Press, (ISBN 0-262-06181-3).
  • (en) Daniel P. Friedman, Mitchell Wand et Christopher Thomas Haynes, Essentials of Programming Languages, MIT Press, , 2e éd. (ISBN 0-262-06217-8).
  • (en) Chryssis Georgiou et Alexander A. Shvartsman, Do-All Computing in Distributed Systems: Cooperation in the Presence of Adversity, Springer, (ISBN 978-0-387-30918-7).
  • (en) Mohammad Ilyas et Imad Mahgoub, Handbook of Sensor Networks: Compact Wireless and Wired Sensing Systems, CRC Press, (ISBN 978-0-8493-1968-6).
  • (en) Daniel Jurafsky et James H. Martin, Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition, Pearson Education, , 2e éd. (ISBN 978-0-13-187321-6).
  • (en) Nancy Ann Lynch, Distributed Algorithms, Morgan Kaufmann, (ISBN 978-1-55860-348-6).
  • (en) Amitabh Mishra, Security and Quality of Service in Ad Hoc Wireless Networks, Cambridge University Press, (ISBN 978-0-521-87824-1).
  • (en) Gonzalo Navarro et Mathieu Raffinot, Flexible Pattern Matching in Strings, Cambridge University Press, (ISBN 978-0-521-81307-5).
  • (en) Steven S. Skiena, The Algorithm Design Manual, Springer, , 2e éd. (ISBN 978-1-84800-069-8).
  • (en) Gerard Tel, Introduction to Distributed Algorithms, Cambridge University Press, , 2e éd. (ISBN 978-0-521-79483-1).
Autres sources
  • (en) Chazelle, Bernard, Advances in Discrete and Computational Geometry: Proceedings of the 1996 AMS-IMS-SIAM Joint Summer Research Conference, Discrete and Computational Geometry–Ten Years Later, July 14–18, 1996, Mount Holyoke College, (ISBN 978-0-8218-0674-6, lire en ligne), « Application Challenges to Computational Geometry: CG Impact Task Force Report ».
  • Faith Fich, « Infrastructure issues related to theory of computing research », ACM Computing Surveys, vol. 28, no 4es,‎ , p. 217 (DOI 10.1145/242224.242502).
  • (en) Sally A. Goldman, Algorithms and Theory of Computation Handbook, CRC Press, (ISBN 0-8493-2649-4), « Computational learning theory ».
  • (en) Michael Hinchey, Jonathan P. Bowen et Christopher A. Rouff, Agent Technology from a Formal Perspective, Springer, , 25–64 p. (ISBN 978-1-85233-947-0), « Introduction to formal methods ».
  • (en) Tao Jiang, Ming Li et Bala Ravikumar, Algorithms and Theory of Computation Handbook, CRC Press, (ISBN 0-8493-2649-4), « Basic notions in computational complexity ».
  • (en) Petra Mutzel et Peter Eades, International Dagstuhl Seminar on Software Visualization, May 2001, Revised Papers, vol. 2269, Springer, coll. « Lecture Notes in Computer Science », , 285–294 p. (ISBN 978-3-540-43323-1, DOI 10.1007/3-540-45875-1_22), « Graphs in software visualization ».
  • (en) Mark H. Overmars, International Colloquium on Automata, Languages and Programming, vol. 1443, Springer-Verlag, coll. « Lecture Notes in Computer Science », , 116–117 p. (ISBN 3-540-64781-3, DOI 10.1007/BFb0055045), « Geometric algorithms for robotic manipulation ».
  • (en) Hanan Samet, Algorithms and Theory of Computation Handbook, CRC Press, , 2e éd. (ISBN 978-1-58488-822-2), « Multidimensional data structures for spatial applications ».
  • Wilfrid Hodges, « Workshop on Logic, Language, Information and Computation, 1-4 July », The Reasoner, vol. 2, no 9,‎ , p. 10 (lire en ligne, consulté le ).
Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Liste_des_principales_conférences_d%27informatique_théorique&oldid=132865435 ».