Lien 
vers le site de l'ENS
ÉCOLE NORMALE SUPÉRIEUREPARIS
Lien vers l'accueil
lancer la recherche

» Conférences d’après mars 2011 : nouveau site

 

Séminaire général du Département d’informatique

Organisé par : Giuseppe Longo (CNRS)

Le Département d’informatique organise un séminaire mensuel pour augmenter la circulation des idées au sein de ses différentes composantes thématiques, ainsi que dans le contexte plus large de l’ENS et de ses espaces scientifiques. Pour cette raison, il est demandé aux orateurs d’introduire leur domaine de recherche, voire leur travail (mais toujours dans un contexte relativement vaste), de façon accessible aux élèves et à des scientifiques travaillant dans d’autres domaines. La fréquence est en principe mensuelle, sauf exceptions annoncées à l’avance.
Le séminaire général du Département d’informatique de l’École normale supérieure est organisé par Giuseppe Longo (CNRS, ENS).

Ressources en ligne

  • Un petit bogue, un grand boum (le 26 janvier 2010) — Jean-Jacques Levy
    En juin 1996, le vol 501 de la fusée Ariane 5 se conclut par une explosion au bout de 39 secondes, due à une erreur dans le logiciel de bord. De novembre 1996 à février 1997, une équipe de l’INRIA a appliqué quelques méthodes élémentaires d’analyse statique au code embarqué, grâce principalement à un analyseur d’alias développé alors depuis plus de 10 ans par Alain Deutsch. Ce travail a eu un grand succès auprès des ingénieurs de l’Aérospatiale (renommée EADS depuis) et a donné plus de confiance dans la validité du code embarqué pour le vol 502 et les vols suivants. Comme indiqué dans Wikipedia, l’intérêt du monde industriel pour des outils d’analyse statique, spécialement pour le développement de logiciels critiques, s’est développé à la suite de l’explosion du vol inaugural de la fusée Ariane 5 à cause d’un bug informatique, sans doute un des bugs les plus chers de l’histoire. Nous expliquerons les différentes phases de ce travail, déjà vieux de plus de 10 ans.
  • The First 10 Years of Advanced Encryption (le 16 février 2010) — Vincent Rijmen
    About 10 years ago, we designed the block cipher Rijndael in response to NIST’s announcement of their initiative to select a new encryption standard (the AES). In 2000, NIST selected Rijndael to become the AES. In this talk, I survey the increasing acceptance and adoption of the AES in various applications. I also talk about situations were it proves difficult to convince people to start using AES. Finally I illustrate the influence of the AES on design philosophies being used to design new cryptographic primitives. This is done by looking at the contenders in NIST’s SHA-3 competition, which is in full progress.
  • Un survol sur la topologie algébrique dirigée : des applications à la théorie de la concurrence (le 16 mars 2010) — Éric Goubault
    In the early 90s, quite independently, a number of computer-scientific problems appeared to introduce algebraic topological techniques. These include truly-concurrent semantics for concurrency, fault-tolerant protocols for distributed systems, rewriting systems theory… Since then, two major phenomena arose: the apparition of new homotopical/homological theories motivated by applications, in particular "directed topology" in concurrency applications, and the view that topological invariants computations are amenable to "numerical schemes" like approximations (this is now called "applied algebraic topology", and has deep developments in robotics, and in computational geometry). Now, it is reasonable to think that, although most of the development in the field of directed algebraic topology was foundational and almost purely mathematical during 15 years or so, applications to real-size problems in static analysis of concurrent systems, for instance, are now possible. We will present in this talk some of the major concepts of directed algebraic topology, its historical ramifications (both in applications and theory) and some current applications to state-space reduction in semantics/analysis of concurrent systems.
  • Sum-Product Problem: New Generalisations and Applications (le 27 avril 2010) — Igor Shparlinski
    We give a brief survey of recent results related to the sum-product problem which dates back to work of Erdos and Szemeredi (1983), where it is shown that for any set A<+i> of real numbers, at least one of the sets A+A = {a_1 + a_2 : a_1,a_2 in A} and A A = {a_1 a_2 : a_1,a_2 in A} is large. More recently, Bourgain, Katz and Tao (2006) obtained similar results for sets A in prime finite fields. We outline these and several other recent results in this area and also present a diverse scope of their applications to several other problems. Finally we mention several open problems, some of which are motivated by applications to cryptography.

Organisateurs

Giuseppe_Longo

Giuseppe Longo (CNRS)

Équipe "Complexité et information morphologiques" (CIM), Laboratoire d’Informatique de l’ENS (LIENS).
Membre à temps partiel du CREA, Ecole Polytechnique.
Membre co-fondateur du CenECC, ENS.
Ancien responsable de l’équipe Langages, Types et Logique, LIENS.
Ancien Professeur ("Professore Ordinario") d’Informatique, Universita’ di Pisa.

En savoir plus sur le cycle...


Séminaires de recherche

Atelier Apprentissage 2005–2006

Atelier Apprentissage 2006–2007

Atelier Mathématiques et biologie 2004–2005

Atelier Mathématiques et biologie 2005–2006

Atelier Mathématiques et biologie 2006–2007

Conférences du département d’Études cognitives

Les lundis de la philosophie

Séminaire Archéologie des sanctuaires celtiques

Séminaire Art, création, cognition

Séminaire de l’ITEM : De l’archive manuscrite au scriptorium électronique

Séminaire de l’ITEM : Genèse et correspondances

Séminaire de l’ITEM : Genèses théâtrales

Séminaire de l’ITEM : Genèses, récit d’auteur / récit de critique

Séminaire de l’ITEM : L’écriture et le souci de la langue

Séminaire du Département de biologie

Séminaire du Département de chimie

Séminaire du Laboratoire de géologie

Séminaire du Laboratoire de météorologie dynamique

Séminaire du Laboratoire de physique statistique

Séminaire Environnement et société

Séminaire européen Sciences sociales et santé mentale

Séminaire général du Département d’informatique

Séminaire général du Département de physique

Séminaire général du Département TAO

Séminaire Histoire de l’enseignement supérieur français, XIX°–XX° siècles

Séminaire Histoire et philosophie des mathématiques

Séminaire Littérature et morale à l’âge classique

Séminaire Louis Pasteur de l’ENS : The design of photosynthesis

Séminaire MHD (SEMHD)

Séminaire Modélisation et méthodes statistiques en sciences sociales

Séminaire Musique et mathématiques

Séminaire Musique et philosophie

Séminaire Philosophie et mathématiques

Séminaire Vision algorithmique et biologique

Séminaire Vision artificielle / Équipe Willow

Séminaire Visualiser et modéliser le cerveau