This week, Martin and Peter will be at ETAPS, Rome. Martin will be presenting their paper Modular Bisimulation Theory for Computations and Values as part of FoSSaCS, tomorrow at 4pm.

Update: the slides are now available.