CAV 2027

39th International Conference on Computer-Aided Verification

Week of Digitalisation

Join a week in which government, business, and knowledge institutions look ahead to the digital future together.

EUROCRYPT 2027

International Conference on the Theory and Applications of Cryptographic Techniques

ACM CCS

ACM CCS seeks submissions presenting novel contributions related to all real-world aspects of computer security and privacy.

Conference Digital Society

Leading researchers from all fourteen universities in the Netherlands are working together to address the many pressing questions.

Sen Symposium

At this symposium we bring together the Dutch software engineering, programming languages, and formal methods … Read more

CompSys 2026

A Computer Science conference designed to highlight Dutch Computer Systems and Networks research, while fostering … Read more

BNAIC 2026

Organized by Maastricht University under the auspices of BNVKI & SIKS.

SIGMOD Conference

The annual ACM SIGMOD/PODS Conference is a leading international forum for database researchers, practitioners, developers, … Read more

STOC 2026

The 58th ACM Symposium on Theory of Computing (STOC 2026) is sponsored by the ACM … Read more