Résultats de la recherche
- La conférence Annual IEEE Symposium on Foundations of Computer Science (abrégé en FOCS) est une conférence scientifique dans le domaine de l’informatique...3 kio (308 mots) - 11 octobre 2020 à 06:50
- 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...17 kio (1 470 mots) - 26 avril 2023 à 07:20
- International Colloquium on Automata, Languages and Programming (abrégé en ICALP) est la principale conférence académique européenne en informatique théorique...13 kio (1 138 mots) - 2 mai 2023 à 01:00
- Ne doit pas être confondu avec Stoc. La conférence Annual ACM Symposium on Theory of Computing (abrégé en STOC) est une conférence scientifique dans le...7 kio (652 mots) - 17 juin 2021 à 08:50
- La conférence Symposium on Theoretical Aspects of Computer Science (abrégé en STACS) est une conférence scientifique dans le domaine de l’informatique...5 kio (513 mots) - 23 juillet 2023 à 14:51
- Les conférences Scandinavian Symposium and Workshops on Algorithm Theory (abrégée en SWAT) et ''Algorithms and Data Structures Symposium (abrégée en WADS)...5 kio (467 mots) - 30 janvier 2021 à 18:36
- International Symposium on Graph Drawing (abrégé en GD) est une conférence scientifique annuelle dans les domaines du tracé de graphes, de la visualisation...6 kio (489 mots) - 7 juillet 2023 à 19:52
- Pour les articles homonymes, voir Computational geometry (homonymie). La conférence Annual Symposium on Computational Geometry (abrégé en SoCG) est une...6 kio (589 mots) - 3 août 2024 à 14:40
- Le Symposium on Discrete Algorithms ou ACM-SIAM Symposium on Discrete Algorithms (abrégé en SODA, nom qui peut se traduire en Conférence sur les algorithmes...5 kio (489 mots) - 30 avril 2020 à 20:33
- La conférence ACM-IEEE Symposium on Logic in Computer Science (abrégé en LICS) est la principale conférence scientifique informatique en relation avec...8 kio (824 mots) - 22 novembre 2023 à 17:01
- Pour les articles homonymes, voir ESA. La conférence European Symposium on Algorithms (abrégé en ESA) est une conférence scientifique dans le domaine de...5 kio (575 mots) - 17 mai 2023 à 21:02
- Pour les articles homonymes, voir DLT. La conférence International Conference on Developments in Language Theory (abrégé en DLT) est une conférence scientifique...7 kio (648 mots) - 14 septembre 2023 à 17:20
- La conférence Computer Aided Verification (abrégé en CAV) est un congrès scientifique annuel sur la théorie et la pratique de l'analyse formelle assistée...6 kio (730 mots) - 4 mai 2024 à 19:55
- Pour les articles homonymes, voir CPM. La conférence Symposium on Combinatorial Pattern Matching (abrégée en CPM) est une conférence scientifique dans...6 kio (613 mots) - 29 septembre 2020 à 14:40
- La conférence International Workshop on Descriptional Complexity of Formal Systems (abrégé en DCFS) est une conférence scientifique annuelle dans le domaine...8 kio (662 mots) - 8 février 2024 à 11:42
- Pour les articles homonymes, voir CCC. La conférence Computational Complexity Conference (abrégé en CCC) est une conférence scientifique annuelle dans...7 kio (803 mots) - 8 juin 2023 à 13:31
- International Conference on Implementation and Application of Automata (abrégé en CIAA) est une conférence scientifique annuelle dans le domaine de l'informatique...5 kio (404 mots) - 16 août 2023 à 21:54
- La conférence European Joint Conferences on Theory and Practice of Software (abrégé en ETAPS) est un groupement de cinq conférences scientifiques dans...11 kio (1 330 mots) - 29 juin 2023 à 15:00
- La conférence Workshop on Logic, Language, Information and Computation (abrégé en WoLLIC) est une conférence scientifique dans le domaine de l’informatique...4 kio (466 mots) - 9 janvier 2024 à 10:48
- Pour les articles homonymes, voir CSR. La conférence International Computer Science Symposium in Russia (abrégée en CSR) est une conférence scientifique...4 kio (336 mots) - 10 août 2020 à 19:06