Discussions, Closing (FTSCS 2023) - SPLASH 2023

Sun 22 - Fri 27 October 2023 Cascais, Portugal

Who

Peter Ölveczky, Cyrille Artho

Track

Time Zone

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

Use conference time zone: (GMT+01:00) LisbonSelect 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

When

Sun 22 Oct 2023 15:00 - 15:30 at Room IV - Paper presentations 2 Chair(s): Kyungmin Bae

Peter Ölveczky

University of Oslo

Norway

Cyrille Artho

KTH Royal Institute of Technology, Sweden

Time Zone

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

Use conference time zone: (GMT+01:00) LisbonSelect 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

Session Program

Sun 22 Oct
Displayed time zone: Lisbon change

	14:00 - 15:30	Paper presentations 2FTSCS at Room IV Chair(s): Kyungmin Bae POSTECH

	14:00 30m Talk		Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library FTSCS Aïssata Maiga , Cyrille Artho KTH Royal Institute of Technology, Sweden, Florian Gilcher , Yannick Moy AdaCore
	14:30 30m Talk		Formal Verification of a Mechanical Ventilator using UPPAALRemote FTSCS Jaime Cuartas Universidad del Valle, David Cortés , Joan S Betancourt , Jesus Aranda Universidad del Valle, Jose Garcia , Andres Valencia , James Ortiz Université de Namur
	15:00 30m Talk		Discussions, Closing FTSCS Peter Ölveczky University of Oslo, Cyrille Artho KTH Royal Institute of Technology, Sweden