Discussion (Unsound 2022 - Sources of Unsoundness in Verification)

Mon 5 - Sat 10 December 2022 Auckland, New Zealand

Track

Unsound 2022 Sources of Unsoundness in Verification

Time Zone

The program is currently displayed in (GMT+13:00) Auckland, Wellington.

Use conference time zone: (GMT+13:00) Auckland, WellingtonSelect 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

Tue 6 Dec 2022 14:35 - 15:00 at Seminar Room G125 - Workshop Talks and Discussion

Abstract

We will discuss the future of the Workshop as well as its implications and possibilities to gain more attention and outreach.

Time Zone

The program is currently displayed in (GMT+13:00) Auckland, Wellington.

Use conference time zone: (GMT+13:00) Auckland, WellingtonSelect 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

Tue 6 Dec
Displayed time zone: Auckland, Wellington change

13:30 - 15:00	Workshop Talks and DiscussionUnsound at Seminar Room G125

13:30 20m Talk		Proving False in Object Oriented Verification Programs by Exploiting Non-Termination Unsound Jaymon Furniss
13:50 45m Talk		The 4 horsemen of unsoundness in OO languages Unsound Marco Servetto Victoria University of Wellington
14:35 25m Panel		Discussion Unsound Marco Servetto Victoria University of Wellington

Discussion

Tue 6 Dec
Displayed time zone: Auckland, Wellington change

Marco Servetto

Victoria University of Wellington

Tracks

Co-hosted Conferences

Workshops

Discussion

Program Display Configuration

Program Display Configuration

Tue 6 DecDisplayed time zone: Auckland, Wellington change

Marco Servetto

Victoria University of Wellington

Tue 6 Dec
Displayed time zone: Auckland, Wellington change