Das LIP6 organisiert

19.05.2026

11:00 : Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
Eric Koskinen (Stevens Institute of Technology)
In recent years temporal verification has been increasingly applied to higher-order programs. Some researchers have developed automated approaches via higher-order recursion schemes, reductions to fair-termination or constrained Horn clauses, while others have extended type and e …
Salle 428, couloir 26-00, 4 place Jussieu - 75005 Paris

22.05.2026

13:30 : [Séminaire MoVe] Fanuel Mehari (MoVe, LIP6) : Analyse et réparation dans les chaînes d’approvisionnement logicielles
Fanuel Mehari (MoVe, LIP6)
Les logiciels sont toujours de plus en plus dépendants des librairies tierces, ce qui étend leur chaîne d'approvisionnement, et par la même occasion élargit considérablement leur surface d'attaque. Des attaques récentes, comme celles des librairies axios (100 millions téléchargem …
Salle 24-25/405, Campus Pierre et Marie Curie
https://perso.lip6.fr/Dylan.Marinho/seminar

26.05.2026

14:00 : Séminaire pour les Doctorants du LIP6 - Carrière académique
Fabrice KORDON
Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/105)

28.05.2026

14:00 : Balancing fidelity and interpretability in XAI for global model understanding
Caroline MAZINI RODRIGUES (COMPACT team -- IRISA/CNRS)

 …
Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/105)
https://lfi.lip6.fr

Alle Neuigkeiten… Subscribe

Celebrate “75 years of computer science in France”

From CNRS Institut Blaise Pascal to LIP6

Valérie Ménissier-Morain
Des ordinateurs, des erreurs et des hommes

Isabelle Bloch, Henri Maître 
La naissance du traitement numérique de l'image

Fabrice Kordon
L’informatique dans le septième art

Jean-Gabriel Ganascia, Jean-François Perrot, Gérard Sabah
Naissance de l'intelligence artificielle

Isabelle Collet, Alexis Kauffmann, Christine Tasson, Anne Siegel
Femmes dans le numérique : disparition réversible

Soirée festive des 75 ans de l'informatique

Jean-Daniel Kant
Mieux décider dans un monde complexe grâce à l’int

Bertrand Granado
Intelligence Artificielle et Architectures Electroniques : un destin commun

Frédéric Grosshans
Du calcul mécanique au calcul quantique

Stefane Fermigier
Le logiciel libre - au service de la souveraineté numérique depuis plus de 35 ans

Emmanuel Saint-James
À quelle question tente de répondre l'informatique ?