Bandeau du Laboratoire d'Informatique & Systèmes (LIS)

Laboratoire d'Informatique et des Systèmes

PARTENAIRES

logo Archimede

logo Institut Carnot

Pôle ACS
Pôle ACS
Pôle Calcul
Pôle Calcul
Pôle Sciences des données
Pôle Sciences des données
Pôle Image & Signal
Pôle Image & Signal
AGENDA

Seminaire
Séminaire COALA : Benjamin BERGOUGNOUX (Warsaw University)
> 19/06/2024 à 15h00

Lieu : Salle de réunion de l'équipe COALA

Titre : Neighborhood operator logics: efficient model checking in terms of width parameters

Résumé : In this talk, I will introduce the family of neighborhood operator (NEO) logics ....

Seminaire
Séminaire CANA - Maximilien Gadouleau (Durham University)
> 18/06/2024 à 14h00

Lieu : TPR2 04.05

Titre: Les réseaux Booléens et leurs trapspaces

Résumé : Un réseau Booléen est un outil simple pour modéliser un réseau d'entités qui interagissent. Chaque entité a un état dans {0,1} qui évolue selon une règle déterministe. Mathématiquement, un ....

Seminaire
Séminaire ACRO : Aurélie Lagoutte (17/06 REU 4.05 14h)
> 17/06/2024 à 14h00

Séminaire ACRO : Aurélie Lagoutte (17/06 REU 4.05 14h) Luminy Titre : Online algorithm for the Canadian Traveler Problem on outerplanar graphs Résumé : Given a graph G and two vertices s and t, the Canadian Traveler Problem consists in finding a "short" path between s and t in G, when some ....

WorkShop
Journées Apprentissage Signal Image, 17-18 juin
> 17/06/2024 à 09h00

Les Premières Journées Apprentissage Signal Image du LIS auront lieu les 17 et 18 juin à Châteauneuf le Rouge au pied de la Sainte Victoire.

Objectif :

L'objectif est de contribuer à l'animation scientifique autour de l'interface Apprentissage/Signal/Image ....

A LA UNE

Bienvenue à bord, Loïs BRUN : nouveau docteur de l'espace !

Découvrez l'aventure passionnante de Loïs BRUN, notre nouveau doctorant en traitement d'images et intelligence artificielle appliqués à la planétologie martienne, sous la direction d'Adeline PAIEMENT et en collaboration avec Sylvain DOUTE.
  • Contact : Loïs BRUN - équipe DYNI

ACANCOS – Projet Horizon Europe

Plongez dans l'inconnu avec ACANCOS et découvrez les mystères des systèmes complexes et des réseaux d'automates. Rejoignez-nous pour une aventure scientifique palpitante !
  • Contact : Sylvain SENÉ - équipe CANA

Guilherme DIAS DA FONSECA, champion de l'optimisation

Félicitations à Guilherme Dias da Fonseca, professeur en informatique, pour sa brillante victoire au concours de l'Optimisation Géométrique lors de la Conférence Internationale sur la Géométrie Computationnelle 2024 (SoCG 2024) !
  • Contact : Guilherme DIAS DA FONSECA - équipe ACRO

[podcast] Hachem Kadri au CIRM, festival Explore

Les supers pouvoirs du monde quantique pour une IA plus efficace

"Etre une femme en informatique, ça casse les codes"

Magali Ochs, chercheuse en intelligence artificielle crée des modèles de réussite pour les jeunes filles.
  • Contact : Magalie OCHS, équipe TALEP