Location: LIPN, Université Paris 13
99, Avenue Jean-Baptiste Clément, Villetaneuse
Date: 28 March 2019
Speakers : Flavien Breuvart, Damiano Mazza, Jérôme Feret, Jakob Rehof, Exequiel Rivas, Thomas Ehrhard, Thomas Blanc
You should go the the station "Villetaneuse University" with the lines T8 (connection with lines D and M13) and T11 (connection with lines B, C and D).
From there, just follow the crowd and you should arrive at the gates of the university. Passing the security should not be too complex (but it depends on who is in charge). In case of issue, do not hesitate to call me (+33.6126.96.36.199)
Once the security passed, you will have to find the room : take first stare at your right, then right on the platform, take first stairs on your right to a building, traverse the building to take the next platform, enter the next building get down the stars at your right on half a floor, you should then be in he first floor (in the French counting with a ground floor), then take the door at your left, the seminar room is the second door on your left.
Maps and more informations (in french)
If you arrive early, come to the second floor to get a coffee, but you will have to call me to open the door.
We give an overview of some selected developments in type-based analysis, focusing on
polymorphic flow analysis, intersection types, and their relation to abstract interpretation.
Historically, we will take as departure points some important developments from the 1990’s
and - in some selected cases - trace paths to recent work and some open questions in the field.