Laboratoire d'Informatique & Systèmes
PARTENAIRES
AGENDA
Seminaire
Séminaire CANA : Kévin Perrot
> 19/07/2022 à 14h00
Orateur : Kévin Perrot (LIS)Lieu : TPR2/04.05 (Luminy)
Titre : Trois exemples magiques d’algorithmes randomisés
Abstract : 1) Compter jusqu'à 10^309 sur ses 10 doigts. 2) Obtenir un multiplicateur robuste ....
Seminaire
Matinée des Jeunes Scientifiques du LIS
> 12/07/2022 à 09h00
Une matinée de science dédiée à nos étudiant·e·s de L1 qui participent à la vie du LIS dans le cadre d’un stage « Incubateur de jeunes scientifiques » promu par la Faculté des Sciences AMU.
Cette ....Seminaire
Séminaire CANA : Nathanaël Eon
> 28/06/2022 à 14h00
Orateur : Nathanaël Eon (PhD CANA, LIS)Lieu : TPR2/04.05 (Luminy)
Titre : From global (color-blind) symmetry to local (gauge) invariance in cellular automata
Abstract : In this talk, I will first introduce ....
Seminaire
Séminaire CANA : Éric Rémila
> 21/06/2022 à 14h00
Orateur : Éric Rémila (GATE LSE)Lieu : TPR2-04.05
Titre : Influence: a partizan scoring game on graphs
Abstract : We introduce the game influence, a scoring combinatorial game, played on a directed graph ....
A LA UNE
Deux médailles d’or pour l’équipe COALA du LIS à la compétition SAT 2021
La résolution d’un problème demande tout d’abord de le formuler, ce qui peut se faire sous la forme d’un problème de satisfaisabilité booléenne (SAT). Basée sur la logique propositionnelle, cette approche est de plus en plus prisée par les mondes académiques et industriels. Des chercheurs de l’équipe Contraintes algorithmes et applications (COALA) du Laboratoire d'Informatique et Systèmes (LIS - CNRS/Aix-Marseille Université) ont remporté deux médailles d’or lors de la compétition internationale SAT 2021, où leur solveur Kissat-MAB a particulièrement brillé par sa capacité à prouver l’existence de solutions aux problèmes SAT.- Contacts : Djamel HABET, Cyril TERRIOUX - équipe COALA
Voyage sur les voix des océans
CONFÉRENCE SUR LE THÈME DE L'ACOUSTIQUE EN MILIEU MARIN
LE JEUDI 14 AVRIL AU CINÉMA LES VARIÉTÉS À 16H
Impossible de parler de Marseille sans évoquer la mer ! Impossible de parler Acoustique à Marseille sans évoquer l'acoustique en milieu marin, qu'elle concerne la propagation des sons à travers les mers et les océans, les chants produits par une faune marine d'une extrême diversité ou encore - préoccupation beaucoup plus récente - de l'impact de l'activité maritime humaine sur cet écosystème si fragile. Nous vous proposons donc une conférence scientifique par Hervé Glotin, professeur au laboratoire LIS et à l'Université de Toulon, et deux pièces sonores composées par Maxence et Léonore Mercier avec des enregistrements sonores collectés en mer. Gratuit sur inscription sur https://www.eventbrite.fr/e/billets-voyage-sur-les-voix-des-oceans-304631961397Détection et comportement des cétacés par observations acoustiques
Le projet porté par le pôle information, numérique, prévention, santé (INPS) du LIS doit permettre une analyse 3D du comportement des cétacés au large du Var- Contact : Hervé GLOTIN, équipe DYNI
FAIR-Impact construit un réseau de données et de services pour les acteurs de la science ouverte .
Dans ce projet associant une douzaine de pays, l'équipe R2I du LIS se focalise sur la sémantique des méta-données et des ontologies associées aux ressources.- Contact : Patrice BELLOT, équipe R2I
Optimiser la chaîne logistique maritime dans un but environnemental et de compétitivité.
Le projet TNTM (Transformation Numérique du Transport Maritime) vise à optimiser l'efficacité opérationnelle maritime de la CMA-CGM, troisième armateur mondial dont le siège est à Marseille- Contact : Mustapha OULADSINE, équipe PECASE