Kohei Suenaga's talk next week sounds interesting. Its title is "Programming with Infinitesimals: A WHILE-Language for Hybrid System Modeling".