Daniel Stachnik: An Explorable and Visual Formal Specification (VL/HCC 2024 - Graduate Consortium)

Mon 2 - Fri 6 September 2024 Liverpool, L3 5TR, United Kingdom

Track

VL/HCC 2024 Graduate Consortium

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

When

Mon 2 Sep 2024 16:30 - 16:45 at Flex 1 - GC Session 4

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

Display full programSpecify a time band

Save

Session Program

Mon 2 Sep
Displayed time zone: London change

16:00 - 17:30	GC Session 4Graduate Consortium at Flex 1

16:00 15m Talk		Qing Xia: Supporting spreadsheet users in knowledge sharing Graduate Consortium Qing (Nancy) Xia University College London
16:15 15m Talk		Daniel Manesh: Supporting Code Performances Graduate Consortium Daniel Manesh Virginia Tech
16:30 15m Talk		Daniel Stachnik: An Explorable and Visual Formal Specification Graduate Consortium Daniel Stachnik Hasso Plattner Institute
16:45 30m Meeting		Group Discussion 4 Graduate Consortium
17:15 15m Day closing		Last words Graduate Consortium

Daniel Stachnik: An Explorable and Visual Formal Specification

Program Display Configuration

Program Display Configuration

Mon 2 SepDisplayed time zone: London change

Daniel Stachnik

Hasso Plattner Institute

Mon 2 Sep
Displayed time zone: London change