Thursday April 23^rd at noon in the Large Conference Room, Ethan Jackson from Microsoft Research will give a lecture on his continuing work on model-based design and formal methods.