Galois Talk: Testing First-Order-Logic Axioms in AutoCert
0 views
Skip to first unread message
Levent Erkok
Oct 28, 2009, 5:56:29 PM10/28/09
to pdxfunc
The next talk in the Galois Tech Seminar series:
* Date: Tuesday, November 3rd, 2009
* Title: Testing First-Order-Logic Axioms in AutoCert
* Speaker: Ki Yung Ahn
* 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/10/28/ahn-autocert/
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
* Date: Tuesday, November 3rd, 2009
* Title: Testing First-Order-Logic Axioms in AutoCert
* Speaker: Ki Yung Ahn
* 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/10/28/ahn-autocert/
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