• Orange Day - Journée internationale pour l’élimination de la violence à l’égard des femmes

Theses

• 11/30/2023 - 14:30 : CHAHAL Jamy
  Multi-drones patrol and observation of mobile targets
  Salle de réunion de l'UFR d'Ingénierie : 55-65/211
• 12/01/2023 - : OUDRHIRI Ali
  
  Campus Pierre et Marie Curie
• 12/01/2023 - 10:00 : PONT Mathieu
  Analysis of Ensembles of Topological Descriptors
  Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/105)
• 12/04/2023 - 09:30 : TARISSAN Fabien Habilitation
  The analysis and modelling of multi-partite networks
  ENS Paris-Saclay en salle 1Z31, 4 av. des Sciences, 91190 Gif-sur-Yvette
• 12/04/2023 - 10:00 : MA Yao
  Quantum Hardware Security and Near-term Applications
  Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/105)
• 12/04/2023 - 15:30 : MARULANDA ACOSTA Valentina
  Quantum Key Distribution through atmospheric turbulence: secure satellite-to-ground links
  Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/105)

LIP6 events

• 12/04/2023 - Type Theory in Climate Impact Research: From Program Correctness to Policy Advice
  Schedule : 14:00
  Speaker(s) : Cezar Ionescu (Technische Hochschule Deggendorf)
  Type theory is a higher-order logic that can express functional programs, their properties, and, at the same time, proofs of those properties. I will present a brief overview of its applications to climate impact research, focusing on the formalization of concepts such as ``vuln...
  Campus Pierre et Marie Curie, salle 24-25/405
• 12/14/2023 - Logics for Strategic Reasoning: Recent Developments and Application to Mechanism Design
  Schedule : 13:00
  Speaker(s) : Munyque Mittelmann (Univ. of Naples Frederico II)
  In recent years a wealth of logic-based languages have been introduced to reason about the strategic abilities of autonomous agents in multi-agent systems. This talk presents some of these important logical formalisms, namely, the Alternating-time Temporal Logic and Strategy Logi...
  Campus Pierre et Marie Curie, Salle 24(25/405