Unsoundness in TypeScript (UNSOUND 2026)

Mon 29 June - Fri 3 July 2026 Brussels, Belgium

Track

UNSOUND 2026

Time Zone

The program is currently displayed in (GMT+02:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, ParisSelect 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 30 Jun 2026 16:00 - 16:45 at I.1.03 - Session 4: TypeScript & Bisimulation

Abstract

[Invited Talk]: The talk will be about Unsoundness in TypeScript, how it arises, the problems it can cause, how to avoid it, and why TypeScript users are comfortable living with it.

Time Zone

The program is currently displayed in (GMT+02:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, ParisSelect 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 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

16:00 - 17:30	Session 4: TypeScript & BisimulationUNSOUND at I.1.03

16:00 45m Talk		Unsoundness in TypeScript UNSOUND Dan Vanderkam
16:45 45m Talk		When Bisimulation becomes unsound UNSOUND Vasileios Koutavas Trinity College Dublin

Unsoundness in TypeScript

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Dan Vanderkam

Tracks

Co-hosted Conferences

Workshops

Unsoundness in TypeScript

Program Display Configuration

Program Display Configuration

Tue 30 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Dan Vanderkam

Tue 30 Jun
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change