Événements


Séminaires :

Compositional Verification of Embedded Real-Time Systems

Mohammed Foughali

2023-06-23 12:15:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Robust min-max regret covering problems

Amadeu Almeida Coco

2023-03-16 10:30:00, #SéminaireAOC
Salle B107, bâtiment B, Université de Villetaneuse

Titre bientôt disponible

Ludovic Patey

2023-02-09 10:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

tba

Cameron Calk

2023-03-23 10:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Titre bientôt disponible

Jérémy Ledent

2023-03-16 10:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Soutenances :

Aucune soutenance disponible.

Conférences :

Aucune conférence disponible.

Séminaires passés :

Reformulations pour l’optimisation convexe par morceaux

Renan Spencer Trindade

2023-04-04 10:30:00, #SéminaireAOC
Salle B107, bâtiment B, Université de Villetaneuse

The cartesian closed bicategory of thin spans

Simon Forest

2023-04-13 10:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Titre bientôt disponible

Renan Spencer Trindade

2023-04-06 10:30:00, #SéminaireAOC
Salle B107, bâtiment B, Université de Villetaneuse

Coherence via strategic rewriting in higher Kleene algebras.

Cameron calk

2023-04-13 10:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Coherence via strategic rewriting in higher Kleene algebras

Cameron Calk

2023-03-23 10:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Retour vers le haut