Index of talks

 Name                                Last modified     Size  Description

 Parent Directory
 defense.pdf               Fri Apr  7  1:32:04 2006    396k
 duckrabbitduchamp.pdf     Mon Oct 18  8:09:03 2004    263k
 emsoft.pdf                Tue Sep 20 22:50:08 2005     82k
 fmcad-pike-talk.pdf       Sat Nov 17  0:03:47 2007    304k
 index.html                Mon Dec 24 16:09:35 2007      1k
 leepike-nacap.pdf         Wed Aug  1 13:30:04 2007    337k
 orals.pdf                 Sun Feb 20 11:04:27 2005    132k
 phil_fm.pdf               Fri Sep 24 13:12:43 2004    856k
 pike-afm-talk.pdf         Fri Nov  9 11:06:19 2007     77k
 pike-memocode.pdf         Sun Jun  3 13:43:01 2007    237k
 pike_acl2_talk.pdf        Wed Dec  6 16:13:15 2006    193k
 pike_disproving_talk.pdf  Fri Aug 18 14:53:05 2006    215k
 pike_pdpar.pdf            Wed Aug 23  1:10:23 2006    201k
 pred_proving.pdf          Fri Jun  3 12:45:55 2005    165k
 prop_proving.pdf          Fri Jun  3 12:45:34 2005    188k
 reint_present.pdf         Mon Feb 14 11:22:14 2005    190k
 sal.pdf                   Fri Jun  3 12:46:07 2005    148k
 spider_fm.pdf             Fri Sep 24 13:17:22 2004   1647k
 spider_intel.pdf          Thu Jun  2 21:31:56 2005    203k
 spider_rockwell.pdf       Thu Jun  2 21:32:29 2005    294k
 tacas.pdf                 Sat Apr  1 23:05:58 2006    183k
 tphols04.pdf              Fri Sep 24 13:19:46 2004    669k