Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Laurent Doyen and Stefan Göller.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Prochain séminaire

Towards a causal and compositional operational semantics of programming languages

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

Date
Le mardi 21 novembre 2017 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
Simon Castellan (Imperial College London)

In this talk, I will present methods and mathematical tools to give operational, yet compositional, causal models of programming languages, using Winskel's event structures. We first illustrate the methodology on a first-order concurrent programming language, in the setting of weak memory models where causal models turn out to be handy to understand cleanly reorderings operated by the hardware.

We then turn to higher-order languages, such as the π-calculus and the λ-calculus. We show how name binding can be elegantly expressed in the semantics by means of game semantics. Types, seen as protocols, become games, and (open) programs become strategies. From there, we can build a cartesian-closed category that supports interpretation of higher-order concurrent and nondeterministic computations. We show we can support interpretations sound and adequate for to may, must and fair convergences, using essential events (unobservable events keeping track of nondeterministic choices).


Séminaires à venir

Generalized Goodstein sequences

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 Andreas Weiermann
Date
Le lundi 27 novembre 2017 à 11:00
Lieu
Salle Renaudeau (Bâtiment Laplace)
Orateur
Andreas Weiermann (Ghent University)

We define generalized Goodstein sequences with respect to the Ackermann function. Depending on the choice of the starting function the resulting Goodstein principles will then be of varying large complexity and not be provable in first Peano order arithmetic and related theories. The results are partly in joint work with T. Arai and S. Wainer.


TBA

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 Mikołaj Bojańczyk
Date
Le mardi 28 novembre 2017 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
Mikołaj Bojańczyk (University of Warsaw)


TBA

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 Amaury Pouly
Date
Le mardi 05 décembre 2017 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
Amaury Pouly (MPI-SWS Saarbrücken)


TBA

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 Franck Slama
Date
Le mardi 12 décembre 2017 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
Franck Slama (University of St Andrews)


TBA

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

 Timothy Bourke
Date
Le mardi 30 janvier 2018 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
Timothy Bourke (ENS Paris)


À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 21 novembre
lun. 27 novembre
mar. 28 novembre
mar. 5 décembre
mar. 12 décembre
mar. 30 janvier

Les séminaires précédents