Séminaires des labo de l’ED

Henri Atlan, mardi 17 décembre 2019, 18h-19h30 : "Spinoza et la biologie actuelle"

Dans le cadre d'un partenariat avec l'Institut NeuroMod (Institut de Modélisation en neurosciences et cognition) et la MSHS Sud-Est (axe 1 : sciences cognitives et computation), le Séminaire d'histoire et de philosophie des sciences est heureux d'accueillir la conférence d'Henri Atlan :

FIRST NEUROMOD COLLOQUIUM
Henri ATLAN, "SPINOZA ET LA BIOLOGIE ACTUELLE"
Mardi 17 Décembre 2019, 18h-19h30
Maison de l’étudiant, Nice

Mettre un fichier en ligne: 

Colloquium J. Morgenstern - Bertrand Meyer - 18 décembre 2019 - 11h - Inria - Sophia Antipolis

COLLOQUIUM JACQUES MORGENSTERN

Inria, site de Sophia Antipolis
Amphithéâtre - Bâtiment Kahn

Le 18 décembre à 11 heures

Bertrand Meyer

(Schaffhausen Institute of Technology)

How to build quality software: the Eiffel experience

Résumé / Abstract :
With society’s growing reliance on IT systems, the ability to write high-quality software is ever more critical. While a posteriori verification techniques have their role, there is no substitute for methods and tools that provide built-in quality (“correctness by construction” and scale up to very large systems. For several decades my colleagues and I have been building such a method, based in particular on the concept of Design by Contract, the associated tools and the supporting language, Eiffel. The scope is wide, encompassing all aspects of the software development process, from requirements and design to implementation and verification. I will present an overview of the approach, show what it can yield, and discuss remaining open issues.

This talk is meant for everyone, whether from industry or academia, with an interest in practical techniques for engineering high-quality software.

La présentation sera faite en anglais.

Retrouvez l'intégralité du programme de l'année sur le site du colloquium
https://iww.inria.fr/colloquium/

Séminaire Histoire et Philosophie des Sciences : A. Galligo, le mardi 3/12

Dans le cadre du séminaire d’Histoire et de Philosophie des Sciences

http://crhi-unice.fr/la-pensee-des-sciences

le CRHI et le Laboratoire J.A.Dieudonné sont heureux d’accueillir une conférence d'

André Galligo (UCA, LJAD)

le mardi 3 décembre 2019, de 17h à 18h30, en salle de conférences du Laboratoire J.A. Dieudonné (campus Valrose), pour une conférence intitulée

« Que recouvre l'expression "Intelligence Artificielle" ? ».

Présentation :
Je propose une introduction à une discussion sur ce sujet qui se décompose en deux parties. Je vais d'abord tenter de définir les termes du débat en décrivant l'évolution de certaines outils technologiques et la perception de cette évolution. Je noterai la croissance des raisonnements et résultats de nature probabilistes/statistiques, notamment l'importance du Machine Learning. Puis, je présenterai (brièvement) l'état d'avancement de technologies emblématiques de l'IA comme la conduite automobile autonome, le diagnostic médical, la traduction automatique, les compétitions sur les jeux de stratégie, qui semblaient des marqueurs de l'intelligence humaine.

Cordialement,

Les organisateurs,

Frédéric Patras, Sébastien Poinat

Colloquium J. Morgenstern - Alexei A. Efros - 28 novembre 2019 - 11h - Inria - Sophia Antipolis

COLLOQUIUM JACQUES MORGENSTERN - Inria, site de Sophia Antipolis
Amphithéâtre - Bâtiment Kahn

Alexei A. Efros (UC Berkeley) will talk about "Self-Supervised Visual Learning and Synthesis"

Résumé / Abstract :
Computer vision has made impressive gains through the use of deep learning models, trained with large-scale labeled data. However, labels require expertise and curation and are expensive to collect. Can one discover useful visual representations without the use of explicitly curated labels? In this talk, I will present several case studies exploring the paradigm of self-supervised learning — using raw data as its own supervision. Several ways of defining objective functions in high-dimensional spaces will be discussed, including the use of General Adversarial Networks (GANs) to learn the objective function directly from the data. Applications of self-supervised learning will be presented, including colorization, on/off-screen source separation, image forensics, paired and unpaired image-to-image translation (aka pix2pix and cycleGAN), and curiosity-based exploration.

La présentation sera faite en anglais.

Retrouvez l'intégralité du programme de l'année sur le site du colloquium
https://iww.inria.fr/colloquium/

Jeudi 7 novembre de 14h à 16h en salle des séminaires de Chimie

Dr Samir JEGHAM, scientific attaché to global head of IDD (Integrated Drug Discovery platform a lead generation engine of Sanofi), and in charge of the French R&D Post-Doc mentoring program,
will give a talk on :
"From target to clinical candidate: The evolving role of project leader in Drug Discovery."

Mettre un fichier en ligne: 

Colloquium du laboratoire Dieudonné - lundi 14 octobre à 12:00

La prochaine séance du Colloquium du laboratoire Dieudonné aura lieu le lundi 14 octobre à 12:00 en salle de conférences. Elle sera suivie d'une collation en l'espace détente.

Notre conférencière sera :
Patricia REYNAUD-BOURET (The French Riviera University, Laboratoire J.A. Dieudonné, CNRS, Nice, https://math.unice.fr/~reynaudb/)

et le titre de son exposé sera :
'Réseaux de neurones et connectivité fonctionnelle'.

Un résumé est le suivant :
Apres un petit résumé des connaissances à avoir sur les réseaux de neurones biologiques, j'expliquerai pourquoi les neurobiologistes s'intéressent autant à la connectivité fonctionnelle, qui peut se voir mathématiquement comme un graphe d'indépendance locale entre neurones ou entre aires cérébrales. En particulier, ils pensent que cela peut contribuer à décoder le code neural. Je montrerai comment on peut reconstruire ce graphe et comment on peut obtenir des garanties mathématiques sur cette reconstruction même si on observe qu'une petite partie d'un réseau potentiellement infini de neurones d'un point de vue mathématique.

Venez Nombreux !

L'équipe Colloquium

Colloquium du laboratoire Dieudonné - lundi 9 septembre à 12:00

La prochaine séance du Colloquium du laboratoire Dieudonné aura lieu le lundi 9 septembre à 12:00 en salle de conférences. Elle sera suivie d'un collation. Notre conférencier sera :

Vladimir T. TIKHONCHUK (Université de Bordeaux - CNRS - CEA, Centre Laser Intenses et Applications, Bordeaux, and Institute of Physics, Czech Academy of Sciences, Extreme Light Infrastructure, Dolní Břežany, ČESKO, Edward Teller Award 2017, https://fr.wikipedia.org/wiki/Vladimir_Tikhonchuk)

et le titre de son exposé sera :

'Non-local transport in Laser-Fusion Plasmas and its applications. State of the Art'.

Un résumé est le suivant.

Energy transport is of great importance in the fundamental physics and for a large number of applications extending from astrophysics and cosmology to thermonuclear fusion and medicine. Treatment of the energy transport as a diffusion process is limited to dense systems and often incompatible realistic conditions of the systems of interest such as outer star plasmas, fusion plasmas or cancer treatment. However, a detailed kinetic treatment of the transport processes is impossible in view of large size and complexity of the considered systems. In my talk I will present the reduced kinetic approach based on the entropic closure of full kinetic equation and providing the possibility for sufficiently fast and accurate calculations of electron and radiation transport in solids and plasmas.

After a short recall of the diffusion approximation for the radiation and electron transport, I will consider its limits and introduce the non-local models based on simplified treatment of the collisional operator. Several examples of application of nonlocal models in fusion plasmas and their accuracy will be discussed. I will conclude with an example of a joint electron-photon transport model developed for tumor treatments in radiotherapy.

Venez Nombreux !

L'équipe Colloquium

Colloquium J. Morgenstern - Luca Aceto (Univ. Reykajavik) - 10/09 - 11h - Inria - Sophia Antipolis

Inria, site de Sophia Antipolis - Amphithéâtre - Bâtiment Kahn

Luca Aceto(Univ. Reykajavik)

"Theoretical Foundations for Runtime Monitoring"

Résumé / Abstract :

Runtime Verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel questions to software engineers: it is not easy to see which specifications are amenable to runtime monitoring, and it is not clear which monitors perform the required runtime analysis correctly.

In this talk, I will present a theoretical framework that can be used to provide answers to those questions. Our approach uses the classic Hennessy-Milner with recursion as a specification logic that is agnostic of the adopted verification method and is general enough to embed commonly used specification logics. I also present an operational semantics for an elemental framework that describes the runtime analysis carried out by monitors. This allows us to establish a correspondence between the property satisfactions in the logic and the verdicts reached by the monitors carrying out the analysis. I will show how this correspondence is used to identify which subsets of the logic can be adequately monitored for, to study the power of deterministic monitors and to define various notions of monitor correctness. In this talk, I will assume no prior knowledge of runtime verification.

The talk is based on joint work with my collaborators in the project Theoretical Foundations for Monitorability.

La présentation sera faite en anglais.

Retrouvez l'intégralité du programme de l'année sur le site du colloquium https://iww.inria.fr/colloquium/

Colloquium du laboratoire Dieudonné - lundi 24 juin à 14:30

La prochaine séance du Colloquium du laboratoire Dieudonné aura lieu le lundi 24 juin à 14:30 en salle de conférences. Elle sera suivie d'une pause-café en l'espace détente. Notre conférencière sera :

Paola GOATIN (The French Riviera University, Laboratoire J.A. Dieudonné, INRIA, Nice, Prix Inria - Académie des sciences du jeune chercheur 2014, Trophée Femme en Or 2016 dans la catégorie Smart City, http://www-sop.inria.fr/members/Paola.Goatin/)

et le titre de son exposé sera :

'Le trafic routier en équations'.

Un résumé est le suivant.

Depuis plusieurs décennies, les ingénieurs et les mathématiciens développent des modèles mathématiques pour décrire et contrôler, à différentes échelles, l'écoulement des véhicules sur les réseaux routiers. Cet exposé se focalisera sur l'approche dite “macroscopique", et s'attachera à montrer comment des équations dérivées de la dynamique des fluides peuvent être utilisées pour décrire des phénomènes caractéristiques comme la propagation d'une congestion ou les transitions entre trafic fluide et congestionné. On verra aussi quels sont les moyens d'intervention pour améliorer la circulation des voitures, et quelles sont les techniques mathématiques qui permettent de parvenir à une gestion optimale des routes.

Venez Nombreux !

L'équipe Colloquium

Meeting projet NAUTILUS (ECOSEAS/I3S/Géoazur) Mercredi 12 juin de 13h30 à 17h30

Meeting projet NAUTILUS (ECOSEAS/I3S/Géoazur)
Mercredi 12 juin de 13h30 à 17h30
Géoazur Bat. 4 - Campus Azur CNRS – Sophia Antipolis

Programme : https://docs.google.com/document/d/1HL9BvDEmZrInrP7ZB41L26z5pn51gQXYwNZl...

L'environnement sous-marin a longtemps été décrit comme un monde silencieux. Les recherches menées au cours des dernières décennies ont toutefois permis de mieux faire comprendre que les sons et les bruits sont des éléments importants de l’environnement marin. Le bruit marin, comprenant les sons biotiques (produits par des animaux comme les poissons et les mammifères), les sons abiotiques (par exemple, déferlement des vagues et des courants de glace) et anthropiques (par exemple, sonar, prospection sismique, forage, bateaux de plaisance et de pêche), est appelé paysage sonore. L'augmentation de l'industrialisation et des échanges mondiaux a entraîné une augmentation spectaculaire des bruits anthropiques, considérés comme un polluant mondial majeur au XXIe siècle. Le bruit anthropique peut toucher une grande variété d'espèces d'animaux marins, avec des conséquences allant de l'absence d'effet à la mort immédiate.
Grâce à une collaboration multidisciplinaire entre chercheurs en biologie et écologie marines, en géosciences et en traitement des signaux acoustiques, le projet pilote Nautilus fournira des informations essentielles pour :i) construire le paysage sonore du domaine côtier (Villefranche/mer, Saint Jean-Cap-Ferrat et Eze) ii) analyser automatiquement les grands ensembles de données existants et futurs de la communauté des géosciences marines pour construire le paysage sonore en mer Ligure iii) évaluer les conséquences à plusieurs niveaux du bruit anthropique en mer Ligure : impact sur le comportement, la vitesse de colonisation, la morphologie, la croissance et d’autres variables physiologiques des poissons juvéniles ; et sur la communication acoustique du Rorqual commun.

Syndiquer le contenu