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.
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.
The deadline for registering submissions has passed.