Title to be confirmed
- đ¤ Speaker: Guillaume Munch-Maccagnoni, Inria Bretagne
- đ Date & Time: Friday 06 April 2018, 14:00 - 15:00
- đ Venue: FW26
Abstract
Abstract not available
Series This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.
Included in Lists
This talk is not included in any other list.
Note: Ex-directory lists are not shown.
![[Talks.cam]](/static/images/talkslogosmall.gif)

Guillaume Munch-Maccagnoni, Inria Bretagne
Friday 06 April 2018, 14:00-15:00