Posted by Jan Bessai on Feb 24UNSOUND 2026 - Sources of Unsoundness in Type Systems and Verification Workshop co-located with ECOOP 2026, Brussels, Belgium https://2026.ecoop.org/home/unsound-2026 The 3rd UNSOUND workshop covers all aspects of unsoundness i…
Unsound Workshop at ECOOP 2026
Important cybersecurity news update