Index of talks

 Name                                Last modified     Size  Description

 Parent Directory
 Pike-AvSafe-poster09.pdf  Tue Nov 24 14:59:08 2009    120k
 copilot-2011.pdf          Mon May 16 16:55:21 2011   1624k
 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                Tue Aug 30  1:28:30 2011      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-ames-09.pdf          Mon Sep 14 23:05:27 2009    175k
 pike-dsn-slides.pdf       Tue Jul  6  3:02:02 2010     81k
 pike-haskell09.pdf        Mon Sep 14 22:57:05 2009    222k
 pike-infoflow.pdf         Mon Aug 17 14:45:19 2009    429k
 pike-memocode.pdf         Sun Jun  3 13:43:01 2007    237k
 pike-nra08.pdf            Fri Oct 24 14:51:13 2008   1883k
 pike-pretty-print.pdf     Mon Sep 15  0:30:15 2008    215k
 pike-uav.pdf              Mon Apr 20  1:25:22 2009    741k
 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