Table des matières
8 relations: ACM-IEEE Symposium on Logic in Computer Science, Digital Bibliography & Library Project, European Association for Computer Science Logic, European Association for Theoretical Computer Science, Liste des principales conférences d'informatique théorique, Prix Alonzo-Church, Rajeev Alur, San Miniato.
ACM-IEEE Symposium on Logic in Computer Science
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 la logique mathématique.
Voir Computer Science Logic et ACM-IEEE Symposium on Logic in Computer Science
Digital Bibliography & Library Project
Logo depuis 2012. Le Digital Bibliography & Library Project (DBLP, littéralement « Projet de bibliothèque et de bibliographie numérique ») est un site web publiant un catalogue de bibliographies en informatique.
Voir Computer Science Logic et Digital Bibliography & Library Project
European Association for Computer Science Logic
La société savante European Association for Computer Science Logic (abrégée en EACSL), (en français Association européenne pour la logique en informatique) sur le site de l'EACSL.
Voir Computer Science Logic et European Association for Computer Science Logic
European Association for Theoretical Computer Science
LEuropean Association for Theoretical Computer Science, en abrégé EATCS, en français Association européenne d'informatique théorique est une organisation européenne fondée en 1972.
Voir Computer Science Logic et European Association for Theoretical Computer Science
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.
Voir Computer Science Logic et Liste des principales conférences d'informatique théorique
Prix Alonzo-Church
Le prix Alonzo-Church est un prix annuel, aussi appelé, soit « prix Alonzo Church pour des contributions exceptionnelles en logique et calcul » créé en 2015 par le ACM Special Interest Group for Logic and Computation (SIGLOG), l'EATCS, l’Association européenne pour la logique en informatique (EACSL) et la société Kurt Gödel (KGS).
Voir Computer Science Logic et Prix Alonzo-Church
Rajeev Alur
Rajeev Alur, né le, est un informaticien théoricien de citoyenneté américaine d'origine indienne.
Voir Computer Science Logic et Rajeev Alur
San Miniato
San Miniato est une ville italienne de la province de Pise dans la région de Toscane (Italie).