Name: Upcoming FMT Group Colloquia
Start: 2024-04-04T16:00:00+02:00
End: 2024-07-25T16:00:00+02:00
Location: Campus University of Twente

Previous event Next event

Thursday 4 April 16:00 - Thursday 25 July 2024 16:00

The FMT Colloquia are typically held in person every Thursday from 16:00 to 17:00,
unless otherwise specified.

Date & Time	Room	Speaker	Title
25 April 16:00–17:00	RA 3334	David Jansen	Rooted Divergence-Preserving Branching Bisimilarity is a Congruence for Guarded CCS
02 May 16:00–17:00	RA 2503	Maria Belen Rodriguez	Putting together a Mission Operations Center: software development in the space industry
09 May ~~16:00–17:00~~		Ascension Day Holiday
16 May 16:00–17:00	RA 2503	Fernando Castor de Lima Filho	Energy and Performance: A (sometimes) synergistic relationship
23 May 16:00–17:00	RA 2503	Bram Kohlen	[TBA]
30 May 16:00–17:00	RA 2503	Petra van den Bos	[TBA]
06 June 16:00–17:00	RA 2503	[Available]
13 June 16:00–17:00	RA 2503	[Available]
20 June 16:00–17:00	RA 2503	Peter Lammich	Fast and Verified UNSAT Certificate Checking
27 June 16:00–17:00	RA 2503	Georgios Argyris	Minimization of dynamical systems over monoids
04 July 16:00–17:00	RA 2503	[Available]
11 July 16:00–17:00	RA 2503	[Available]
18 July 16:00–17:00	RA 2503	[Available]
25 July 16:00–17:00	RA 2503	[Available]
01–29 August		Summer Break Holiday
[TBA]

Add to your calendar

Date & Time

Room

Speaker

Title