Director > Luca Recanzone

Videos linked to Luca Recanzone

01:24:49

published on May 26, 2026

Algorithmic foundations for exact discrete probabilistic reasoning

By Steven Holtzen

01:26:21

published on May 26, 2026

Ensuring correctness of probabilistic inference by static analysis

By Xavier Rival

01:34:54

published on May 22, 2026

Méthodes formelles et sécurité des trains

By Emeric Tourniaire

01:27:50

published on May 22, 2026

Introduction à la cryptographie post-quantique

By André Schrottenloher

01:15:45

published on May 22, 2026

Blockchains : au-delà des cryptomonnaies

By Jean Krivine

01:50:20

published on May 22, 2026

Outils automatiques en cryptographie symétrique

By Marine Minier

01:19:15

published on May 22, 2026

Bases de la cryptographie

By Yann Rotella

36:25

published on May 21, 2026

Stability analysis of a quantum dissipative system

By Simona Rota Nodari

More +

Copyright Carmin.tv 2026

Give feedback