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