Feb. 18th Software Methodolgy and Leibniz lectures