Index of /~astump/talks

[ICO]NameLast modifiedSizeDescription

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