WorkShop
10th International Workshop Weighted Automata: Theory and Applications
> 14/04/2020 à 00h00

10th International Workshop Weighted Automata: Theory and Applications WATA 2020 April 14–17, 2020, CIRM@Marseille, France The workshop covers all aspects of weighted automata, ranging from the theory of weighted ....

Seminaire
Séminaire MOVE : Maria Emilia Descotte (LaBRI, Université de Bordeaux)
> 16/01/2020 à 10h30

Synchronized word relations A natural approach to defining binary word relations over a finite alphabet A is through two-tape finite state automata, which can be seen as regular languages L over {1,2}xA, where (i,a) is ....

Seminaire
Séminaire du Pôle ACS : Patrick Siarry
> 19/12/2019 à 14h00

salle des commissions, St. Jérôme

Seminaire
Séminaire du Pôle ACS : Michel Zasadzinski
> 18/12/2019 à 14h00

Salle des commissions, St. Jérôme

Le LIS lauréat de deux Chaires de recherche et d’enseignement en Intelligence Artificielle (IA)

Deux projets portés par le LIS pour l'appel ANR Chaire IA ont été sélectionnés, il s'agit des projets:
  • ADSIL (ADvanced Submarine Intelligent Listening) - porté par Hervé Glotin et l'équipe DYNI du LIS
  • Massal’IA (Propositional Reasoning for Large-Scale Optimization: Application to Clean Energy Mobility Issues) - porté par LI Chu-Min et les équipes COALA et MOFED du LIS
Ces deux projets font partie de la liste des 40 projets sélectionné au niveau national (dont 27 dans des unités CNRS - voir : Près de 3/4 des Chaires IA de l'ANR au sein des unités du CNRS )

La physique a-t-elle besoin des nombres réels ?

L’usage des nombres réels pour représenter des grandeurs physiques semble aller de soi. Pourtant, ces nombres ne sont pas aussi réels que le suggère leur nom, et ils engendrent parfois illusions et faux espoirs. Un article de Jean-Paul Delahaye dans la dernière chronique "Logique et Calcul" de "Pour la Science" présentant des travaux de Pablo Arrighi de l'équipe CANA du LIS. https://www.pourlascience.fr/sr/logique-calcul/la-physique-a-t-elle-besoin-des-nombres-reels-18431.php

Soutenance de thèse Agus Budi Raharjo

Equipe DANA, pôle Sciences des Données - Titre : Reliability in Ensemble Learning and Learning from Crowds - le 2 décembre 2019 à 14h salle de conférences Gérard JAUMES, Bâtiment Polytech, Campus de Saint-Jérôme

Soutenance de thèse Damien Busatto-Gaston

Equipe MoVe, Pôle CALCUL - Titre : Synthèse symbolique de contrôleurs pour systèmes temporisés: robustesse et optimalité - Mardi 3 décembre 2019 à 14H Amphi Sciences Naturelles St Charles

Le LIS participe à la 1ère édition des "journées IA en région Sud" le 28/11/2019 à Avignon (site centre-ville).

Ces journées sont organisées par Avignon Université sous l’égide de l’Institut 3IA Côte d’Azur et en collaboration avec les universités d’Aix-Marseille (AMU), Sophia Antipolis, Avignon (AU) et Toulon.
Cette journée se place aussi dans le cadre des "Rencontres HumanIA" en Avignon.
Le programme est disponible ici : https://lia.univ-avignon.fr/iasud2019/
Il y a également un lien vers une page d'inscription : gratuite mais obligatoire !

Pôle ACS
Le Pôle «Analyse et Contrôle des Systèmes » (PACS) a pour objectif principal de développer des activités de recherche sur l’analyse, l’estimation, la commande et le diagnostic des systèmes. Les modèles considérés peuvent être de nature dynamique et continue, à structures variables, à événements discrets, issus de la productique ou support au processus mécaniques. Les chercheurs du pôle ont défini des axes stratégiques privilégiés portant sur le transport (hélicoptères, véhicule, robot, drones, etc.), l’énergie (procédé à énergie renouvelable, systèmes hybrides, etc.), le «manufacturing», la santé (contrôle de glycémie, aide au diagnostic médical, etc.) et le génie bioclimatique (contrôle du microclimat, etc.). Le pôle est structuré autour de 6 lignes de force...
Pôle Calcul
Le pôle Calcul regroupe 9 équipes du LIS dont les activités de recherche concernent la notion de calcul au sens informatique du terme et qui s’accordent pour positionner leurs projets de recherche autour de 5 axes scientifiques de nature plutôt fondamentale...
Pôle Sciences des données
Le pôle Science des Données a pour ambition de réunir des chercheurs autour des problématiques centrées sur les données, d’un point de vue informatique, qu’il s’agisse de leur représentation, de leur manipulation ou de leur traitement. La force de ce pôle est d’impliquer une cinquantaine de chercheurs couvrant un large spectre allant de la théorie (apprentissage automatique, fouille de données, informatique linguistique) aux applications (recherche d’information, recommandation de contenus, traitement automatique des langues, bioacoustique, humanités numériques, systèmes d’information, communication homme-machine). Le pôle est structuré autour de 3 lignes de force mélangeant plusieurs thématiques...
Pôle Image & Signal
Le pôle Signal-Image a pour objectif de développer des recherches en traitement, analyse et modélisation des images et des signaux. Ces recherches de nature théorique et/ou appliquée sont très liées à des applications à enjeux sociétaux importants.Le pôle Signal-Image est constitué des deux équipes I&M et SIIM dont les thématiques de recherches sont à la fois proches et complémentaires. En effet les deux équipes ont une activité importante autour des questions liées à l’image et à la modélisation...

PARTENAIRES