English EN French FR

Les bulletins étiquetés « Non classé »

Le dernier séminaire a eu lieu le 07 Décembre 2023


Défi EGC 2018 : Un défi sous le soleil de l’Île de La Réunion

Publié par Xavier NICOLAY, le 14 février 2018 à 15:58

Mathieu Delsaut (LE2P) et Dominique Gay (LIM) étaient présents à la 18è conférence “Extraction et Gestion de Connaissances 2018” à Paris pour présenter les données de flux solaires et assister à la session dédiée au défi EGC 2018 sur ces données. Défi EGC 2018 : Un défi sous le soleil […]


Calendrier

Publié par Xavier NICOLAY, le 14 novembre 2017 à 08:49

Désormais, les séminaires du LIM sont liés à un agenda public ! Vous pouvez vous abonner (CMD+ALT+S) dans Calendrier (Mac) et fournir l’URL suivante : https://lim.univ-reunion.fr/web-data/seminaire/service/seminar.php (sur iPhone: Réglages, Calendrier, Comptes, “Ajouter un compte”, autre, “Ajouter un cal. avec abonnement”) Ce calendrier est normalement compatible avec Outlook, etc….


Séminaire des doctorants du LIM, Session 2017

Publié par Xavier NICOLAY, le 7 avril 2017 à 10:57

Séminaire des doctorants 2017

Le LIM accueille une quinzaine de doctorants en 2017. Deux demi-journées leurs sont consacrées afin qu’ils puissent présenter l’avancer de leur thèse. Ces deux sessions se dérouleront le mercredi 7 et le jeudi 8 juin 2017. Les doctorants (par ordre alphabétique) : Jérémy Benard — Import, export et traduction sémantiques génériques […]


GIIS2017

Publié par Xavier NICOLAY, le 7 avril 2017 à 10:49

Le LIM est membre de l’organisation du GIIS’2017 : Global Information Infrastructure and Networking Symposium (GIIS’2017) October 25-27, 2017, Saint Pierre, Reunion Island, France pour en savoir plus : http://giis.univ-reunion.fr/


Les 3 derniers séminaires du LIM


à précier

Animé par Didier Caucal, le 07 Décembre 2023 à 14:00:00

à préciser



Rasiowa-Sikorski lemmas and the completeness of infinitary first-order logic

Animé par kristof kanalas, le 30 Novembre 2023 à 14:00:00

I will discuss the existence of prime filters on distributive lattices, preserving some prescribed infinite unions. To make it work for uncountably many unions one needs an extra distributivity assumption on the lattice. This translates as a completeness theorem for infinitary propositional logic (with a size-restriction on the set of axioms).



Preuves et programmes

Animé par Karim Nour, le 26 Octobre 2023 à 14:00:00

Dans cette présentation, nous examinons la correspondance de Curry-Howard pour un système suffisamment riche basé sur la logique intuitionniste. Cette correspondance permet, d'une part, de programmer correctement un vaste ensemble de fonctions sur des types de données et, d'autre part, de déterminer le contenu algorithmique des preuves mathématiques complexes. Nous exposerons ensuite les difficultés liées à l'extension de cette correspondance à la logique classique et proposerons des solutions pour y remédier. L'exposé sera enrichi de nombreux exemples visant à une meilleure compréhension des concepts abordés.