LIFO - Laboratoire d'Informatique Fondamentale d'Orléans 03/10/2025 💡 Ce week-end dans votre région !! 💡 📢 Le @[LIFO - Laboratoire d'Informatique Fondamentale d'Orléans](urn:li:organization:101703238), en collaboration avec le @[Département informatique | Université d'Orléans](urn:li:organization:80069707) participera au Village des sciences dans le cadre de la Fête de la science. Au programme, des ateliers de vulgarisation de concepts informatique, et le tout bien sûr sans aucun ordinateur ! On apprend pourtant à entrainer une IA, à faire des additions en binaire, à faire tourner des protocoles cryptographiques, à manipuler des données représentées en binaire, et autres choses… 🗓️ Samedi 4/10 et dimanche 5/10, de 10h à 18h, à l’INRAE Ardon. Organisation et coordination : @[Centre•Sciences](urn:li:organization:71568355) https://lnkd.in/d3j7qD9f
Soutenance 15/10/2025 Soutenance de thèse de Jordan Ischard Date : Mercredi 15 octobre 2025 à 14h00Lieu : Amphi Herbrand - Bâtiment 3IATitre : Sémantique de langages de programmation fonctionnels réactifs avec effets
Soutenance 09/10/2025 Soutenance de thèse de Yani Ziani Date : Jeudi 9 octobre 2025 à 14h00Lieu : Thalès Research & Technology : salle AuditoriumTitre : Vérification formelle de couches de confiance dans les logiciels : application à la TPM Software Stack