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

Soutenance d’HDR de Vincent Ricordel (équipe IPI)

Polytech'Nantes Polytech Nantes, Rue Christian Pauc, Nantes

Vincent RICORDEL soutiendra son habilitation à diriger des recherches intitulée "Outils et méthodes pour le codage vidéo perceptuel" mercredi 22 janvier 2020 à 13h30, dans l'amphithéâtre A1 à Polytech. Jury : - Marc Antonini, DR. à l’Université de Nice (rapporteur) - William Puech, Pr. à l’Université de Montpellier (rapporteur) - Olivier Déforges, Pr. à l’INSA de Rennes (rapporteur) - Marco Cagnazzo, Pr. à l’Institut Télécom-Paris (examinateur) - Luce Morin, Pr.

Copyright : LS2N 2017 - Mentions Légales - 
 -