|
Change #954
2009-11-04
12:36:49
|
create
Calagator::Event
1250457967
Galois Talk: Hoare-Logic – fiddly details and small print
Roll back
| description |
nil |
→ |
[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
[email protected] if you've any questions or comments.
Levent Erkok |
| end_time |
nil |
→ |
2009-11-13 11:30:00 -0800 |
| id |
nil |
→ |
1250457967 |
| start_time |
nil |
→ |
2009-11-13 10:30:00 -0800 |
| title |
nil |
→ |
Galois Talk: Hoare-Logic – fiddly details and small print |
| url |
nil |
→ |
http://www.galois.com/blog/2009/11/04/chapman-hoare/ |
| venue_id |
nil |
→ |
202390439 |
|