Four regular seminars take place at LAMA, in the seminar room, second floor of the building Le Chablais, on the Bourget-du-lac (Savoy) site. On one hand, there are three weekly seminars:

- Seminar of the EDPs
^{2}team, usually on Fridays, at 3pm. - Seminar of the Geometry team, usually on Thursdays, at 14pm.
- Seminar of the LIMD team, usually on Thursdays, at 10:15, common with the Plume team (ENS Lyon).

On the other hand, the department’s seminar takes place about every three months. It welcomes a well-known external personality, talking on a subject interesting members of several teams, or a new member of the laboratory.

Lastly, the seminar of phd students takes place every two month or so. It welcomes a young researcher (either graduate student, phd student, post-doc, ATER, ...), from the Lama or from any lab of the region, for a general presentation (which must be understandable by everyone).

The CMI seminar takes place every month. It welcomes a researcher presenting its work to student following the Master Ingenior Cursus (CMI).

## Next seminars:

**GéométrieThursday 24th May 2018 at 16h
**
Wojciech Kucharz
(Université Jagellonne (Cracovie)),
*Rational representation of real functions*

Abstract available as a PDF file.

**LIMDThursday 24th May 2018 at 10h
**
Tom Hirschowitz
(LAMA Chambéry),
*Familial monads and structural operational semantics*

Abstract:(Hide abstracts)

Structural operational semantics is a family of syntactic formats for specifying the operational semantics of programming languages, in the form of a labelled transition system. Fiore and his collaborators have proposed an abstract framework for structural operational semantics based on bialgebras, in which they managed to prove that bisimilarity is a congruence. However, their framework does not scale well to languages with variable binding. We give an abstract account of structural operational semantics based on Weber's parametric right adjoint monads, which encompasses variable binding. On the example of pi-calculus, the key idea is that, while Fiore models the syntax through a monad on a certain presheaf category, we use a subtly different presheaf category inspired by our previous work on sheaf models for concurrent languages. The crucial consequence is that the relevant monad is a parametric right adjoint. This yields a very simple proof of congruence of bisimilarity.