STAF 2023

Lunch, Dinner, Coffee-breaks

Time Zone

The program is currently displayed in (GMT+01:00) London.

Use conference time zone: (GMT+01:00) LondonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 18 Jul
Displayed time zone: London change

Wed 19 Jul
Displayed time zone: London change

Events

	Title
	Banquet at Bistrot Pierre STAF Social
	Coffee Break STAF Social
	Excursion to St Mary de Castro STAF Social
	Lunch STAF Social
	Welcome Reception STAF Social

10:30 - 11:00	Morning CoffeeSTAF Social at The Bar

10:30 30m Coffee break		Coffee Break STAF Social

11:00 - 12:30	STAF Keynote / TAP Session 1STAF Keynotes / Research Papers / ECMFA Technical Track / ICGT Research Papers at Oak Chair(s): Cristina Seceleanu Mälardalen University Remote Participants: Zoom Link, YouTube Livestream

11:00 15m Day opening		TAP Conference Opening Research Papers Virgile Prevosto CEA Tech List, Cristina Seceleanu Mälardalen University
11:15 75m Keynote		Symbolic, Statistical and Randomized Engines in UPPAAL STAF Keynotes Kim Larsen Aalborg University

12:30 - 13:30	LunchSTAF Social at The Restaurant

12:30 60m Lunch		Lunch STAF Social

15:00 - 15:30	Afternoon CoffeeSTAF Social at The Bar

15:00 30m Coffee break		Coffee Break STAF Social

18:00 - 19:00	STAF Welcome ReceptionSTAF Social at The Bar

18:00 60m Social Event		Welcome Reception STAF Social

SocialSTAF 2023

Tue 18 Jul
Displayed time zone: London change

Wed 19 Jul
Displayed time zone: London change

Events

Tracks

09:00 - 10:15	STAF Keynote / ICGT Session 1STAF Keynotes / Research Papers / ECMFA Technical Track / ICGT Research Papers at Oak Chair(s): Maribel Fernandez King's College London Remote Participants: Zoom Link, YouTube Livestream

09:00 15m Day opening		ICGT Conference Opening ICGT Research Papers Maribel Fernandez King's College London, Chris Poskitt Singapore Management University File Attached
09:15 60m Keynote		Syntactic trinitarianism: terms, graphs, diagrams STAF Keynotes Dan Ghica Huawei Research and University of Birmingham Pre-print

17:15 - 22:30	STAF Excursion & BanquetSTAF Social

17:15 1h45m Social Event		Excursion to St Mary de Castro STAF Social
19:00 3h30m Dinner		Banquet at Bistrot Pierre STAF Social

SocialSTAF 2023

Program Display Configuration

Tue 18 JulDisplayed time zone: London change

Wed 19 JulDisplayed time zone: London change

Events

Tue 18 Jul
Displayed time zone: London change

Wed 19 Jul
Displayed time zone: London change