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

• December 5, 2025 at 12:15 pm

• Seminar

  Divya MISHRA December 11, 2025 at 4:30 pm

• December 15, 2025

• December 15, 2025

• Polaris Colloquium

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

• Jan Ramon December 19, 2025 at 2:00 pm

• Seminar

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

• January 26, 2026

• March 25, 2026

Defenses

• 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

• Alice Loizeau (thesis)

  December 9, 2025 at 2:00 pm

• Penanklihi Cyrille Kone (thesis)

  December 9, 2025 at 3:00 pm

• Azouaou Ouyoucef (thesis)

  December 9, 2025 at 3:00 pm

• Tifaout Almeftah (thesis)

  December 10, 2025 at 2:00 pm

• Hector Kohler (thesis)

  December 10, 2025 at 2:30 pm

• Raphaël Perraud (thesis)

  December 10, 2025 at 2:30 pm

• Marc Damie (thesis)

  December 11, 2025 at 2:00 pm

• Aurélie Saulquin (thesis)

  December 12, 2025 at 2:00 pm

• Hadrien Salem (thesis)

  December 15, 2025 at 10:00 am

• Gaël Van Der Lee (thesis)

  December 15, 2025 at 1:00 pm

• Léa Vandamme (thesis)

  December 18, 2025 at 3:00 pm

• Francesco Morri (thesis)

  December 19, 2025 at 10:00 am

More news