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

Interventions de Colin de la Higuera (équipe TALN) sur l’IA

Colin de la Higuera animera des débats et présentations sur l'intelligence artificielle dans le cadre de 3 manifestations grand public : 14 décembre 2019 à la médiathèque Etienne Caux de Saint-Nazaire : "L'intelligence artificielle" 9 janvier 2020 à 9h45 à l'Université Paris Nanterre : 2ème journée Enseignement et Formation en IA de l'Association Française pour l'Intelligence Artificielle - "Vers l'ajout de compétences IA dans la définition de la littératie numérique

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

Séminaire IPI – Invité : Bogdan CRAMARIUC (ITCST Roumanie)

Polytech'Nantes Polytech Nantes, Rue Christian Pauc, Nantes

Le prochain séminaire IPI aura lieu mardi 21 janvier 2020 à 11h, en salle D005 sur le site de Polytech. Bogdan Cramariuc, directeur de l'ITCST (IT Center for Science an Technology, Bucarest, Romania) animera ce séminaire intitulé "Robotic Platforms in Ambient Assisted Living (AAL)". Abstract: The topics will cover the current context of changing demographics and emerging ICT solutions that are continuously developed to support independent living and optimize caregiving

Copyright : LS2N 2017 - Mentions Légales - 
 -