http://howard60.cs.man.ac.uk Higher-Order Workshop on Automated Runtime verification and Debugging hourly 1 http://wordpress.org/?v=3.2.1