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

Journées du GDR Réseaux et Systèmes Distribués 2020

UFR Sciences 2 rue de la Houssinière, Nantes

Dans Le cadre du Groupe de Recherche (GdR) Réseaux et Systèmes Distribués, Benoit Parrein (équipe RIO) et Adrien Lebre (équipe STACK) organisent des journées non-thématiques jeudi 23 et vendredi 24 janvier 2020 dans l'amphi du bât. 34 sur le site de la FST. L'événement vise à rassembler les communautés Réseaux et Systèmes Distribués afin de présenter les défis scientifiques et techniques des deux pôles, échanger autour des résultats obtenus et faire émerger de futures collaborations.

Copyright : LS2N 2017 - Mentions Légales - 
 -