Laboratoire d'Informatique & Systèmes

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