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

Seminaire
Séminaire CaNa -- Théo Grente
> 07/12/2021 à 14h00

Orateur: Théo Grente
Salle: TPR2-04.05
Titre : Conjunctive grammars, cellular automata and logic
Abstract: Conjunctive grammars are an extension of context free grammars with ....

Seminaire
Séminaire MoVe avec Antonio Casares
> 02/12/2021 à 10h30

Lieu: Salle 4.05 du bâtiment TPR2 (Luminy)
Title: On a correspondence between memory structures for Muller games and Rabin automata
Abstract: In the study of infinite duration games ....
A LA UNE

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

Motasem Nawaf revient au LIS comme maître de conférence dans l'équipe Image et Modèles

Son projet de recherche au LIS sera axé sur les domaines de la vision par ordinateur et de la photogrammétrie. Motasem Nawaf a obtenu sa thèse en vision, image et signal, à l’université de Saint-Étienne en cotutelle avec l’Université Heriot-Watt au Royaume-Uni. Il concentre ses recherches sur les domaines de traitement d’image, la robotique sous-marine, la vision par ordinateur, et l’intelligence artificielle. Il participe à plusieurs projets nationaux et internationaux, co-encadre trois thèses, et co-rédige plus de vingt-quatre publications dans des revues et des congrès internationaux. Il enseigne au département Informatique et interactions de la faculté de sciences, dans le master Traitement du Signal et des Images. Il assure principalement des cours dans la spécialité Images Modèles et Vision (IMOVI).
  • Contact : Motasem Nawaf, équipe I&M : Images et Modèles