|
Change #857
2009-10-28
14:59:44
|
create
Calagator::Event
1250457935
Galois Talk: Testing First-Order-Logic Axioms in AutoCert
Roll back
| description |
nil |
→ |
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.erkok@galois.com if you've any questions or comments.
Levent Erkok |
| end_time |
nil |
→ |
2009-11-03 11:30:00 -0800 |
| id |
nil |
→ |
1250457935 |
| start_time |
nil |
→ |
2009-11-03 10:30:00 -0800 |
| title |
nil |
→ |
Galois Talk: Testing First-Order-Logic Axioms in AutoCert |
| url |
nil |
→ |
http://www.galois.com/blog/2009/10/28/ahn-autocert/ |
| venue_id |
nil |
→ |
202390439 |
|