English EN French FR

Les bulletins étiquetés « Séminaire »

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


Séminaire des doctorants 2016

Publié par Xavier NICOLAY, le 16 juin 2016 à 11:43

Le LIM accueille une quinzaine de doctorants en 2016. Deux demi-journées leurs sont consacrées afin qu’ils puissent présenter l’avancer de leur thèse. Cette programmation s’est déroulée le mercredi 8 et le jeudi 9 juin selon le planning suivant : Mercredi 08 Juin 13:30 : Rehan Noordally — Etudes de l’accès Internet de l’Ile de […]


Séminaire des doctorants 2015 : 2ème session

Publié par Xavier NICOLAY, le 10 juin 2015 à 09:42

Le LIM accueille une quinzaine de doctorants en 2015. Une seconde session spéciale du Séminaire du Laboratoire a été organisée le jeudi 11 juin et consacrée à la présentation de leurs travaux de recherche. La programmation des exposés a été la suivante : Jeudi 11 Juin 13:30 : Cynthia Pitou — Classification de documents numérisés. 14:00 : Luc […]


Séminaire des doctorants 2015

Publié par Xavier NICOLAY, le 18 mai 2015 à 10:01

Le LIM accueille une quinzaine de doctorants en 2015. Une première session spéciale du Séminaire du Laboratoire a été organisée le mercredi 11 Mars et le Jeudi 12 Mars et consacrée à la présentation de leurs travaux de recherche. La programmation des exposés a été la suivante : Mercredi 11 Mars 13:30 : Nathalie […]


Séminaire des doctorants 2014

Publié par Stéphane Calderoni, le 2 juin 2014 à 09:47

Le LIM a accueillit une quinzaine de doctorants en 2014. Une session spéciale du Séminaire du Laboratoire a été organisée le jeudi 5 juin 2014 et consacrée à la présentation de leurs travaux de recherche. La programmation des exposés a été la suivante : Jeudi 5 juin 14:30 : Réhan Noordally — Méthodologie d’écoute et d’analyse […]


Présentation des résultats du projet RCIGS

Publié par Stéphane Calderoni, le 30 avril 2014 à 10:50

Porté par deux laboratoires de l’Université de La Réunion, le LE2P (Laboratoire d’Énergétique, d’Électronique et Procédés) et le LIM, le projet RCIGS (Réseau de Capteurs Intelligents pour une meilleure connaissance du Gisement Solaire) a pour ambition de faire passer la production photovoltaïque de son état actuel de source intermittente à […]


Séminaire des doctorants 2013

Publié par Stéphane Calderoni, le 13 mai 2013 à 10:55

Le LIM a accueillit en 2013 une quinzaine de doctorants. Une session spéciale du Séminaire du Laboratoire a été organisée les mercredi 15 et jeudi 16 mai 2013 et consacrée à la présentation de leurs travaux de recherche en cours. La programmation des exposés a été la suivante : Mercredi 15 mai 2013 […]


Séminaire des stagiaires du M2 Informatique

Publié par Stéphane Calderoni, le 26 mars 2013 à 16:38

Le LIM accueille cette année 5 étudiants inscrits en Master 2 Informatique pour un stage d’une durée de 6 mois. Une session spéciale du séminaire du Laboratoire est organisée le jeudi 4 avril 2013, dans le cadre de laquelle chaque étudiant viendra présenter l’avancée de ses travaux à mi-parcours. Vous […]


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.