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

Conference
International Conference on Systems and Control - ICSC'22
> 23/11/2022 à 00h00

L'«International Conference on Systems and Control» a lieu annuellement dans différents pays méditerranéens : Maroc (2012), Algérie (2013), Tunisie (2014), France (2021), etc. En 2022, le laboratoire LIS a pris en charge ....

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 à 09h30

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 ....
A LA UNE

L'«International Conference on Systems and Control» à Marseille du 23 au 25 novembre.

L'«International Conference on Systems and Control» a lieu annuellement dans différents pays méditerranéens : Maroc (2012), Algérie (2013), Tunisie (2014), France (2021), etc. En 2022, le laboratoire LIS a pris en charge l’organisation de sa dixième édition qui se déroulera du 23 au 25 novembre.
  • Contact : Rachid OUTBIB, équipe PECASE

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-304631961397

Dé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