Mot de passe oublié ?

Blogs sur: Politiques De Securite

Blog vedette

Post-doctorat en langages de programmation

L’entreprise MLState et l’équipe SDS (Sécurité et Distribution des Systèmes, équipe du Laboratoire d’Informatique Fondamentale d’Orléans) proposent un poste de post-doctorat dans le domaine de l… la suite →

Il y a du thé renversé au bord de la table

Post-doctorat en langages de programmation

yoric wrote 1 year ago: L’entreprise MLState et l’équipe SDS (Sécurité et Distribution des Systèmes, équipe du Laborat … more →

Mots-clefs : Enseignement, Informatique - Computer Science, Sûreté / Security, Recherche / Research, En Français | in French, OCaml, algèbre réduite, algèbres de processus, analyse statique

Extrapol, première partie : de C aux effets

yoric wrote 1 year ago: Après un billet dans la langue de Turing, voici une présentation d’Extrapol en version françai … more →

Mots-clefs : Enseignement, Informatique - Computer Science, Sûreté / Security, Recherche / Research, En Français | in French, OCaml, Extrapol, SELinux, Logiciel Libre


Tags connexes
Tout →

Suivre cette étiquette via RSS