<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	xmlns:georss="http://www.georss.org/georss" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:media="http://search.yahoo.com/mrss/"
	>

<channel>
	<title>Wand Symposium and Festschrift</title>
	<atom:link href="http://mitchfest.wordpress.com/feed/" rel="self" type="application/rss+xml" />
	<link>http://mitchfest.wordpress.com</link>
	<description>News of the special event and publication</description>
	<lastBuildDate>Tue, 15 Sep 2009 17:42:53 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.com/</generator>
<cloud domain='mitchfest.wordpress.com' port='80' path='/?rsscloud=notify' registerProcedure='' protocol='http-post' />
<image>
		<url>http://0.gravatar.com/blavatar/6f50ce34ab0c78edb8f1ff6017b42b2e?s=96&#038;d=http%3A%2F%2Fs2.wp.com%2Fi%2Fbuttonw-com.png</url>
		<title>Wand Symposium and Festschrift</title>
		<link>http://mitchfest.wordpress.com</link>
	</image>
	<atom:link rel="search" type="application/opensearchdescription+xml" href="http://mitchfest.wordpress.com/osd.xml" title="Wand Symposium and Festschrift" />
	<atom:link rel='hub' href='http://mitchfest.wordpress.com/?pushpress=hub'/>
		<item>
		<title>Most slides are now available</title>
		<link>http://mitchfest.wordpress.com/2009/09/08/most-slides-available/</link>
		<comments>http://mitchfest.wordpress.com/2009/09/08/most-slides-available/#comments</comments>
		<pubDate>Tue, 08 Sep 2009 20:56:54 +0000</pubDate>
		<dc:creator>David Herman</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://mitchfest.wordpress.com/?p=27</guid>
		<description><![CDATA[Slides for most of the Mitchfest talks are now available, including Olivier Danvy and Daniel P. Friedman&#8216;s keynote talk: Mitch Wand: Mensch, teacher, and scientist (Part 1). The newly added research talks are: Chung-chieh Shan: Functional un&#124;unparsing Sam Tobin-Hochstadt: The design and implementation of Typed Scheme David Herman: A theory of typed hygienic macros (pdf, [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mitchfest.wordpress.com&amp;blog=9312083&amp;post=27&amp;subd=mitchfest&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>Slides for most of the <a href="http://www.ccs.neu.edu/events/wand-symposium">Mitchfest</a> talks are now available, including <a href="http://www.brics.dk/~danvy/">Olivier Danvy</a> and <a href="http://www.cs.indiana.edu/~dfried/">Daniel P. Friedman</a>&#8216;s keynote talk: <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-11-danvy-friedman.pdf"><em>Mitch Wand: Mensch, teacher, and scientist (Part 1)</em></a>.</p>
<p>The newly added research talks are:</p>
<ul>
<li><a href="http://www.cs.rutgers.edu/~ccshan/">Chung-chieh Shan</a>: <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-01-shan.pdf"><em>Functional un|unparsing</em></a></li>
<li><a href="http://www.ccs.neu.edu/home/samth/">Sam Tobin-Hochstadt</a>: <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-02-tobin-hochstadt.pdf"><em>The design and implementation of Typed Scheme</em></a></li>
<li><a href="http://www.ccs.neu.edu/home/dherman/">David Herman</a>: <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-03-herman.pdf"><em>A theory of typed hygienic macros</em></a> (<a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-03-herman.pdf">pdf</a>, <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-03-herman.key">key</a>)</li>
<li><a href="http://people.csail.mit.edu/jnear/">Joseph P. Near</a>: <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-04-near.pdf"><em>A shallow Scheme embedding of </em>⊥<em>-avoiding streams</em></a> (<a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-04-near.pdf">pdf</a>, <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-04-near.key">key</a>)</li>
<li><a href="https://www.cs.tcd.ie/Vasileios.Koutavas/">Vasileios Koutavas</a>: <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-05-koutavas.pdf"><em>A mechanized bisimulation for the nu-calculus</em></a> (<a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-05-koutavas.pdf">pdf</a>, <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-05-koutavas.key">key</a>)</li>
<li><a href="http://www.ccs.neu.edu/home/tov/">Jesse Tov</a>: <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-06-tov.pdf"><em>A model of functional traversal-based generic programming</em></a></li>
<li><a href="http://www.ccs.neu.edu/home/will/">William D. Clinger</a>: <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-07-clinger-1.pdf"><em>The MacScheme compiler: Using denotational semantics to prove correctness</em></a> (<a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-07-clinger-1.pdf">pdf 1</a>, <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-07-clinger-2.pdf">pdf 2</a>)</li>
<li><a href="http://www.ece.northwestern.edu/~clk800/">Casey Klein</a>: <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-08-klein.pdf"><em>The MzScheme machine and bytecode verifier</em></a></li>
<li><a href="http://www.cs.indiana.edu/~dyb/">R. Kent Dybvig</a>: <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-09-dybvig.pdf"><em>A Scheme for native threads</em></a></li>
<li><a href="http://steven.ganz.googlepages.com/">Steven E. Ganz</a>: <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-10-ganz.pdf"><em>Trampolining architectures</em></a> (<a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-10-ganz.pdf">pdf</a>, <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-10-ganz.ppt">ppt</a>)</li>
<li><a href="http://www.cs.brown.edu/~greg/">Gregory H. Cooper</a>: <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-12-cooper.pdf"><em>Essentials of garbage collection</em></a></li>
<li><a href="http://www.ccs.neu.edu/home/shivers/">Olin Shivers</a>: <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-14-shivers.pdf"><em>Higher-order flow anaylsis with DDP</em></a></li>
<li><a href="http://www.ccs.neu.edu/home/dvanhorn/">David Van Horn</a>: <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-15-van-horn.pdf"><em>Subcubic control-flow analysis algorithms</em></a></li>
<li><a href="http://www.ccs.neu.edu/home/turon/">Aaron Turon</a>: <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-16-turon.pdf"><em>All-Termination(SCP)</em></a></li>
<li><a href="http://pagesperso-systeme.lip6.fr/Christian.Queinnec/WWW/Queinnec.html">Christian Queinnec</a>: <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-18-queinnec.xhtml"><em>A simplified multi-tier semantics for Hop</em></a></li>
<li><a href="http://www.cs.usask.ca/~cjd032/">Christopher Dutchyn</a>: <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-20-dutchyn.pdf"><em>Specializing continuations: Modularizing control</em></a> (<a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-20-dutchyn.pdf">pdf</a>, <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-20-dutchyn.key">key</a>)</li>
</ul>
<p>See the <a href="http://www.ccs.neu.edu/events/wand-symposium/program.html">program</a> for more information, including the complete lists of authors.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/mitchfest.wordpress.com/27/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/mitchfest.wordpress.com/27/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/mitchfest.wordpress.com/27/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/mitchfest.wordpress.com/27/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/mitchfest.wordpress.com/27/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/mitchfest.wordpress.com/27/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/mitchfest.wordpress.com/27/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/mitchfest.wordpress.com/27/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/mitchfest.wordpress.com/27/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/mitchfest.wordpress.com/27/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/mitchfest.wordpress.com/27/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/mitchfest.wordpress.com/27/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/mitchfest.wordpress.com/27/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/mitchfest.wordpress.com/27/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mitchfest.wordpress.com&amp;blog=9312083&amp;post=27&amp;subd=mitchfest&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://mitchfest.wordpress.com/2009/09/08/most-slides-available/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/28c6fbe0fd88c3a19ac4e50bce347a42?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">Dave</media:title>
		</media:content>
	</item>
		<item>
		<title>Slides: The anatomy of a crypto protocol</title>
		<link>http://mitchfest.wordpress.com/2009/09/03/slides-the-anatomy-of-a-crypto-protocol/</link>
		<comments>http://mitchfest.wordpress.com/2009/09/03/slides-the-anatomy-of-a-crypto-protocol/#comments</comments>
		<pubDate>Thu, 03 Sep 2009 21:36:39 +0000</pubDate>
		<dc:creator>David Herman</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://mitchfest.wordpress.com/?p=12</guid>
		<description><![CDATA[The slides from Joshua Guttman&#8216;s research talk, The anatomy of a crypto protocol, are now available from the Mitchfest program page. Update: the link URL for the talk slides has changed.<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mitchfest.wordpress.com&amp;blog=9312083&amp;post=12&amp;subd=mitchfest&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>The slides from <a href="http://www.ccs.neu.edu/home/guttman/">Joshua Guttman</a>&#8216;s research talk, <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-13-guttman.pdf"><em>The anatomy of a crypto protocol</em></a>, are now available from the <a href="http://www.ccs.neu.edu/events/wand-symposium/program.html">Mitchfest program</a> page.</p>
<p><strong>Update:</strong> the link URL for the talk slides has changed.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/mitchfest.wordpress.com/12/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/mitchfest.wordpress.com/12/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/mitchfest.wordpress.com/12/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/mitchfest.wordpress.com/12/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/mitchfest.wordpress.com/12/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/mitchfest.wordpress.com/12/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/mitchfest.wordpress.com/12/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/mitchfest.wordpress.com/12/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/mitchfest.wordpress.com/12/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/mitchfest.wordpress.com/12/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/mitchfest.wordpress.com/12/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/mitchfest.wordpress.com/12/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/mitchfest.wordpress.com/12/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/mitchfest.wordpress.com/12/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mitchfest.wordpress.com&amp;blog=9312083&amp;post=12&amp;subd=mitchfest&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://mitchfest.wordpress.com/2009/09/03/slides-the-anatomy-of-a-crypto-protocol/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/28c6fbe0fd88c3a19ac4e50bce347a42?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">Dave</media:title>
		</media:content>
	</item>
		<item>
		<title>Slides: The search for clarity</title>
		<link>http://mitchfest.wordpress.com/2009/09/03/slides-the-search-for-clarity/</link>
		<comments>http://mitchfest.wordpress.com/2009/09/03/slides-the-search-for-clarity/#comments</comments>
		<pubDate>Thu, 03 Sep 2009 19:48:34 +0000</pubDate>
		<dc:creator>David Herman</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://mitchfest.wordpress.com/?p=10</guid>
		<description><![CDATA[The slides from Mitchell Wand&#8216;s keynote talk, The search for clarity, are now available from the Mitchfest program page. Update: the link URL for the talk slides has changed.<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mitchfest.wordpress.com&amp;blog=9312083&amp;post=10&amp;subd=mitchfest&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>The slides from <a href="http://www.ccs.neu.edu/home/wand/">Mitchell Wand</a>&#8216;s keynote talk, <a href="http://www.ccs.neu.edu/events/wand-symposium/talks/mitchfest-21-wand.pdf"><em>The search for clarity</em></a>, are now available from the <a href="http://www.ccs.neu.edu/events/wand-symposium/program.html">Mitchfest program</a> page.</p>
<p><strong>Update:</strong> the link URL for the talk slides has changed.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/mitchfest.wordpress.com/10/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/mitchfest.wordpress.com/10/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/mitchfest.wordpress.com/10/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/mitchfest.wordpress.com/10/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/mitchfest.wordpress.com/10/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/mitchfest.wordpress.com/10/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/mitchfest.wordpress.com/10/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/mitchfest.wordpress.com/10/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/mitchfest.wordpress.com/10/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/mitchfest.wordpress.com/10/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/mitchfest.wordpress.com/10/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/mitchfest.wordpress.com/10/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/mitchfest.wordpress.com/10/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/mitchfest.wordpress.com/10/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mitchfest.wordpress.com&amp;blog=9312083&amp;post=10&amp;subd=mitchfest&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://mitchfest.wordpress.com/2009/09/03/slides-the-search-for-clarity/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/28c6fbe0fd88c3a19ac4e50bce347a42?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">Dave</media:title>
		</media:content>
	</item>
		<item>
		<title>Mitchfest was a success!</title>
		<link>http://mitchfest.wordpress.com/2009/09/03/mitchfest-was-a-success/</link>
		<comments>http://mitchfest.wordpress.com/2009/09/03/mitchfest-was-a-success/#comments</comments>
		<pubDate>Thu, 03 Sep 2009 17:57:27 +0000</pubDate>
		<dc:creator>David Herman</dc:creator>
				<category><![CDATA[Uncategorized]]></category>

		<guid isPermaLink="false">http://mitchfest.wordpress.com/?p=3</guid>
		<description><![CDATA[The Symposium in Honor of Mitchell Wand was a great success, thanks to the many attendees, presenters and organizers, and above all to Mitch! In the coming months, presenters and editors will be working on a Festschrift in honor of Mitch, as a special issue (or issues) of Higher-Order and Symbolic Computation. We&#8217;ll also be [...]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mitchfest.wordpress.com&amp;blog=9312083&amp;post=3&amp;subd=mitchfest&amp;ref=&amp;feed=1" width="1" height="1" />]]></description>
			<content:encoded><![CDATA[<p>The <a href="http://www.ccs.neu.edu/events/wand-symposium">Symposium in Honor of Mitchell Wand</a> was a great success, thanks to the many attendees, presenters and organizers, and above all to <a href="http://www.ccs.neu.edu/home/wand">Mitch</a>!</p>
<p>In the coming months, presenters and editors will be working on a Festschrift in honor of Mitch, as a special issue (or issues) of <a href="http://www.brics.dk/~hosc/">Higher-Order and Symbolic Computation</a>. We&#8217;ll also be adding links to the presentation slides and videos as they become available. We&#8217;ll update this blog with developments.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/mitchfest.wordpress.com/3/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/mitchfest.wordpress.com/3/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godelicious/mitchfest.wordpress.com/3/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/delicious/mitchfest.wordpress.com/3/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gofacebook/mitchfest.wordpress.com/3/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/facebook/mitchfest.wordpress.com/3/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gotwitter/mitchfest.wordpress.com/3/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/twitter/mitchfest.wordpress.com/3/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gostumble/mitchfest.wordpress.com/3/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/stumble/mitchfest.wordpress.com/3/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/godigg/mitchfest.wordpress.com/3/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/digg/mitchfest.wordpress.com/3/" /></a> <a rel="nofollow" href="http://feeds.wordpress.com/1.0/goreddit/mitchfest.wordpress.com/3/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/reddit/mitchfest.wordpress.com/3/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=mitchfest.wordpress.com&amp;blog=9312083&amp;post=3&amp;subd=mitchfest&amp;ref=&amp;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://mitchfest.wordpress.com/2009/09/03/mitchfest-was-a-success/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://0.gravatar.com/avatar/28c6fbe0fd88c3a19ac4e50bce347a42?s=96&#38;d=identicon&#38;r=G" medium="image">
			<media:title type="html">Dave</media:title>
		</media:content>
	</item>
	</channel>
</rss>
