Viewing 0 current events matching “praxis” by Date.

Sort By: Date Event Name, Location , Default
No events were found.

Viewing 1 past event matching “praxis” by Date.

Sort By: Date Event Name, Location , Default
Friday
Nov 13, 2009 		Galois Talk: Hoare-Logic – fiddly details and small print
– Galois, Inc

[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

Website