IRIF :: ViewTube

204 subscribers

43.4K subscribers

Dexter Kozen (Cornell University) Talk - Irif's Distinguished Talk Series

On December 3, 2024 IRIF welcomed Dexter Kozen (Cornell University) for a talk about "Probability and Angelic Nondeterminism ...

1:23:07

Dexter Kozen (Cornell University) Talk - Irif's Distinguished Talk Series

306 views

1 year ago

Podpunkt

Institut de Recherche en Informatique Fondamentale —visual identity for a research institute Identity for a research laboratory ...

0:10

IRIF identity

141 views

8 years ago

12 subscribers

498 subscribers

Goo Goo Dolls

Provided to YouTube by Warner Records Iris · Goo Goo Dolls Dizzy up the Girl ℗ 1998 Warner Records Inc. Audio Recording ...

4:50

Iris

374,982,654 views

IRIF

On May 14, 2024 IRIF welcomed Omer Reingold (Stanford) for a talk about " The multitude of group affiliations: Algorithmic ...

1:27:40

Omer Reingold (Stanford) Talk - Irif's Distinguished Talk Series

107 views

2 years ago

Abdelkader Ariaf

Abdelkader Ariaf - Arrif ino [ EXCLUSIEVE Clip Video ] 2021 ▷ Album available on: iTunes - Apple Music - Anghami - Spotify ...

3:11

Abdelkader Ariaf - Arrif ino [ EXCLUSIEVE Clip Video ] 2021

4,091,485 views

5 years ago

NebN

Yet another Intro with Adobe After Effeccts.

0:11

After Effects Intro (IRIF)

322 views

17 years ago

1 subscribers

Sadegh Soudjani

Verification Seminar at IRIF (Formal Verification of Stochastic Systems)

This is the recap of my presentation at verification seminars organised by IRIF (CNRS Research Institute on the Foundations of ...

48:41

Verification Seminar at IRIF (Formal Verification of Stochastic Systems)

72 views

5 years ago

Energo University

2:07:36

IRIF 2025

159 views

Streamed 1 year ago

1 subscribers

12 subscribers

5 subscribers