- Franck van Breugel,
Topological Models in Comparative Semantics,
Vrije Universiteit Amsterdam, September 28, 1994
- Jerry den Hartog,
Probabilistic Extensions of Semantic Models,
Vrije Universiteit Amsterdam, October 17, 2002
- Ana Sokolova,
Coalgebraic Analysis of Probabilistic Systems,
Technische Universiteit Eindhoven, November 3, 2005
- Cas Cremers,
Scyther: Semantics and Verification of Security Protocols,
Technische Universiteit Eindhoven, November 6, 2006
- Jasen Markovski,
Real and Stochastic Time in Process Algebras for Performance Evaluation,
Technische Universiteit Eindhoven, October 2, 2008
- Andries Stam,
Interaction Protocols in Paradigm,
Universiteit Leiden, December 8, 2009
- José Proença,
Synchronous Coordination of Distributed Components,
Universiteit Leiden, May 11, 2011
- Christian Krause,
Reconfigurable Component Connectors,
Universiteit Leiden, June 21, 2011
- Young-Joo Moon,
Stochastic Models for Quality of Service of Component Connectors,
Universiteit Leiden, October 25, 2011
- Keyvan Azadbakht,
Asynchronous Programming in the Abstract Behavioural Specification Language,
Universiteit Leiden, December 11, 2019