Le prochain séminaire aura lieu le 24 Octobre 2024

Les 3 derniers séminaires du LIM

Systèmes formels sous-jacents aux fondements de nos activités de recherche

Animé par Philippe Martin, le 24 Octobre 2024 à 13:30:00

Les buts de ce séminaire (13:30 - ??:??) sont 1) de mieux connaître les recherches effectuées au LIM sur – ou exploitant – des systèmes formels (donc sur des langages et systèmes de déduction), et 2) de catégoriser/relier de manière formelle des concepts principaux de ces recherches, donc de créer un index sémantique de ces concepts, utilisable pour la valorisation de ces recherches et l'enseignement de ces concepts. Un noyau de cet index pour ces recherches est présenté à https://www.webkb.org/kb/it/o_KR/d_KM_at_LIM.html
Ces recherches du LIM sont par exemple celles sur 1) la vérification et analyse statique de programmes (-> une présentation de Mesnard sur "Automated Theorem Proving for Prolog Verification"), et 2) la représentation et le partage des connaissances (-> au moins deux présentations, dont une d'Anil Cassam-chenai sur ses recherches et une de moi-même sur l'index sémantique cité plus haut).
N'hésitez pas à me contacter (philippe.martin@univ-reunion.fr), avant début octobre, pour 1) effectuer une présentation (entre 15 et 45 minutes, plus questions) pour ce séminaire, ou 2) participer à l'index (un Google Doc est disponible pour cela), ou 3) me demander l'addition dans l'index des concepts importants de votre recherche/exploitation d'un système formel : envoyez-moi un résumé ou un article ou une présentation sur cette recherche/exploitation et je ferai la catégorisation de ses concepts importants dans l'index.

description des isométries sur certains espaces de Fréchet

Animé par Isabelle Chalendar, le 03 Octobre 2024 à 14:30:00

Travail en collaboration avec Lucas Oger et Jonathan Partington. Nous donnons une description complète des isométries linéaires sur l'espace des fonctions holomorphes sur un ouvert connexe U, avec U égal au disc unité, le demi plan, le plan complexe tout entier et finalement un anneau centré à l' origine. Nous verrons le lien très fort existant avec les opérateurs de composition pondérés.

Valorisation opérationnelle de la Data

Animé par Frédérick Vautrain, le 23 Mai 2024 à 16:00:00

Un projet data doit répondre à un objectif clair, souvent une problématique à solutionner ou un besoin rencontré par les métiers d’une organisation, publique ou privée. Si ce sont eux qui sont généralement à l’origine du projet data, la réussite de ce dernier nécessite de créer les conditions d’un dialogue entre les équipes métiers, de la data et de l’informatique afin de modéliser le problème à traiter avant de le traiter. Le séminaire présentera une approche méthodologique d’un projet data illustrée par quelques retours d’expérience de l’industrie et des transports