Le LAMA entretient quatre séminaires réguliers, qui se tiennent normalement dans la salle TLR, premier étage du bâtiment Le Chablais, sur le site du Bourget du Lac. D’une part, trois séminaires hebdomadaires existent :

D’autre part, le séminaire du laboratoire a lieu environ tous les trois mois. Il reçoit une personnalité extérieure de renom, sur des sujets pouvant intéresser des membres de plusieurs équipes, ou bien un nouveau membre du laboratoire.

Le séminaire des doctorants a lieu tous les deux mois environ et accueille un jeune chercheur (doctorant, post-doc ou ATER), du Lama ou de la région, pour une présentation d'une heure accessible à tous.

Enfin, le programme des séminaires des laboratoires de la fédération de recherche en Mathématiques (FRMRAA) peuvent être consultés sur les liens suivants :

Prochains séminaires du LAMA :

EDPs²Vendredi 03 juin 2016 à 14h Libre (--),
A venir

GéométrieMardi 07 juin 2016 à 14h Guillaume Rond (Institut de Mathématiques de Marseille),
À venir

Résumé : (Masquer les résumés)
À venir

LIMDJeudi 02 juin 2016 à 10h Tingxiang Zou (Université Lyon 1),
Classical and relative realizability

Résumé : (Masquer les résumés)
Thomas Streicher has reformulated Krivine's notion of classical realizability into abstract Krivine structures and showed that from any such structure one can build a tripos out of it. They are called Krivine triposes and form a subclass of relative realizability triposes in the sense of van Oosten and Hofstra. In this talk, I will present a characterization of those Krivine triposes, indeed, they are exactly boolean subtriposes of relative realizability triposes. I will also talk about a concrete construction of non-localic Krivine triposes. These results are from my master thesis supervised by Jaap van Oosten.