Informatique

Cette année CinéMaths, les rencontres du cinéma scientifique engagé, fêtent ses 4 ans. Rendez-vous au Cinéma Comœdia pour apprendre et questionner les sciences grâce au 7ème art ! Le parti pris de Cinémaths : des beaux films de cinéma, des rencontres (...)

Cycle Université Ouverte : Modélisation en sciences de l'environnement et de la biodiversité La modélisation mathématique est devenue un outil scientifique indispensable dans de nombreux domaines, et peut aussi bien avoir une valeur descriptive, (...)

Cycle Université Ouverte : Modélisation en sciences de l'environnement et de la biodiversité La modélisation mathématique est devenue un outil scientifique indispensable dans de nombreux domaines, et peut aussi bien avoir une valeur descriptive, (...)

Today, in telecommunication networks, much shift is ongoing with the emergence of softwarization and cloudification. Among these technologies, NFV (Network Function Virtualization) is the network architecture that decouples network functions from (...)

Due to the increasing number of nodes in supercomputers, scientific applications are frequently interrupted by failures. Ensuring a correct and uninterrupted application execution requires faulttolerance mechanisms, consisting of Checkpoint/Rollback (...)

L’équipe de l’atelier des humanités numériques (AHN) de l’ENS de Lyon organise une formation à l’encodage XML-TEI, niveau avancé le lundi 5 décembre 2022. La formation se tiendra à l'ENS de Lyon, uniquement en présentiel. La formation sera (...)

Cette rencontre est organisée par cinq établissements de l’Université de Lyon (Universités Claude Bernard Lyon1, Lumière Lyon 2, Jean Monnet de Saint-Étienne, École normale supérieure de Lyon, École des Mines de Saint-Étienne) et le Pôle de (...)

Cette thèse est divisée en deux parties, qui ont en commun le problème du non-déterminisme chez différents modèles d'automates, et la résolution de celui-ci. La première partie s'intéresse à une forme de limitation du non-déterminisme, que l'on (...)

Ma thèse s’intéresse à la sémantique du pi-calcul – un langage de programmation concurrent – lorsqu’il est soumis à des contraintes de typage. L’objectif est de comprendre comment ces restrictions affectent les bisimulations, des techniques de (...)

Lundi 19 septembre 2022, l'École normale supérieure de Lyon a l’honneur de recevoir Dennis Meadows analyste des systèmes, initiateur et co-rédacteur du rapport Limits to growth (Les limites de la croissance) remis en 1972 au Club de Rome. (...)

L’atelier des humanités numériques (AHN) de l’ENS de Lyon organise des séances d’initiation à l’encodage XML-TEI, niveau débutant. lundi 19 septembre 2022 lundi 17 octobre 2022 L'objectif de ces séances est de comprendre les principes (...)

Vous avez dit IA ? Mais qu’est-ce que l’intelligence artificielle ? Que recouvre ce concept qui fait tant parler de lui ? Quand est-il apparu, comment s’est-il développé ? Comment fonctionnent les IA actuelles et quels sont leurs domaines de (...)

Le but de cette thèse est de fournir un système de preuves structurelles pour la logique modale de Riesz. La logique modale de Riesz est une logique modale à valeurs réelles, i.e., ces termes sont interprétés par des nombres réels plutôt que par des (...)

Understanding the properties of objects under a natural product operation is a central theme in mathematics, computer science and physics. Examples of such basic objects include noisy communication channels in information theory, computational (...)

Les départements Informatique des 4 Écoles normales supérieures organisent une réunion d'information sur la scolarité en informatique dans les 4 ENS : organisation, cursus, enseignement par la recherche, carrières dans le monde de l'enseignement et (...)

L’École normale supérieure de Lyon a l’honneur de remettre les insignes de Docteur Honoris Causa à Abhijit Banerjee, économiste américain et Paul Seymour, mathématicien britannique. Abhijit Banerjee est professeur au Massachusetts Institute of (...)

Wearable wireless RFID devices provide novel ways to follow face-to-face interactions of people in various settings. Their application in pre-schools to record daily contacts and oral interactions of children can disclose how the social networks and (...)

Proving properties on programs accessing data-structures such as arrays often requires universally quanti_ed invariants, e.g., \all elements below index i are nonzero". Instead of directly manipulating programs, we use Horn formulas which have (...)

The polyhedral model is a algebraic-based framework which enables efficient code optimization for computer-intensive programs which has been a prolific area of research since its inception. However, its strong assumptions about the shape of the (...)

Avec : Alexandre Maurin Diplômé de Centrale Lyon Directeur Général, ODISS Dans le cadre du Passeport « Acteurs des transitions », le CHEL[s] donne la parole à différents alumnis et intervenants qui sont engagés dans le domaine des transitions, (...)

La technologie Wi-Fi est devenue un réel besoin puisqu’elle répond de manière fiable et rapide à la demande exponentielle des services de données sans fil ce qui mène à la forte augmentation des points d’accès (APs). Dans cet environnement, un client (...)

Intelligence artificielle, mythes et réalité ! Qu'est-ce que l'intelligence artificielle ? À quand remonte la première machine intelligente ? Les prochains robots ressembleront-ils davantage à Wall-e ou à Terminator ? Et pourquoi parle-t-on tant d (...)

Qu'est ce qu'un réseau de neurones artificiels ? On entend parler depuis quelques années de révolution de l'IA par le deep learning ou les réseaux de neurones... Ces modèles ont en effet permis une amélioration substantielle des performances en (...)

While our capacity to collect real-time data has grown significantly over the past decade, our ability to analyze that data to turn it into knowledge has not kept pace. The current focus of big data is shifting toward the design of tools and (...)

Les travaux ont porté sur la définition et l’étude de la distance de Diffusion-Wasserstein entre graphes attribués. Les graphes attribués sont des collections de points avec une description individuelle (attributs) et des liens entre eux (structure (...)

Bruno Sportisse, président-directeur général d'Inria, a le plaisir de vous convier à l'inauguration de son 9e centre de recherche : Inria de Lyon. 17 h 00 - Discours officiels - Création du centre Inria de Lyon Bruno Sportisse, PDG Inria (...)

"Comment apprendre tout en respectant la confidentialité des données ?" par Aurélien Garivier, commissaire scientifique de l'exposition "Entrez dans le monde de l'IA" Les algorithmes d'analyse automatique des données sont maintenant très utilisés (...)

Lattice-based cryptography aims at harnessing the security of cryptographic primitives in the conjectured hardness of well-identified and well-studied algorithmic problems involving Euclidean lattices. This approach leads to more efficient primitives (...)

La simulation occupe aujourd’hui une place im- portante en sciences de l’ingénieur pour concevoir des système complexes. Elle s’est imposée comme un moyen efficace et économiquement peu coûteux en comparaison à (...)

L'IXXI accueil Vassilina Nikoulina et Caroline Brun de Naver labs pour un double séminaire le 15 octobre à 11h. Cette séance aura lieu en présentiel (ENS de Lyon, site Monod, salle R116) et en ligne (informations de connexion ci-dessous). La (...)