Liste des principales conférences d'informatique théorique

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 :

• STOC – ACM Symposium on Theory of Computing[5]^,[6]^,[7]^,[8]^,[9]^,[10]^,[11]^,[12]^,[13]^,[14]^,[15]
• FOCS – IEEE Symposium on Foundations of Computer Science[5]^,[7]^,[9]^,[10]^,[11]^,[12]^,[13]^,[14]^,[16]^,[15]
• ICALP – International Colloquium on Automata, Languages and Programming[17]^,[7]^,[11]^,[13]^,[18]^,[19]
• STACS – Symposium on Theoretical Aspects of Computer Science[20]^,[11]^,[13]^,[21]
• ISAAC – International Symposium on Algorithms and Computation[17]^,[13]^,[22]
• MFCS – International Symposium on Mathematical Foundations of Computer Science[17]^,[11]^,[13]^,[21]
• FCT – International Symposium on Fundamentals of Computation Theory[17]^,[22]
• COCOON – International Computing and Combinatorics Conference[17]^,[13]^,[22]
• ETAPS – European Joint Conferences on Theory and Practice of Software[17]^,[22]
• CSR – International Computer Science Symposium in Russia[23]

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

• SODA – ACM–SIAM Symposium on Discrete Algorithms[5]^,[7]^,[9]^,[13]^,[24]^,[25]^,[19]
• ESA – European Symposium on Algorithms[17]^,[13]^,[21]
• WADS – Algorithms and Data Structures Symposium[17]^,[13]^,[21] auparavant Workshop on Algorithms and Data Structures.
• SWAT – Scandinavian Symposium and Workshops on Algorithm Theory[13] auparavant Scandinavian Workshop on Algorithm Theory.
• WAOA – Workshop on Approximation and Online Algorithms[20] fait maintenant partie de ESA.

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

• SoCG – ACM Symposium on Computational Geometry[17]^,[25]^,[26]^,[19]
• GD – International Symposium on Graph Drawing[17]^,[27]^,[28]^,[22]
• IMR – International Meshing Roundtable[29]
• WAFR – Workshop on Algorithmic Foundations of Robotics[30]
• CCCG – Canadian Conference on Computational Geometry[21]

• LICS – ACM-IEEE Symposium on Logic in Computer Science[5]^,[6]^,[31]^,[19]
• CSL – Computer Science Logic[32]^,[22]^,[33]
• FSCD – Formal Structures for Computation and Deduction, issue en 2016 de la fusion de RTA (Conference on Rewriting Techniques and Applications) et de TLCA (Typed Lambda Calculi and Applications) ; divers workshop satellites, comme HDRA (Higher-Dimensional Rewriting and Applications) ou STRING (String Diagrams in Computation, Logic, and Physics).
• WoLLIC – Workshop on Logic, Language, Information and Computation[20]

• CCC – Computational Complexity Conference[17]^,[11]^,[22] auparavant "Structure in Complexity Theory Conference"
• CIAA – Conference on Implementation and Application of Automata, auparavant WIA – Workshop on Implementation of Automata[20]^,[22]
• CPM – Symposium on Combinatorial Pattern Matching[20]^,[21]
• DCFS – International Workshop on Descriptional Complexity of Formal Systems, fusion de DCAGRS – Descriptional Complexity of Automata, Grammars and Related Structures et FDSR – Formal Descriptions and Software Reliability
• DLT – International Conference on Developments in Language Theory[20]^,[22]
• ISSAC – International Symposium on Symbolic and Algebraic Computation[5]^,[21]
• LAGOS – Latin and American Algorithms, Graphs and Optimization Symposium

• AFL – Automata and Formal Languages
• CAI – Conference on Algebraic Informatics
• GandALF – Games, Automata, Logics, and Formal Verification
• HIGHLIGHTS – Highlights of Logic, Games and Automata
• ICLP – International Conference on Logic Programming
• IWOCA – International Workshop On Combinatorial Algorithms
• LATA – Language and automata theory and applications (Voir sur Wikidata)
• NUMERATION – NUMERATION 2017
• SIROCCO – Structural Information and Communication Complexity
• SPIRE – String Processing and Information Retrieval
• UCNC – Unconventional Computation and Natural Computation
• TQC – Theory of Quantum Computation, Communication, and Cryptography
• WABI — Workshop on Algorithms in Bioinformatics
• WORDS – International Conference on Words

Classements

• [Aminer] (en) « Classement de conférences informatique théorique », Aminer (consulté le 19 décembre 2016)
• [Core] (en) « Computer science conference rank », Australian Research Council, 2017 (consulté le 13 octobre 2017)
• [Msar] (en) « Microsoft Academic's conference field ratings », 9 mai 2014 (consulté le 19 décembre 2016)
• [Google] (en) « Google Scolar » (consulté le 19 décembre 2016)
• [Zaïane] (en) Osmar R. Zaïane, « Computer science conference rankings », 5 août 2009 (consulté le 31 octobre 2009)

