Seminars of LAMA

Four regular seminars take place at LAMA, in the seminar room, first floor of the building Le Chablais, (see How to come ?).

Weekly seminars:

Others seminars

Next seminars:

EDPs²Thursday 17th November 2022 at 14h JERAA (Lyon),
Journéee EDP Rhone Alpes Auvergne 17-18 Novembre

GéométrieThursday 6th October 2022 at 14h Stéphane Druel (Institut Camille Jordan, Lyon),
Un théorème de décomposition pour les variétés de Poisson holomorphes

Abstract: (Hide abstracts)
Weinstein a montré que toute variété de Poisson holomorphe est localement le produit d'une variété symplectique et d'une variété de Poisson dont le rang est nul au point considéré. En particulier, toute variété de Poisson possède un feuilletage naturel dont les feuilles sont des variétés symplectiques. Dans un travail en collaboration avec Jorge Pereira, Brent Pym et Frédéric Touzet, nous montrons que si une variété de Poisson compacte kählerienne X a une feuille compacte L dont le groupe fondamental est fini alors, à un revêtement étale fini près, X est le produit du revêtement universel de L et d'une autre variété de Poisson.

LIMDThursday 6th October 2022 at 10h Clovis Eberhart (National Institute of Informatics, Tokyo, Japon),
A Compositional Approach to Graph Games

Abstract: (Hide abstracts)
We introduce open parity games, which is a compositional approach to parity games. This is achieved by adding open ends to the usual notion of parity games. We introduce the category of open parity games, which is defined using standard definitions for graph games. We also define a graphical language for open parity games as a prop, which have recently been used in many applications as graphical languages. We introduce a suitable semantic category inspired by the work by Grellois and Melliès on the semantics of higher-order model checking. Computing the set of winning positions in open parity games yields a functor to the semantic category. Finally, by interpreting the graphical language in the semantic category, we show that this computation can be carried out compositionally. We also discuss current work on an efficient implementation of a compositional solver of graph games.

LAMAMonday 24th October 2022 at 09h45 J Blu M Pierre L Véron (Univ Savoie Mont-Blanc),
Journée en l'hommage de Pierre Baras

Abstract: (Hide abstracts)
La journée en l'honneur de Pierre aura lieu le lundi 24 octobre de 9h45 à 16h Programme provisoire 10h - 10h45 : hommages de Ph. Galez, Ph. Briand, P. Orro, G. Angénieux, N. Kardos (amphi Nivolet) 11h - 11h45 : exposé de J. Blum (amphi Nivolet) 12h - 14h : buffet au bâtiment EVE 14h - 14h45 : exposé de Michel Pierre (salle TLR) 15h - 15h45 : exposé de Laurent Véron (salle TLR)