Freek Wiedijk - ECOOP 2026

Mon 29 June - Fri 3 July 2026 Brussels, Belgium

Registered user since Thu 14 Jan 2021

Name:Freek Wiedijk

Country:Netherlands

Affiliation:Radboud University Nijmegen

Contributions

2026

Unsound

Vibe formalizing and AI slop: sound or unsound?

Show activities from other conferences

ECOOP 2026-profile
View general profile