Galois Talk: Hoare-Logic – fiddly details and small print
0 views
Skip to first unread message
Levent Erkok
Nov 4, 2009, 3:35:01 PM11/4/09
to pdxfunc
[NB. This talk is on Friday, instead of the usual Tuesday slot.]
The next talk in the Galois Tech Seminar series:
* Date: Friday, November 13th, 2009
* Title: Hoare-Logic – fiddly details and small print
* Speaker: Rod Chapman
* Time: 10:30am - 11:30am
* Location: Galois, Inc. 421 SW 6th Ave. Suite 300; Portland, OR
97204
For details (including an abstract and speaker bio), please see our
blog post: http://www.galois.com/blog/2009/11/04/chapman-hoare/
An RSVP is not required; but feel free to drop a line to
levent...@galois.com if you've any questions or comments.
Levent Erkok
The next talk in the Galois Tech Seminar series:
* Date: Friday, November 13th, 2009
* Title: Hoare-Logic – fiddly details and small print
* Speaker: Rod Chapman
* Time: 10:30am - 11:30am
* Location: Galois, Inc. 421 SW 6th Ave. Suite 300; Portland, OR
97204
For details (including an abstract and speaker bio), please see our
blog post: http://www.galois.com/blog/2009/11/04/chapman-hoare/
An RSVP is not required; but feel free to drop a line to
levent...@galois.com if you've any questions or comments.
Levent Erkok
Reply all
Reply to author
Forward
0 new messages