9 Dec 2009 10:00 - 11:00 Lecture Semantics, information and fixed points Gérard Berry Thinking, modeling and mastering computer calculation 9 Dec 2009 10:00 - 11:00 Share Facebook X (ex-Twitter) Linkedin Copy url Audio-visual RSS
Wednesday 9 December 2009 Amphithéâtre Guillaume Budé, Site Marcelin Berthelot Open to all 10:00 - 11:00 Skip youtube video player Video URL Documents and media Download support pdf (276.91 KB) Speaker(s) Gérard Berry Professor at the Collège de France See also Seminar related to the lecture: Thinking, modeling and mastering computer calculation Gérard Berry, chair Computer Sciences and Digital Technologies Thinking, modeling and mastering computer calculation Events Previous event in the series Seminar 11:00 - 12:00 Lambda-calculus, logic and linguistics Gérard Huet 02 Dec 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 02 Dec 2009 11:00 - 12:00 Next event in the series Seminar 11:00 - 12:00 From lambda-calculus to programming Jean-Jacques Lévy 09 Dec 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Dec 2009 11:00 - 12:00
Seminar 11:00 - 12:00 Lambda-calculus, logic and linguistics Gérard Huet 02 Dec 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 02 Dec 2009 11:00 - 12:00
Seminar 11:00 - 12:00 From lambda-calculus to programming Jean-Jacques Lévy 09 Dec 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Dec 2009 11:00 - 12:00