Name: Upcoming FMT Group Colloquia
Start: 2024-09-05T14:00:00+02:00
End: 2024-12-12T14:00:00+01:00
Location: Campus University of Twente

Previous event Next event

Thursday 5 September 14:00 - Thursday 12 December 2024 14:00

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

Date & Time	Room	Speaker	Title
05 September 14:00–14:30	ZI 4070	Reza Soltani	Safety-security analysis via Attack-Fault-Defense Trees: semantics and cut set metrics
10 September 11:00–12:00	RA 3334	Paulo Borba	Detecting Semantic Conflicts using Static Analysis
12 September 14:00–15:00	DR 102A	Wytse Oortwijn	Synthesis-Based Engineering of Supervisory Controllers
19 September 14:00–15:00	RA 2503	Jaco van de Pol	[TBA]
~~26 September~~ ~~14:00–15:00~~		[Cancelled] No room available
03 October 14:00–15:00	OH 116	Bob Rubbens	VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory
10 October 14:00–15:00	RA 2503	Moritz Hahn	[TBA]
17 October 14:00–15:00	RA 2501	[Reserved]
24 October 14:00–15:00	RA 4231	Philip Tasche	Automated Invariant Generation for Embedded Systems
31 October 14:00–15:00	RA 2503	Ömer Şakar	[TBA]
07 November 14:00–15:00		[Available]
14 November 14:00–15:00		[Available]
21 November 14:00–15:00		[Available]
28 November 14:00–15:00		[Available]
05 December 14:00–15:00		[Available]
12 December 14:00–15:00		[Available]
19 December to 02 January 2025		Winter Break
Every Thursday onwards 14:00–15:00		[Available]

Add to your calendar

Date & Time

Room

Speaker

Title