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
11 April ~~16:00–17:00~~	RA 3334	[Canceled]
18 April 11:00–12:00	RA 4231	Design Project Groups	ETAPS Conference Support System 1.1: Optimizing Stakeholder Experience ParityGames.io: GUI for Parity Game Research and Teaching Improving the VSCode VerCors extension FMT: Teacher Assistant Database
18 April 16:00–17:00	RA 2501	Yanni Dong	Are model checkers wrong?
25 April 16:00–17:00	RA 3334	David Jansen	[TBA]
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