Thursday 8 January 2026
The 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.)
More recent news
Thu 5 Feb 2026PhD defence Bram Kohlen: 12 February, 10:30
Wed 4 Feb 2026SCS Researchers Secure EEMCS Funding for Innovative AI Projects
Tue 3 Feb 2026NeXAI
Fri 30 Jan 2026PhD Defence Işıl Baysal Erez | Handling Missing Data with Meta-Learning and Large Language Models
Fri 23 Jan 2026Andrea Continella receives Runner-Up prize in Dutch Cybersecurity Research Paper Award