02 Dec 2009 → 27 Jan 2010 Seminar Thinking, modeling and mastering computer calculation 02 Dec 2009 → 27 Jan 2010 Share Facebook X (ex-Twitter) Linkedin Copy url
from Wednesday 2 December 2009 to Wednesday 27 January 2010 See also: Related LectureGérard Berry Program Lecture 10:00 - 11:00 Calculability : machines, languages and functions (1) Gérard Berry 25 Nov 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Nov 2009 10:00 - 11:00 Lecture 11:00 - 12:00 Calculability : machines, languages and functions (2) Gérard Berry 25 Nov 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Nov 2009 11:00 - 12:00 Lecture 10:00 - 11:00 The lambda-calculus: reductions, causality and determinism Gérard Berry 02 Dec 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 02 Dec 2009 10:00 - 11: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 Lecture 10:00 - 11:00 Semantics, information and fixed points Gérard Berry 09 Dec 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Dec 2009 10:00 - 11: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 Lecture 10:00 - 11:00 Automata and transition systems Gérard Berry 16 Dec 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Dec 2009 10:00 - 11:00 Seminar 11:00 - 12:00 Walk in the land of automata - coloring roads Dominique Perrin 16 Dec 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Dec 2009 11:00 - 12:00 Lecture 10:00 - 11:00 Asynchronous parallelism Gérard Berry 06 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 06 Jan 2010 10:00 - 11:00 Seminar 11:00 - 12:00 Parallelism and distribution : from calculations to languages Cédric Fournet 06 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 06 Jan 2010 11:00 - 12:00 Seminar 12:00 - 13:00 The distributed world : from problems to algorithms Michel Raynal 06 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 06 Jan 2010 12:00 - 13:00 Lecture 10:00 - 11:00 Synchronous and vibratory parallelism Gérard Berry 13 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 Jan 2010 10:00 - 11:00 Seminar 11:00 - 12:00 Data-flow parallelism : the synchronous Lustre language Nicolas Halbwachs 13 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 Jan 2010 11:00 - 12:00 Seminar 12:00 - 13:00 Circuits and 2-adic numbers Jean Vuillemin 13 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 Jan 2010 12:00 - 13:00 Seminar 10:15 - 10:50 Programming Manuel Serrano 20 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 20 Jan 2010 10:15 - 10:50 Seminar 10:50 - 11:25 Customized navigation - Internet, P2P and social networks Anne-Marie Kermarrec 20 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 20 Jan 2010 10:50 - 11:25 Seminar 11:25 - 12:00 Using Bayesian networks to understand computations in sensory circuits Sophie Denève 20 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 20 Jan 2010 11:25 - 12:00 Lecture 10:00 - 11:00 The necessary but delicate cooperation of models Gérard Berry 27 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 27 Jan 2010 10:00 - 11:00 Seminar 11:00 - 12:00 Multiple forms of neural computation and compositionality in cortical dynamics Yves Frégnac 27 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 27 Jan 2010 11:00 - 12:00 Lecture 11:00 - 12:00 Conclusion Gérard Berry 27 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 27 Jan 2010 11:00 - 12:00 See also Lecture related to the seminar: Thinking, modeling and mastering computer calculation Gérard Berry, chair Computer Sciences and Digital Technologies
Lecture 10:00 - 11:00 Calculability : machines, languages and functions (1) Gérard Berry 25 Nov 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Nov 2009 10:00 - 11:00
Lecture 11:00 - 12:00 Calculability : machines, languages and functions (2) Gérard Berry 25 Nov 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Nov 2009 11:00 - 12:00
Lecture 10:00 - 11:00 The lambda-calculus: reductions, causality and determinism Gérard Berry 02 Dec 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 02 Dec 2009 10:00 - 11: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
Lecture 10:00 - 11:00 Semantics, information and fixed points Gérard Berry 09 Dec 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Dec 2009 10:00 - 11: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
Lecture 10:00 - 11:00 Automata and transition systems Gérard Berry 16 Dec 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Dec 2009 10:00 - 11:00
Seminar 11:00 - 12:00 Walk in the land of automata - coloring roads Dominique Perrin 16 Dec 2009 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Dec 2009 11:00 - 12:00
Lecture 10:00 - 11:00 Asynchronous parallelism Gérard Berry 06 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 06 Jan 2010 10:00 - 11:00
Seminar 11:00 - 12:00 Parallelism and distribution : from calculations to languages Cédric Fournet 06 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 06 Jan 2010 11:00 - 12:00
Seminar 12:00 - 13:00 The distributed world : from problems to algorithms Michel Raynal 06 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 06 Jan 2010 12:00 - 13:00
Lecture 10:00 - 11:00 Synchronous and vibratory parallelism Gérard Berry 13 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 Jan 2010 10:00 - 11:00
Seminar 11:00 - 12:00 Data-flow parallelism : the synchronous Lustre language Nicolas Halbwachs 13 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 Jan 2010 11:00 - 12:00
Seminar 12:00 - 13:00 Circuits and 2-adic numbers Jean Vuillemin 13 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 Jan 2010 12:00 - 13:00
Seminar 10:15 - 10:50 Programming Manuel Serrano 20 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 20 Jan 2010 10:15 - 10:50
Seminar 10:50 - 11:25 Customized navigation - Internet, P2P and social networks Anne-Marie Kermarrec 20 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 20 Jan 2010 10:50 - 11:25
Seminar 11:25 - 12:00 Using Bayesian networks to understand computations in sensory circuits Sophie Denève 20 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 20 Jan 2010 11:25 - 12:00
Lecture 10:00 - 11:00 The necessary but delicate cooperation of models Gérard Berry 27 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 27 Jan 2010 10:00 - 11:00
Seminar 11:00 - 12:00 Multiple forms of neural computation and compositionality in cortical dynamics Yves Frégnac 27 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 27 Jan 2010 11:00 - 12:00
Lecture 11:00 - 12:00 Conclusion Gérard Berry 27 Jan 2010 Thinking, modeling and mastering computer calculation Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 27 Jan 2010 11:00 - 12:00