Agenda


Actualités :

Connaissez-vous les cercles arctiques ?

Cercles arctiques en bois illustrant le théorème de Cohn, Larsen et Propp (1998 )
Cercles arctiques en bois illustrant le théorème de Cohn, Larsen et Propp (1998 )

Voici une création en bois de Thomas
En savoir plus...

Événements :

Bidirectional Typing : From a Nice Implementation Technique to a Powerful Theoretical Tool

#SéminaireLoVe

Meven Lennon-Bertrand

2022-12-08 14:00:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B

Séminaire passé

Daniel Osorio

2022-12-02 12:15:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Vers des Processus Métier Corrects basés sur la Blockchain

#SéminaireLoVe

Ikram Garfatta

2022-12-09 12:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Exploring a Parallel SCC Algorithm: Using TLA+ and the TLC Model Checker

Séminaire passé

Jaco van de Pol

2022-12-02 13:15:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B

Séminaire passé

Daniel Osorio

2022-12-02 12:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Postes permanents :

Aucun poste permanent disponible.

Postes temporaires :

Contrat doctoral en vérification de modèles pour la détection de logiciels malveillants (virus)

Thèse

Contact : Tayssir TOUILI (touili@lipn.fr)

Un contrat doctoral est à pourvoir dans l’équipe “LoVe” du Laboratoire d’Informatique de Paris-Nord (LIPN), Villetaneuse, France.

Le doctorant recruté devra étudier et développer de nouvelles techniques, de nouveaux algorithmes et de nouveaux outils de détection
En savoir plus...

Distinctions :

Aucune distinction disponible.

Retour vers le haut