Présentation
- Type de séminaire
- Séminaire
- Titre
- 2 séminaires exceptionnels.... G. Berry et M. Vardi
- Lieu
- Campus - Amphi E, ENSIMAG
- Organisateur
- Séminaire INRIA et Séminaire des "Keynotes du LIG"
- Intervenant
- Gerard Berry and Moshe Vardi
- Date
- 04/11/2010
- Information détaillée
- Gérard Berry Les travaux de Gérard Berry couvrent cinq domaines fondamentaux de l’informatique : le lambda calcul et la programmation fonctionnelle, la programmation parallèle et temps-réel, la conception assistée par ordinateur de circuits intégrés synchrones, la vérification formelle de programmes et circuits, et enfin la modélisation du calcul en général. Il est le créateur principal du langage de programmation Esterel et de son compilateur. De 2000 à 2009, il a été Directeur Scientifique de Esterel Technologies, une entreprise qu’il a co-fondée. Gérard Berry est membre de l’Académie des Sciences, de l’Académie des Technologies, et de l’Academia Europaea. En 2007-2008 il été le titulaire de la chaire annuelle d’innovation technologique du Collège de France, et en 2009-2010 il a été le titulaire de la chaire annuelle d’informatique et sciences numériques du même Collège de France. Au cours de sa carrière il a reçu de nombreux prix : Médaille de bronze du CNRS, Prix Monpetit de l’Académie des sciences, Chevalier de l’Ordre des palmes académiques, Prix cience et défense, Grand prix de la Fondation EADS pour les applications de la science à l’industrie, et Chevalier de l’Ordre du mérite. Il est actuellement directeur de recherche à l’INRIA Sophia-Antipolis, dans l’équipe-projet INDES, et président de sa commission d’évaluation. Enfin, Gérard Berry a été nommé en 2009 Régent de Déformatique au Collège de Pataphysique. Cette nouvelle science, qu’il a créée et dont il est pour l’instant le seul tenant, a pour devise "L’Informatique, c’est la science de l’information, la Déformatique, c’est le contraire".
- Moshe Vardi (Rice University)
Les travaux de Moshe Vardi couvrent un spectre très large en Informatique, avec des contributions majeures en model checking, satisfaction de contraintes, théorie des bases de données, représentation de connaissances, et complexité. Il a obtenu de nombreuses distinctions (3 "IBM Ouststanding Innovation Awards", Godel Prize in 2000, ACM Theory and Practice Award in 2005, LICS Test-of-Time Award in 2006).
- Résumé
- 10h30 - G. Berry
"La vision de la physique, des mathématiques, de l’informatique et de la culture chez les Shadoks"
Les Shadoks évoluent dans un monde très hostile avec des possibilités anatomiques limitées. Cela provoque chez eux une conception du monde très différente de la nôtre, et donc fort intéressante à étudier. Nous en verrons plusieurs aspects. D’abord, la conception du mouvement en général et de la chute des corps en particulier, où le professeur Shadoko rejoint et même dépasse Newton dans la puissance de ses analyses et déductions ; si Newton a compris les lois de la gravité, seul Shadoko compris leur véritable essence. Ensuite, la conception des mathématiques, de la logique et de l’informatique, avec des résultats bien plus pragmatiques et utilisables que ceux connus chez nous. Enfin, la culture en général, son rapport avec la mémoire, et les maladies provoquées chez les Shadoks comme chez nous par l’excès de réflexion. Nous illustrerons notre propos par des photographies variées et par deux courts documentaires tournés par Jacques Rouxel et son équipe lors de leurs visites à ce peuple étonnant.
- 14h00 - Moshe Y. Vardi
"And Logic Begat Computer Science : When Giants Roamed the Earth"
During the past fifty years there has been extensive, continuous, and growing interaction between logic and computer science. In fact, logic has been called "the calculus of computer science". The argument is that logic plays a fundamental role in computer science, similar to that played by calculus in the physical sciences and traditional engineering disciplines. Indeed, logic plays an important role in areas of computer science as disparate as architecture (logic gates), software engineering (specification and verification), programming languages (semantics, logic programming), databases (relational algebra and SQL), artificial intelligence (automated theorem proving), algorithms (complexity and expressiveness), and theory of computation (general notions of computability). This non-technical talk will provide an overview of the unusual effectiveness of logic in computer science by surveying the history of logic in computer science, going back all the way to Aristotle and Euclid, and showing how logic actually gave rise to computer science.
- 10h30 - G. Berry
Langues du site
via la passerelle
...
À voir
-
Offres d’emploi - Thèse : Reasoning on Graph Transformations
(mis à jour le 19/06/2013) -
Offres d’emploi - Maître de conférences : Université Grenoble 1 UJF / MCF4104 — Système distribué et efficacité énergétique
(mis à jour le 17/05/2013) -
Offres d’emploi - Maître de conférences : Université Grenoble 2 UPMF / MCF4093 — Aide à la décision
(mis à jour le 17/05/2013) -
Offres d’emploi - Maître de conférences : Université Grenoble 2 UPMF / MCF4094 — Sciences du Web
(mis à jour le 17/05/2013) -
Offres d’emploi - Thèse : PhD Position in HCI
(mis à jour le 13/05/2013) -
Édition 2013 de la Journée des Doctorants du LIG
(mis à jour le 29/04/2013) -
DOMUS - Des locataires d’un jour testent un appartement "robotisé"
(mis à jour le 29/04/2013) -
Offres d’emploi - Ingénieur CDD : animation et gestion du “fablab” du pôle recherche MSTIC de l’Université de Grenoble
(mis à jour le 10/04/2013) -
Conférence : WASSS 2013 - 1st Workshop on Affective Social Speech Signals
(mis à jour le 5/04/2013)
Tél. : +33 (0)4 76 51 43 61 - Fax : +33 (0)4 76 51 49 85
