Index of /~astump/talks

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]grinnell-2013.pdf2013-11-20 09:03 13M 
[   ]st-ambrose-knox-ieee-2013.pdf2013-11-07 15:08 13M 
[   ]bc-talk.pdf2024-02-12 21:12 4.8M 
[   ]ethics-and-tech-2017.pdf2017-05-06 22:34 4.4M 
[   ]clas-master-class-2015.pdf2015-12-01 15:48 3.2M 
[   ]truman12.pdf2012-10-17 20:32 3.1M 
[   ]st-ambrose-2012-talk.pdf2012-11-08 10:25 3.0M 
[   ]isu11.pdf2011-03-30 21:38 2.3M 
[   ]grad-orient12.pdf2012-08-15 15:29 1.7M 
[   ]wmm08.pdf2008-09-20 09:10 1.3M 
[   ]purdue-pl-summit-2015.pdf2015-12-05 20:02 1.2M 
[   ]colloq-10-24-2014.pdf2014-10-24 10:46 748K 
[   ]art-of-reading-nov-14-2018.pdf2018-11-14 00:59 497K 
[   ]phil-colloq10.pdf2010-10-22 14:31 394K 
[   ]mvd14.pdf2014-10-03 10:34 285K 
[   ]plpv14.pdf2014-01-21 10:10 254K 
[   ]indiana-logic-2016.pdf2016-03-04 21:12 252K 
[   ]clc-overview10.pdf2010-09-22 08:38 199K 
[   ]loria04.pdf2008-07-21 12:30 198K 
[   ]indiana-pl-2016.pdf2016-03-04 21:12 194K 
[   ]stump-cos13.pdf2013-06-24 03:50 189K 
[   ]compare2012.pdf2012-10-03 06:13 182K 
[   ]ling12.pdf2012-04-26 10:28 181K 
[   ]harvard10.pdf2010-04-30 07:26 157K 
[   ]startexec-uirf2012.pdf2012-02-14 10:42 142K 
[   ]boulder11.pdf2011-02-24 13:19 139K 
[   ]clsat.ppt2008-07-21 12:30 127K 
[   ]ui-grad-08.pdf2008-08-21 11:35 120K 
[   ]emsqms10.pdf2010-07-19 17:49 111K 
[   ]par2010.pdf2010-07-15 02:36 111K 
[   ]starexec-demo.pdf2012-10-03 06:13 99K 
[   ]lfmtp08.pdf2008-07-21 12:30 95K 
[   ]starexec-overview.pdf2012-10-03 06:13 94K 
[   ]smt08.pdf2008-07-21 12:30 93K 
[   ]wg2-11.pdf2009-04-16 17:00 93K 
[   ]rta11.pdf2011-06-09 21:28 87K 
[   ]dept_retreat05.pdf2008-07-21 12:30 87K 
[   ]dept_retreat05a.pdf2008-07-21 12:30 84K 
[   ]plpv10.pdf2010-01-19 06:43 84K 
[   ]dagstuhl09.pdf2009-10-08 08:13 77K 
[   ]midwest-pl-day09.pdf2009-05-08 14:59 76K 
[   ]lfsc-rockwell10.pdf2010-08-06 09:44 63K 
[   ]foser10.pdf2010-11-07 08:00 62K 
[   ]disproving05.pdf2008-07-21 12:30 56K 
[   ]mvd09.pdf2009-09-11 10:19 54K 
[   ]clsat.pdf2008-07-21 12:30 42K 
[   ]smt08a.pdf2008-07-21 12:30 24K 
[   ]grinnell-2013.rkt2013-11-20 09:03 11K 
[   ]st-ambrose-knox-ieee-2013.rkt2013-11-07 15:08 10K