Newly Accepted Papers: DMB Research HighlightsWe are proud to share several recent research achievements by our members and collaborators. These newly accepted and published papers reflect DMB’s strong contributions to machine learning, computer vision, and systems safety across diverse application domains.Read more
20-23 January: CYCLIC Winter School, hosted at the UTThe Dutch Winter School on Logic and Verification provides classes for PhD/graduate students in theoretical computer science, with a focus on software verification, logic, and type theory. Read more (Registration is closed.)Read more
Newly Accepted Papers: DMB Research Highlights
20-23 January: CYCLIC Winter School, hosted at the UT
UT in the Social Media Award: Giancarlo Guizzardi
“State of the scs union” speech by Giancarlo Guizzardi
Lola Solovyeva: “AI doesn’t run on magic. It runs on electricity.”
The paper 'Semantically Coherent Business Architecture Models: Integrating Capabilities, Value Streams, and Business Objects' has won the Best Forum Paper Award
Florian Bonensteffen will defend his thesis on Friday 5 December
Faizan Ahmed wins the Educational Cake Inter-Actief
Why does ChatGPT write terrible Secret Santa poems?
NWO Diversity & Inclusion Initiative Award 2025 for Alice & Eve
Valentijn Hol won KHMW Young Talent Master thesis Award for Computer Science
How safe is your smart home?
