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

Laboratoire d'Informatique & 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

Rencontre
Demi-journée pôle calcul - Algorithmique et Structures Discrètes
> 20/01/2022 à 00h00

Orateurs :
- Janna Burman (LRI) "Time-Optimal Self-Stabilizing Leader Election in Population Protocols”
- Alessia Milani (LIS)
- Eloi Perdereau (LIS)

Pour les abstracts, rendez-vous sur ....

Seminaire
Séminaire G-MOD - L’apprentissage profond des nuages de points 3D : Application aux données LiDAR
> 14/01/2022 à 14h00

Dans le cadre des séminaires G-MOD, nous avons le plaisir d'accueillir Jules Morel. Résumé : La capacité de la technologie LiDAR à capturer des informations détaillées sur la structure des forêts a attiré une ....

Soutenance de Thèse
Eloi Perdereau
> 16/12/2021 à 09h15

Eloi Perdereau soutiendra thèse intitulée "Accords Exacts et Approchés pour les Adversaires de Message" le jeudi 16 décembre 2021 à 9h15.

Malheureusement, les dernières consignes sanitaires ne permettent ....

Seminaire
Séminaire MoVe avec Marie Fortin
> 09/12/2021 à 10h30

Title : How undecidable are HyperLTL and HyperCTL*? Abstract: Temporal logics for the specification of information-flow properties are able to express relations between multiple executions of a system. Two of the most ....
A LA UNE

Eolmed : Avec le baptême de la bouée Eolbio, Qair lance un programme d’étude de la bio-colonisation des flotteurs de la ferme éolienne.

Port-La Nouvelle, le 10 décembre 2021 – Qair, producteur indépendant d’énergie exclusivement renouvelable, annonce dans le cadre de son projet d’éoliennes en mer flottantes EolMed le baptême de la bouée expérimentale Eolbio qui permettra de tester les panneaux métalliques qui équiperont les futurs flotteurs des éoliennes. Ce programme nait du partenariat qu’ont noués Qair et le laboratoire CRIOBE de l’Université Perpignan Via Domitia, le Laboratoire d’Informatique et des Systèmes (LIS) de l’Université de Toulon, le CNRS, l’École Pratique des Hautes Études (EPHE) ainsi que les entreprises Marepolis et Biodiv-Wind.
  • Contact : Hervé Glotin, équipe DYNI

La premere rencontre de quanticien marseillais

Le 26 novembre, s'est tenue la première réunion à Marseille de tous les chercheurs et enseignants-chercheurs travaillant sur l'informatique quantique et les technologies quantiques. Cette initiative, parrainée par l'Instituto Archimede et l'INS2I, a dépassé de loin les attentes. Il y a seulement cinq ans, lorsque j'ai été recruté, Aix-Marseille avait très peu de projets quantiques. Les centres de recherche les plus importants dans ce domaine étaient situés à Paris et à Grenoble. Aujourd'hui, Aix-Marseille Université accueille une large communauté de chercheurs, permanents et non permanents, allant de l'algorithmique quantique aux nouveaux matériaux topologiques, de la cryptographie post-quantique à l'apprentissage automatique quantique.

Pierre Clairambault : sémantique des jeux pour les programmes concurrents la semaine...et escalade le week-end.

Bonjour ! Je viens juste d'intégrer le LIS, où j'ai rejoint l'équipe LIRICA au sein du pôle Calcul, en tant que chargé de recherche CNRS. Vous pouvez me trouver au bureau 4.08 sur le site de Luminy.
J'ai effectué ma thèse à Paris au laboratoire PPS (maintenant part de l'IRIF), soutenue en 2010. Après trois ans de postdoc au Royaume-Uni (à Bath puis à Cambridge), je suis entré au CNRS en 2013 en temps que chargé de recherche. J'ai d'abord rejoint le LIP à Lyon (à l'ENS de Lyon), où je suis resté jusqu'à ma récente mutation au LIS. Je sors par ailleurs tout juste d'un mandat de 5 ans à la Section 6 du Comité National.
  • Contact : Pierre Clairambault, équipe LIRICA

Combinatoire, algorithmique, structure et familles ordonnées d’ensembles au menu d'Oscar Defrain

Maître de conférence au LIS, Oscar Defrain a pour ambition de progresser sur ces questions dans des instances restreintes ou géométriques, afin de tirer profit de paramètres structurels, et de proposer des algorithmes combinatoires plus efficaces.
  • Contact : Oscar DEFRAIN, équipe ACRO

Hichem Haddou Benderbal apporte sa pierre à l'usine du futur

Au sein de l’équipe MOPS, Hichem Haddou Benderbal s’intéresse à la conception et le pilotage des systèmes de production changeables et intelligents
  • Contact : Hichem Haddou Benderbal, équipe MOPS