TOP > News | News | Events/Seminars > Events/Seminars Detail

Events/Seminars

Events/Seminars list

2011/09/08

(Updated 2011/09/08 )

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