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.

Le séminaire CMI a lieu tous les mois environ et accueille un chercheur qui vient présenter sa recherche aux étudiants suivants le Cursus Master Ingénieur (CMI).

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²Jeudi 13 décembre 2018 à 14h Vincent Duchêne (Univ Rennes1, IRMAR),
à venir

GéométrieJeudi 13 décembre 2018 à 14h Arthur Renaudineau (Laboratoire Painlevé, Lille),
À venir

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

LIMDJeudi 22 novembre 2018 à 10h Léo Stefanesco (IRIF, Paris),
An Asynchronous Soundness Theorem for Concurrent Separation Logic

Résumé : (Masquer les résumés)
An Asynchronous Soundness Theorem for Concurrent Separation Logic. Concurrent separation logic (CSL) is a specification logic for concurrent imperative programs with shared memory and locks. We develop a concurrent and interactive account of the logic inspired by asynchronous game semantics. To every program C, we associate a pair of asynchronous transition systems ⟦C⟧S and ⟦C⟧L which describe the operational behavior of the Code when confronted to its Environment (or Frame) – both at the level of machine states (S) and of machine instructions and locks (L). We then establish that every derivation tree π of a judgment Γ⊢{P}C{Q} defines a winning and asynchronous strategy ⟦π⟧Sep with respect to both asynchronous semantics ⟦C⟧S and ⟦C⟧L. From this, we deduce an asynchronous soundness theorem for CSL, which states that the canonical map ℒ:⟦C⟧S→⟦C⟧L, from the stateful semantics ⟦C⟧S to the stateless semantics ⟦C⟧L satisfies a basic fibrational property. We advocate that this provides a clean and conceptual explanation for the usual soundness theorem of CSL, including the absence of data races. This is joint work with Paul-André Melliès. Organization of the talk: In a first part, I will give a high level view of our semantics and of the soundness theorem, essentially as it appeared in our previous paper. In a second part, I will talk in more details about our new semantics of CSL, which has a more algebraic flavor (work in progress).

CMIJeudi 22 novembre 2018 à 13h Pierre Hyvernat (LAMA),
Origami et mathématiques

Résumé : (Masquer les résumés)
Le pliage de papier, ou origami, ne se réduit pas aux avions et autres cocottes. Il peut aussi s'agir d'une activité très sérieuse : du déploiement des airbags aux miroirs solaires embarqués dans les satellites, l'origami intéresse aussi bien des ingénieurs que des mathématiciens ou des informaticiens. Les questions de pliage impliquent de nombreux domaines et les réponses sont parfois à la pointe de la recherche contemporaine. Pour le chercheur fondamental, le pliage possède une dimension abstraite aussi belle que peut l'être sa dimension artistique. Cette conférence présentera quelques-unes des interactions entre pliage et mathématiques pour expliquer comment les mathématiques peuvent aider le plieur, et comment les problèmes de pliage peuvent inspirer le mathématicien.