2 Dec 2009 11:00 - 12:00 Seminar Lambda-calculus, logic and linguistics Gérard Huet Thinking, modeling and mastering computer calculation 2 Dec 2009 11:00 - 12:00 Share Facebook Linkedin Copy url Audio-visual RSS
Wednesday 2 December 2009 Amphithéâtre Guillaume Budé, Site Marcelin Berthelot Open to all 11:00 - 12:00 Skip youtube video player Documents and media Download support pdf (254.2 KB) Speaker(s) Gérard Huet Events Previous Lecture 25 Nov 2009 10:00 - 11:00 Gérard Berry Calculability : machines, languages and functions (1) Lecture 25 Nov 2009 11:00 - 12:00 Gérard Berry Calculability : machines, languages and functions (2) Lecture 2 Dec 2009 10:00 - 11:00 Gérard Berry The lambda-calculus: reductions, causality and determinism Seminar 2 Dec 2009 11:00 - 12:00 Gérard Huet Lambda-calculus, logic and linguistics Lecture 9 Dec 2009 10:00 - 11:00 Gérard Berry Semantics, information and fixed points Seminar 9 Dec 2009 11:00 - 12:00 Jean-Jacques Lévy From lambda-calculus to programming Lecture 16 Dec 2009 10:00 - 11:00 Gérard Berry Automata and transition systems Seminar 16 Dec 2009 11:00 - 12:00 Dominique Perrin Walk in the land of automata - coloring roads Lecture 6 Jan 2010 10:00 - 11:00 Gérard Berry Asynchronous parallelism Seminar 6 Jan 2010 11:00 - 12:00 Cédric Fournet Parallelism and distribution : from calculations to languages Seminar 6 Jan 2010 12:00 - 13:00 Michel Raynal The distributed world : from problems to algorithms Lecture 13 Jan 2010 10:00 - 11:00 Gérard Berry Synchronous and vibratory parallelism Seminar 13 Jan 2010 11:00 - 12:00 Nicolas Halbwachs Data-flow parallelism : the synchronous Lustre language Seminar 13 Jan 2010 12:00 - 13:00 Jean Vuillemin Circuits and 2-adic numbers Seminar 20 Jan 2010 10:15 - 10:50 Manuel Serrano Programming Seminar 20 Jan 2010 10:50 - 11:25 Anne-Marie Kermarrec Customized navigation - Internet, P2P and social networks Seminar 20 Jan 2010 11:25 - 12:00 Sophie Denève Using Bayesian networks to understand computations in sensory circuits Lecture 27 Jan 2010 10:00 - 11:00 Gérard Berry The necessary but delicate cooperation of models Seminar 27 Jan 2010 11:00 - 12:00 Yves Frégnac Multiple forms of neural computation and compositionality in cortical dynamics Lecture 27 Jan 2010 11:00 - 12:00 Gérard Berry Conclusion Next See also Lecture related to the seminar: Thinking, modeling and mastering computer calculation Gérard Berry, chair Computer Sciences and Digital Technologies Thinking, modeling and mastering computer calculation
Lecture 2 Dec 2009 10:00 - 11:00 Gérard Berry The lambda-calculus: reductions, causality and determinism
Seminar 6 Jan 2010 11:00 - 12:00 Cédric Fournet Parallelism and distribution : from calculations to languages
Seminar 13 Jan 2010 11:00 - 12:00 Nicolas Halbwachs Data-flow parallelism : the synchronous Lustre language
Seminar 20 Jan 2010 10:50 - 11:25 Anne-Marie Kermarrec Customized navigation - Internet, P2P and social networks
Seminar 20 Jan 2010 11:25 - 12:00 Sophie Denève Using Bayesian networks to understand computations in sensory circuits
Seminar 27 Jan 2010 11:00 - 12:00 Yves Frégnac Multiple forms of neural computation and compositionality in cortical dynamics