DistriNet Seminars

imec-DistriNet regularly hosts research seminars, which are organized by DistriNet researchers or visiting researchers. You can find an overview of upcoming seminars on the DistriNet event page.
In case you like to attend a seminar, there's no need to register.
If you like to be notified about our upcoming seminars, please fill out the following form:

Subscribe to our mailing list

* indicates required
Email Format

Past Seminars

DistriNet Seminar: "BDI agent testability" and "Value-based plan selection in BDI agents"

PhD Defense Willem Penninckx: Modular Semi-automatic Formal Verification of Critical Systems Software

DistriNet Seminar: A Verification Technique for Deterministic Parallel Programs

PhD Defense Gowri Sankar Ramachandran: Cross layer optimisation of dynamic Internet-of-Things (IoT) systems

PhD Defense Jesper Cockx: Dependent pattern matching and proof-relevant unification

PhD Defense Rinde van Lon: Multi-agent systems for dynamic logistics - Systematic evaluation and bio-inspired optimization

DistriNet Seminar: Meet the jury

PhD Defense Job Noorman: Sancus: A Low-Cost Security Architecture for Distributed IoT Applications on a Shared Infrastructure

PhD defense Andreas Put: Anonymous Credentials in Practice: Realizing Anonymous Applications and Services

DistriNet Seminar: Simulation-based Optimisation by Prof. Juergen Branke

PhD Defense Fatih Gey: Middleware for Customizable Evolution of SaaS Applications