• Colloquium by Caroline Chavier (WiMLDS Paris)
• Félicitations à l'équipe ComplexNetworks et à la société BleckWen
• Félicitations à Orlando Chuquimia, doctorant au sein de l'équipe #SYEL
• Félicitations à Mikael Rabie post-doc dans l'équipe NPA

Theses

• 11/21/2019 - 14:00 : JOURNAULT Matthieu
  Analyse statique modulaire précise par interprétation abstraite pour la preuve automatique de correction de programmes et pour l’inférence de contrats
  Campus Jussieu, salle 24-34/201
• 11/22/2019 - 10:00 : CHUQUIMIA CAMACHO Orlando Luis
  Smart Vision Chip pour l'exploration de colon
  Campus Jussieu 55-65/211
• 11/29/2019 - 14:00 : FOSSATI Francesca
  Nouvelles notions d'équité et d'allocation des ressources pour les systèmes congestionnés
  Campus Jussieu, salle Gérard Noguez, 24-25/405
• 12/02/2019 - 14:30 : ROUX Antoine Dimitri
  Streaming unidirectional auto-correcting codes through ELIPS-SD diods
  Campus Jussieu, salle 25-26/105
• 12/09/2019 - 16:00 : NZEKON NZEKO'O Armel Jacques
  Système de recommandation avec dynamique temporelle basée sur les flots de liens
  Campus Jussieu - Salle RC 27 du bâtiment Atrium
• 12/18/2019 - 14:00 : METIN Hakan
  Exploitation des symétries dynamiques pour la résolution des problèmes SAT
  Campus, Bâtiment Atrium RC27

LIP6 events

• 11/18/2019 - Supervised learning for distribution of centralised multiagent patrolling strategies.
  Schedule : 14:00
  Speaker(s) : Mehdi Othmani-Guibourg
  For nearly two decades, patrolling has received significant attention from the multiagent community. Multiagent patrolling (MAP) consists in modelling a patrol task to optimise as a multiagent system. The problem of optimising a patrol task is to distribute agents over the area t...
  Campus Jussieu, 26-00/428, 4 place Jussieu - 75005 Paris - http://sma.lip6.fr/seminaires/
• 12/19/2019 - Estimating music descriptions using convolutional neural networks
  Schedule : 10:00
  Speaker(s) : Alice Cohen (Sciences et technologies de la musique et du son, Sorbonne Université)
  In Music Information Retrieval (MIR) and voice processing, the use of machine learning tools has become in the last few years more and more standard. Especially, many state-of-the-art systems now rely on the use of Neural Network. More precisely, we will focus on convolutional ne...
  LIP6, salle 405 (4ème étage), couloir 24-25, 4 place Jussieu, 75005 Paris - http://webia.lip6.fr/~dapa/web/?q=semina...
• 03/15/2020 - Journées C2
  L’objectif de ces journées est de réunir la communauté scientifique française dont les thèmes de recherche sont liés au codage et à la cryptographie.
  Ces journées sont organisées par le groupe de travail C2 du GDR IM et du GDR Sécurité Informatique, ainsi que par l’IRISA (CN...
  Erdeven - https://jc2-2020.inria.fr/fr/