Laurent Bienvenu When: March 23, 2019 @ 10:30 am – 10:50 am 2019-03-23T10:30:00-10:00 2019-03-23T10:50:00-10:00 Logic seminar