Welcome to the Sources of Unsoundness in Type Systems and Verification (UNSOUND 2024) submissions site. For general information, see https://2024.splashcon.org/home/unsound-2024.

Submissions

The deadline for registering submissions has passed.