STATIC 2026 Introduction (STATIC 2026) - ICSE 2026

Sun 12 - Sat 18 April 2026 Rio de Janeiro, Brazil

Who

Jordan Samhi, Martin Kellogg, Eric Bodden, Jacques Klein

Track

Time Zone

The program is currently displayed in (GMT-03:00) Brasilia, Distrito Federal, Brazil.

Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, BrazilSelect 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

Sat 18 Apr 2026 09:00 - 09:30 at Capri V - KEYNOTE

Jordan Samhi

University of Luxembourg, Luxembourg

Luxembourg

Martin Kellogg

New Jersey Institute of Technology

United States

Eric Bodden

Heinz Nixdorf Institute at Paderborn University & Fraunhofer IEM

Germany

Jacques Klein

University of Luxembourg

Luxembourg

Time Zone

The program is currently displayed in (GMT-03:00) Brasilia, Distrito Federal, Brazil.

Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, BrazilSelect 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

Sat 18 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

	09:00 - 10:30	KEYNOTESTATIC at Capri V

	09:00 30m Day opening		STATIC 2026 Introduction STATIC Jordan Samhi University of Luxembourg, Luxembourg, Martin Kellogg New Jersey Institute of Technology, Eric Bodden Heinz Nixdorf Institute at Paderborn University & Fraunhofer IEM, Jacques Klein University of Luxembourg
	09:30 60m Keynote		Program-level Security Analysis: A Journey From Safety to Security (or, What About The Attacker?) STATIC K: Sébastien Bardin CEA List - Université Paris-Saclay