ENabling TRust through Os Proofs...and beYond

on January 25, 2018

ENTROPY 2018 est un colloque international organisé par l’équipe 2XS de CRIStAL sur la vérification formelle de noyaux de systèmes d’exploitation. Il consiste en douze présentations invitées par d’éminents chercheurs internationaux du domaine.

More...

Ircica, Villeneuve d'Ascq

Agenda

• Seminar Valse

  Mohamed Yassine Arkhis (Inria), Danilo Lima (Inria) et Manuel Mera (IPN, Mexico) November 27, 2025 at 10:30 am

• Lebrun Fabien December 2, 2025 at 1:00 pm

• December 5, 2025 at 12:15 pm

• December 15, 2025

• December 15, 2025

• Polaris Colloquium

  Sarah Cohen-Boulakia December 18, 2025 at 2:00 pm

• Seminar

  Léodasce Sewanou January 20, 2026 at 10:15 am

• January 26, 2026

Defenses

• Méricel Ayamou (thesis)

  November 28, 2025 at 9:30 am

• Hugo Monfleur (thesis)

  November 28, 2025 at 10:00 am

• Nahuel Palumbo (thesis)

  November 28, 2025 at 10:00 am

• Antoine Geimer (thesis)

  December 2, 2025 at 3:00 pm

• Jiali Xu (thesis)

  December 3, 2025 at 2:00 pm

• Rabah Ouali (thesis)

  December 4, 2025 at 2:00 pm

• Gabriel Darbord (thesis)

  December 5, 2025 at 9:30 am

• Alexandre Bonvoisin (thesis)

  December 5, 2025 at 2:00 pm

• Maxime Bouton (thesis)

  December 9, 2025 at 10:00 am

• Azouaou Ouyoucef (thesis)

  December 9, 2025 at 3:00 pm

• Tifaout Almeftah (thesis)

  December 10, 2025 at 2:00 pm

More news