Symposium sur les fondements de l'informatique - Symposium on Foundations of Computer Science

« FOCS » redirige ici. Pour d'autres utilisations, voir FOCS (homonymie) .

Le Symposium annuel de l' IEEE sur les fondements de l' informatique ( FOCS ) est une conférence universitaire dans le domaine de l' informatique théorique . FOCS est parrainé par l' IEEE Computer Society .

Comme l' écrit Fich (1996) , FOCS et son homologue annuel de l' Association for Computing Machinery STOC (le Symposium on Theory of Computing ) sont considérés comme les deux meilleures conférences en informatique théorique, au sens large : théorie de l'informatique qui favorisent l'éventail des chercheurs en théorie de l'informatique et aident à garder la communauté unie. Johnson (1984) considère la fréquentation régulière de FOCS et STOC comme l'une des caractéristiques déterminantes des informaticiens théoriques.

Récompenses

Le prix Knuth récompensant des contributions exceptionnelles à l'informatique théorique est décerné alternativement au FOCS et au STOC . Les travaux de la plus haute qualité présentés lors de la conférence reçoivent le prix du meilleur article. De plus, le prix Machtey est décerné au meilleur article rédigé par des étudiants dans FOCS.

Histoire

En 1960-1965, FOCS était connu sous le nom de Symposium on Switching Circuit Theory and Logical Design , et en 1966-1974 sous le nom de Symposium on Switching and Automata Theory . Le nom actuel est utilisé depuis 1975. Depuis 1973, la page de couverture des actes de la conférence présente une œuvre intitulée synapse , par Alvy Ray Smith , qui a également été l'auteur de trois articles lors de la conférence. L'éditeur utilise l'acronyme SFCS sur ses sites Web pour les conférences de 1975 à 1987.

Emplacement

FOCS est presque exclusivement détenu en Amérique du Nord, et en particulier aux États-Unis, à quelques exceptions près.

Voir également

  • Conférences en informatique théorique.
  • La liste des conférences en informatique contient d'autres conférences académiques en informatique.

Les références

  • Hartmanis, Juris (1981), "Observations about the development of theory informatique", IEEE Annals of the History of Computing , 3 (1) : 42–51, doi : 10.1109/MAHC.1981.10005 , hdl : 1813/6244 , ISSN  1058-6180.
  • Fich, Faith (1996), "Infrastructure issues related to theory of computing research", ACM Computing Surveys , 28 (4es) : 217–es, doi : 10.1145/242224.242502.

Remarques

Liens externes