~~NOCACHE~~

---- datatemplateentry ----
template: templates:seance
classe: seance
type: IRIF seminar
seminaire: irif
id: 630
date: vendredi 16 novembre 2018
heure: 10h30
salle: Amphithéâtre Pierre-Gilles de Gennes, Bât. Condorcet
nom: Maurice Herlihy
affiliation: Brown University
titre: **IRIF Distinguished Talks Series**:  Atomic Cross-Chain Swaps
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: IRIF seminar
seminaire: irif
id: 621
date: vendredi 13 juillet 2018
heure: 10h30
salle: Amphi Turing
nom: Christos Papadimitriou
affiliation: Columbia University
titre: **IRIF Distinguished Talks Series**: A computer scientist thinks about the Brain
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: IRIF seminar
seminaire: irif
id: 344
date: vendredi 13 avril 2018
heure: 10h30
salle: Amphi Turing
nom: Monika Henzinger
affiliation: University of Vienna
titre: **IRIF Distinguished Talks Series**: The state of the art in dynamic graph algorithms
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: IRIF seminar
seminaire: irif
id: 300
date: vendredi 10 novembre 2017
heure: 10h30
salle: Amphi Turing
nom: Yuri  Matiyasevich
affiliation: Steklov Institute of Mathematics, St. Petersburg
titre: **IRIF Distinguished Talks Series**: Hilbert's tenth problem and some other difficult problems ({{  https://logic.pdmi.ras.ru/~yumat/talks/talks.php?istate=state_show_talk&iid=1367 | click here for the slides}})
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: IRIF seminar
seminaire: irif
id: 234
date: mardi 11 avril 2017
heure: 10h30
salle: Amphi Turing
nom: Leonid Libkin
affiliation: University of Edinburgh
titre: **IRIF expository talks series**: Primordial database theory revisited: are relational algebra, calculus, and basic SQL really equivalent?
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: IRIF seminar
seminaire: irif
id: 122
date: vendredi 03 mars 2017
heure: 10h30
salle: Amphi Turing
nom: Joost-Pieter Katoen
affiliation: RWTH Aachen
titre: **IRIF Distinguished Talks Series**: Principles of Probabilistic Programming ({{seminaires:irif:sem_irif_20170303_katoen.pdf |click here for the slides}})
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: IRIF seminar
seminaire: irif
id: 95
date: vendredi 28 octobre 2016
heure: 10h30
salle: Salle 3052, Bâtiment Sophie Germain (SEE NOTE IN THE ABSTRACT)
nom: Yuri Gurevich
affiliation: Microsoft Research
titre: **IRIF  expository talks series **: Logic in Computer Science and Computer Engineering
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: IRIF seminar
seminaire: irif
id: 94
date: vendredi 16 septembre 2016
heure: 10h30
salle: Amphi Turing (Bâtiment Sophie Germain)
nom: Roberto di Cosmo
affiliation: IRIF
titre: **IRIF expository talks series**: Preserving Software: challenges and opportunities for the reproductibility of Science ({{seminaires:irif:sem_irif_20160916_di-cosmo.pdf |click here for the slides}})
----


---- datatemplateentry ----
template: templates:seance
classe: seance
type: IRIF seminar
seminaire: irif
id: 4
date: jeudi 28 janvier 2016
heure: 10h30
salle: Amphi Turing
nom: Nachum Dershowitz
affiliation: Tel Aviv University
titre: Ada and Computation
----