Presentations by Wan Fokkink
Inaugural lecture
My inaugural speech (in Dutch) with the title Thee Oor Ree Ties Ze Inf Or Ma Ti-ka: Deze Tijd heeft Behoefte aan Verificatie van Software was delivered in the aula of the Vrije Universiteit Amsterdam on March 6, 2007.
On open access versus commercial publishing
Text and slides of my presentation Publish(ers come to your senses) or Perish at a meeting on open access of scientific work at the KNAW in Amsterdam on May 15, 2013
Tutorials
- A crash course on Gödel's incompleteness theorems
- A crash course on quantum computing
- The spirit of multicore computing
1st IPM Advanced School on Computing: Formal Methods for Design and Analysis of Computer Systems, Tehran, January 2016
- Protocol validation with μCRL
3rd Summer School on Verification Technology, Systems & Applications, Luxembourg, September 2010
- Process algebra: An algebraic theory of concurrency
CAI'09, Thessaloniki, May 2009
- The spirit of distributed computing
IPM/UNU Winter School on Foundations and Trends in Computer Science, Tehran, February 2008
- Real-time embedded systems
4th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time, Bertinoro, September 2004
- Protocol verification using process algebra
UNU/IIST Summer School on Methods and Tools for High Quality Software Development, Zhengzhou, August 2004
Keynotes
- The road ahead for supervisor synthesis
SETTA'20, Guangzhou, November 2020
- Putting supervisory control synthesis to work
FACS'19, Amsterdam, October 2019
- On Milner's axiomatization for regular expressions in bisimulation semantics
EXPRESS/SOS'18, Beijing, September 2018
- Why modal characterizations of process semantics totally rock
EXPRESS/SOS'11, Aachen, September 2011
- What can formal methods bring to systems biology?
FM'09, Eindhoven, November 2009
- Oh mega completeness
FoSSaCS'06, Vienna, March 2006
- Refinement and verification applied to an in-flight data acquisition unit
CONCUR'02, Brno, August 2002
- Verification of interlockings: From control tables to ladder logic diagrams
FMICS'98, Amsterdam, May 1998
Research presentations
- Efficient computation of anonymous ring size
Workshop on the occasion of Catuscia Palamidessi's 60th birthday, Paris, November 2019
- Precongruence formats with lookahead through modal decomposition
CSL'17, Stockholm, August 2017
- It's a wonderful lift: Get axiomatizability results for weak or timed settings for free
Workshop on Open Problems in Concurrency Theory, Bertinoro, June 2014
- John Tucker must diet
Symposium on the occasion of the 60th birthday of John Tucker, Swansea, April 2012
- Embedded network protocols for mobile devices
FMICS'10, Antwerp, September 2010
- Mechanical verification of a two-way sliding window protocol
CPA'08, York, September 2008
- Leader election for anonymous networks
Seminar and Group Skills Seminar, Leicester, February 2008
- Leader election for anonymous networks
Workshop on Two Decades of Probabilistic Verification — Reflections and Perspectives, Leiden, November 2007
- Adapting the UPPAAL model of a distributed lift system
FSEN'07, Tehran, April 2007
- Cones and foci: A mechanical framework for protocol verification
Workshop on Emerging Trends in Concurrency Theory, Paris, November 2006
- In your car and at the loo, Big Brother will be watching you
From BRICKS to Buildings Symposium, Amsterdam, June 2006
- Bisimilarity is not finitely based over BPA with interrupt
CALCO'05, Swansea, September 2005
- On finite alphabets and infinite bases: From ready pairs to possible worlds
FoSSaCS'04, Barcelona, April 2004