This is my home page on this wiki.

Eerke Boiten's real home page is www.cs.kent.ac.uk/~eab2/

RefineNet was an EPSRC network, and its webpages survive at www.refinenet.org.uk . It is also a repository of Refinement workshops' recent history and future, in particular, you will find the Call for papers for REFINE 2009 there.

A new EPSRC network is CryptoForma: Formal Methods and Cryptography, the next generation of abstractions. This lives at www.cryptoforma.org.uk, contact me for more info. UK academics and industrialists are welcome to join the network; anyone is welcome to join the friends of the network, or the Facebook group