É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

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

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

Soutenances :

Aucune soutenance disponible.

Conférences :

Aucune conférence disponible.

Séminaires passés :

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-03-23 10:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Knowledge and Topology: Simplicial Models for Epistemic Logic

Jérémy Ledent

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

From Language Models to (very) Large Language Models

Davide Buscaldi

2023-03-20 12:30:00, #SéminaireRCLN
Salle B107, bâtiment B, Université de Villetaneuse

Weak omega-categories and their internal language in dependent type theory

Thibaut Benjamin

2023-03-17 14:00:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse

Retour vers le haut