Home » Évènement
En cours

Appel à communications AlgoTel 2020

Lyon

AlgoTel, 22ème Édition des Rencontres Francophones pour les Aspects Algorithmiques des Télécommunications, co-localisée avec CoRes 2020 aura lieu à Lyon, du 11 au 15 mai 2020. Site web : https://cores-algotel-2020.imag.fr/ Ces rencontres sont l'occasion de réunir chaque année toute la communauté universitaire et industrielle souhaitant partager ses compétences et ses résultats récents en algorithmique et optimisation appliquée aux problèmes des télécommunications. Nous attendons vos nombreuses soumissions pour cette 22ème édition

Gallinette à POPL 2020 in New Orleans

New Orleans

L'équipe Gallinette a pas moins de 4 papiers acceptés à la conférence POPL (Principles of Programming Languages) qui se tiendra en Louisiane du 19 au 25 janvier 2020 ! - "Coq Coq Correct: Verification of Type Checking and Erasure for Coq, in Coq" - Matthieu Sozeau, Simon Boulier, Yannick Forster, Nicolas Tabareau, Théo Winterhalter - "Reduction Monads and Their Signatures" - Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi - "SyTeCi: Automating Contextual Equivalence

Copyright : LS2N 2017 - Mentions Légales - 
 -