Programming Languages Seminar "Equationally Reasoning about Imperative Programs" will be held on Thursday, September 15.

Programming Languages Seminar
[Title] Equationally Reasoning about Imperative Programs
[Speaker] Ross Tate (University of California at San Diego)
[Date] Sept. 15. 2011 4:00 p.m. - 6:00 p.m.
[Place] Integrated Building South Room 562, Nagoya University
[Contact] Tachio Terauchi (Nagoya University) TEL: 052-789-4242

Dates：2011/9/15