We have just published online information about our new seminar on Tool-based approaches to Software Security which we will be having this summer.