xThe data center, from which the conference websites are hosted, is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
SPLASH 2022 (series) / Jan Bessai
Jan Bessai

Registered user since Mon 14 Jun 2021

Name:Jan Bessai
Country:Germany
Affiliation:Independent
Personal website:https://noprotocol.net/jan/
GitHub:https://github.com/JanBessai
Research interests:Type Theory, Intersection Types, Synthesis, Programming

Contributions

SPLASH 2022 Sources of Unsoundness in Verification (Unsound)
Unsound 2022 Committee Member in Organizing Committee within the Sources of Unsoundness in Verification-track
What do we mean by "unsound"?
Welcome to Unsound
Show activities from other conferences

Using general profile