Index of /stumpaa/talks

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