Manuels mentionnant des conférences

• Ethem Alpaydin, Introduction to Machine Learning, MIT Press, 2004, 415 p. (ISBN 978-0-262-01211-9, lire en ligne).
• (en) Lloyd D. Fosdick, Elizabeth R. Jessup, Carolyn J. C. Schauble et Gitta Domik, An Introduction to High-performance Scientific Computing, Cambridge, MIT Press, 1996, 760 p. (ISBN 0-262-06181-3).
• (en) Daniel P. Friedman, Mitchell Wand et Christopher Thomas Haynes, Essentials of Programming Languages, Cambridge (Mass.), MIT Press, 2001, 2^e éd., 389 p. (ISBN 0-262-06217-8, lire en ligne).
• Chryssis Georgiou et Alexander A. Shvartsman, Do-All Computing in Distributed Systems : Cooperation in the Presence of Adversity, Springer, 2007 (ISBN 978-0-387-30918-7).
• Mohammad Ilyas et 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 et James H. Martin, Speech and Language Processing : An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition, Pearson Education, 2009, 2^e éd., 988 p. (ISBN 978-0-13-187321-6).
• Nancy Ann Lynch, Distributed Algorithms, Morgan Kaufmann, 1996, 872 p. (ISBN 978-1-55860-348-6).
• Amitabh Mishra, Security and Quality of Service in Ad Hoc Wireless Networks, Cambridge University Press, 2008, 194 p. (ISBN 978-0-521-87824-1).
• Gonzalo Navarro et Mathieu Raffinot, Flexible Pattern Matching in Strings, Cambridge University Press, 2002, 221 p. (ISBN 978-0-521-81307-5, lire en ligne).
• (en) Steven S. Skiena, The Algorithm Design Manual, Londres, Springer, 2008, 2^e éd., 730 p. (ISBN 978-1-84800-069-8).
• Gerard Tel, Introduction to Distributed Algorithms, Cambridge University Press, 2000, 2^e éd., 596 p. (ISBN 978-0-521-79483-1, lire en ligne).

Autres sources

• Chazelle, Bernard, « Application Challenges to Computational Geometry: CG Impact Task Force Report », dans Bernard Chazelle, Jacob E. Goodman et Richard Pollack (éditeurs), 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, 1996, 463 p. (ISBN 978-0-8218-0674-6, lire en ligne).
• Faith Fich, « Infrastructure issues related to theory of computing research », ACM Computing Surveys, vol. 28, n^o 4es,‎ 1996, p. 217 (DOI 10.1145/242224.242502).
• (en) Sally A. Goldman, Computational learning theory, Boca Raton/London/New York, CRC Press, 1999 (ISBN 0-8493-2649-4).
• Michael Hinchey, Jonathan P. Bowen et Christopher A. Rouff, « Introduction to formal methods », dans Christopher A. Rouff, Michael Hinchey, James Rash, Walter Truszkowski et Diana Gordon-Spears (éditeurs), Agent Technology from a Formal Perspective, Springer, 2005 (ISBN 978-1-85233-947-0), p. 25–64.
• (en) Tao Jiang, Ming Li et Bala Ravikumar, « Basic notions in computational complexity », dans Mikhail Atallah (éditeur), Algorithms and Theory of Computation Handbook, Boca Raton/London/New York, CRC Press, 1999 (ISBN 0-8493-2649-4).
• Petra Mutzel et Peter Eades, Graphs in software visualization, vol. 2269 : International Dagstuhl Seminar on Software Visualization, May 2001, Revised Papers, Springer, coll. « Lecture Notes in Computer Science », 2002, 285–294 p. (ISBN 978-3-540-43323-1, DOI 10.1007/3-540-45875-1_22, lire en ligne).
• Mark H. Overmars, « Geometric algorithms for robotic manipulation », Lecture Notes in Computer Science, Springer-Verlag, vol. 1443 « International Colloquium on Automata, Languages and Programming »,‎ 1998, p. 116–117 (ISBN 3-540-64781-3, DOI 10.1007/BFb0055045).
• Hanan Samet, « Multidimensional data structures for spatial applications », dans Mikhail Atallah et Marina Blanton (éditeurs), Algorithms and Theory of Computation Handbook, CRC Press, 2010, 2^e éd., 988 p. (ISBN 978-1-58488-822-2).

• Liste de publications importantes en informatique théorique
• List of computer science conferences (en)

• Portail de l'informatique théorique