title: Liste des principales conférences d'informatique théorique
text: # Liste des principales conférences d'informatique théorique
  
  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 classifications utilisées ici sont celle de Core, celle de Aminer, celle de Google Scolar et également la liste de conférences publiée par Microsoft en 2014. Une dernière, de Osmar Zaïane, est moins importante pour la théorie. En outre, certains manuels donnent des listes de conférences.
  
  La liste de Core classe les conférences en A+, A, B, C et autres ; celle de Aminer - tout en mélangeant colloques et revues, les classe par indice h de plus ; Google Scolar classe par indice h et/ou par médiane h, des colloques et revues ; de fait, l'indice h5, calculé sur les cinq dernières années. Microsoft classe aussi par indice h qu'il donne explicitement ; plus intéressante est une présentation dite par « bulles » qui donne une présentation graphique par cercles concentriques, les plus importantes étant au centre. La liste de Zaïane classe les conférences par tiers (premier, deuxième et troisième tiers).
  
  ## 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 :
  
  * STOC – ACM Symposium on Theory of $Computing^,^,^,^,^,^,^,^,^,^,$
  * FOCS – IEEE Symposium on Foundations of Computer $Science^,^,^,^,^,^,^,^,^,$
  * ICALP – International Colloquium on Automata, Languages and $Programming^,^,^,^,^,$
  * STACS – Symposium on Theoretical Aspects of Computer $Science^,^,^,$
  * ISAAC – International Symposium on Algorithms and $Computation^,^,$
  * MFCS – International Symposium on Mathematical Foundations of Computer $Science^,^,^,$
  * FCT – International Symposium on Fundamentals of Computation $Theory^,$
  * COCOON – International Computing and Combinatorics $Conference^,^,$
  * ETAPS – European Joint Conferences on Theory and Practice of $Software^,$
  * CSR – International Computer Science Symposium in Russia
  
  ## Algorithmique
  
  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^,^,^,^,^,^,$
  * ESA – European Symposium on $Algorithms^,^,$
  * WADS – Algorithms and Data Structures $Symposium^,^,$ auparavant Workshop on Algorithms and Data Structures.
  * SWAT – Scandinavian Symposium and Workshops on Algorithm Theory auparavant Scandinavian Workshop on Algorithm Theory.
  * WAOA – Workshop on Approximation and Online Algorithms fait maintenant partie de ESA.
  
  ## 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^,^,^,$
  * GD – International Symposium on Graph $Drawing^,^,^,$
  * IMR – International Meshing Roundtable
  * WAFR – Workshop on Algorithmic Foundations of Robotics
  * CCCG – Canadian Conference on Computational Geometry
  
  ## Logique
  
  * LICS – ACM-IEEE Symposium on Logic in Computer $Science^,^,^,$
  * CSL – Computer Science $Logic^,^,$
  * 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
  
  ## Autres conférences spécialisées
  
  * CCC – Computational Complexity $Conference^,^,$ auparavant "Structure in Complexity Theory Conference"
  * CIAA – Conference on Implementation and Application of Automata, auparavant WIA – Workshop on Implementation of $Automata^,$
  * CPM – Symposium on Combinatorial Pattern $Matching^,$
  * 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^,$
  * ISSAC – International Symposium on Symbolic and Algebraic $Computation^,$
  * LAGOS – Latin and American Algorithms, Graphs and Optimization Symposium
  
  ## Autres conférences
  
  * 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 – Conference Words'21
  