03/10/2017 14:00

Séminaire CALIN

Questions de permutations
Dominique Rossin
Salle B107, bâtiment B, Université de Villetaneuse

22/09/2017 11:00

Séminaire LCR

Circular Proofs for Subtyping and Termination
Rodolphe Lepigre
Salle B107, bâtiment B, Université de Villetaneuse

26/09/2017 14:00

Séminaire CALIN

Two fast parallel GCD algorithms of many integers
Sidi Mohamed Sedjelmaci
Salle B107, bâtiment B, Université de Villetaneuse