Ershov lecture






  On April 11 I gave the “Ershov lecture” in Novosibirsk. I talked about concurrency; a video recording is available here. The lecture is given annually in memory of Andrey P. Ershov, one of the founding fathers of Russian computer science and originator of many important concepts such as partial evaluation. According to Wikipedia, Knuth … Read more




SP software engineering seminar (web-streamed): talks by H. Gall and L. Baresi, Thursday, 5 July






On Thursday, July 5 at 15 Saint Petersburg time (7 AM New York, noon London, 13 Paris/Brussels/Zurich/Milan), the Saint Petersburg software engineering seminar presents two talks, streamed over the Internet: Firat hour:  Luciano Baresi, Politecnico di Milano: A-3: A Middleware for Self-organizing Pervasive Systems Second hour: Harald Gall, University of Zurich: Software Assessment with Software … Read more




Aliasing and framing: Saint Petersburg seminar next week






In  last Thursday’s session of the seminar, Kokichi Futatsugi’s talk took longer than planned (and it would have been a pity to stop him), so I postponed my own talk on Automatic inference of frame conditions through the alias calculus to next week (Thursday local date). As usual it will be broadcast live. Seminar page: here, … Read more




Seminar sessions in Saint Petersburg: CafeOBJ and the frame issue






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 … Read more