Aad Mathijssen. Industrial verification of system behaviour using the mCRL2 toolset. Dutch Dependability Day, University of Twente, 12th May, 2009. [pdf]
Aad Mathijssen. mCRL2 toolset January 2009 release. LaQuSo lunch presentation, Technische Universiteit Eindhoven, 29th January, 2009. [pdf]
Aad Mathijssen. Analysis of system behaviour using the mCRL2 toolset. NL-TWINS Meeting, Logica, Eindhoven, 23th January, 2009. [pdf]
Aad Mathijssen. Analysis of system behaviour using the mCRL2 toolset. Bits&Chips 2008 Embedded Systemen, Evoluon Eindhoven, 9th October, 2008. [pdf]
Aad Mathijssen, Bas Ploeger. The mCRL2 Toolset. NXP Semiconductors, Eindhoven, 9th July, 2008. [pdf]
Aad Mathijssen. Design and Analysis of Embedded Software. TU/e and Philips Healthcare meeting, Technische Universiteit Eindhoven, 2nd July, 2008. [pdf]
Aad Mathijssen, Bas Ploeger, Frank Stappers, Tim Willemse. Behavioural Analysis using mCRL2. IPA Course on Formal Methods, Technische Universiteit Eindhoven, 26th June 2008. [pdf]
Aad Mathijssen. Logical Calculi for Reasoning with Binding. Computer Science Colloquium, Technische Universiteit Eindhoven, 7th February 2008. [pdf]
Aad Mathijssen. Logical Calculi for Reasoning with Binding. PhD Defense, Technische Universiteit Eindhoven, 15th November 2007. [pdf]
Aad Mathijssen, Murdoch J. Gabbay. A Formal Calculus for Informal Equality with Binding. 14th Workshop on Logic, Language, Information and Computation (WoLLIC'2007), Rio de Janeiro, Brazil, 2nd July 2007. [pdf]
Aad Mathijssen, Murdoch J. Gabbay. A Formal Calculus for Informal Equality with Binding. Mathematical Theories of Abstraction, Substitution and Naming in Computer Science, International Centre for Mathematical Sciences (ICMS), Edinburgh, Scotland, 27th May 2007. [pdf]
Aad Mathijssen, Murdoch J. Gabbay. Capture-avoiding Substitution as a Nominal Algebra. 3rd Int'l Colloquium on Theoretical Aspects of Computing (ICTAC 2006), Tunis, Tunisia, 24th November 2006. [pdf]
Aad Mathijssen, Murdoch J. Gabbay. Nominal Algebra. Process Seminar (Prose), Technische Universiteit Eindhoven, 16th November 2006. [pdf]
Aad Mathijssen, Murdoch J. Gabbay. Nominal Algebra. Process Algebra Meeting (PAM), CWI Amsterdam, 1st November 2006. [pdf]
Aad Mathijssen, Murdoch J. Gabbay. Nominal Algebra. Nordic Workshop on Programming Theory (NWPT'06), Reykjavík University, Iceland, 18th October 2006. [pdf]
Aad Mathijssen, Murdoch J. Gabbay. One-and-a-halfth-order Logic. Theoretical Computer Science (TCS) Seminar, Vrije Universiteit Amsterdam, 8th September 2006. [pdf]
Aad Mathijssen, A. Johannes Pretorius. Verified Design of an Automated Parking Garage. 11th Int'l Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006). Bonn University, 26th August 2006. [pdf,zip,bz2]
Aad Mathijssen, Murdoch J. Gabbay. One-and-a-halfth-order Logic. Computational Applications of Nominal Sets (CANS), Fourth Meeting. King's College London, 22th June 2006. [pdf: view,print]
Aad Mathijssen, Murdoch J. Gabbay. One-and-a-halfth-order Logic. Foundations Group / Brouwer Institute Seminar, Radboud University Nijmegen, 6th June 2006. [pdf: view,print]
Aad Mathijssen, Murdoch J. Gabbay. One-and-a-halfth-order Logic. Process Algebra Meeting (PAM), CWI Amsterdam, 24th May 2006. [pdf: view,print]
Aad Mathijssen, Murdoch J. Gabbay. One-and-a-halfth-order Logic. Process Seminar (Prose), Technische Universiteit Eindhoven, 4th May 2006. [pdf: view,print]
Aad Mathijssen. Software Modelling and Visualisation. ICT Kenniscongres, RAI Amsterdam, 10th and 11th April 2006. [ppt]
Aad Mathijssen, A. Johannes Pretorius. Verified Design of an Automated Parking Garage. Lecture for the course 2IW20 Requirements Analysis, Design and Verification (RADV), Technische Universiteit Eindhoven, 1th February 2006. [pdf]
Aad Mathijssen, A. Johannes Pretorius. Specification, Analysis and Verification of an Automated Parking Garage. Verification and Validation of Systems Symposium (VVSS), Technische Universiteit Eindhoven, 24th November 2005. [pdf]
Aad Mathijssen, A. Johannes Pretorius. Specification, Analysis and Verification of an Automated Parking Garage. LaQuso, Technische Universiteit Eindhoven, 30th June 2005. [pdf]
Aad Mathijssen, Jan Friso Groote, Muck van Weerdenburg, Yaroslav Usenko. mCRL2: Towards a Practical Formal Specification Language. OAS symposium (OASE), Technische Universiteit Eindhoven, 23th June 2005. [pdf]
Aad Mathijssen, Jan Friso Groote, Muck van Weerdenburg. mCRL2: Towards a Practical Formal Specification Language. SENVA Workshop, Saint Pierre de Chartreuse, 31th May 2005. [pdf]
Aad Mathijssen. GenSpecT: A Specification Language for Petri Nets and Process Algebra. Process Algebra Meeting (PAM), CWI Amsterdam, 25th May 2005. [pdf]
Aad Mathijssen. Data Types for GenSpecT. LaQuSo, Technische Universiteit Eindhoven, 23th September 2004. [pdf]
Aad Mathijssen. An Algebraic Specification of First-order Logic. OAS Symposium (OASE), Technische Universiteit Eindhoven, 10th June 2004. [pdf]
Aad Mathijssen. Formele Afleidingen van Binaire Arithmetiek. OAS Symposium (OASE), Technische Universiteit Eindhoven, 18th September 2003. [pdf]
Aad Mathijssen. Formele Afleidingen van Binaire Arithmetiek. Graduation Talk, Technische Universiteit Eindhoven, 13th June 2003. [ps, pdf]