The Saint Petersburg software engineering seminar has two sessions today (29 March 2012, 18 local time, see here for the date and time in your area), broadcast live:
- By Kokichi Futatsugi from KAIST (Japan): Combining Inference and Search in Verification with CafeOBJ.
- By me: Automatic inference of frame conditions through the alias calculus.
See details including the link for the live webcast on the seminar page. The page also includes links to video recordings of recent sessions.