- I will be giving an invited talk at APLAS 2013 in Melbourne, Australia.
- Prakash Panangaden and I are organizing a workshop on duality and another on probabilistic systems at the Bellairs Research Institute in March 2014.
- I have just joined the board of the Halkes Network.
- I will be giving invited talks at FICS 2013 and TbiLLC 2013.
- Nijmegen is the only university in the Netherlands offering a Master in the Mathematical Foundations of Computer Science (MFoCS). Find out more information and consider joining/advertising it!
- Nijmegen is the first university in the Netherlands to start a bachelor programme in Cyber Security, in sept. 2013. Find out more information (in Dutch) and consider joining! Since several years there is already an English-language master program in cyber security.