Das LIP6, die Sorbonne University und das französische nationale Zentrum für wissenschaftliche Forschung (UMR 7606 Sorbonne University - CNRS), ist ein Forschungsinstitut für Informatik, das sich der Modellierung und Lösung grundlegender Probleme, die durch Anwendungen bedingt sind, sowie der Implementierung und Validierung widmet durch akademische und industrielle Partnerschaften. p>
LIP6 adressiert diese Herausforderungen innerhalb seiner vier Forschungsachsen: p>
- Prédire le comportement de programmes par «model checking»
Doktorarbeiten
- 01.12.2023 - : OUDRHIRI Ali
Campus Pierre et Marie Curie - 01.12.2023 - 10:00 : PONT Mathieu
Analysis of Ensembles of Topological Descriptors
Campus Pierre et Marie Curie, salle Jacques Pitrat (25-26/105)