dvanhorn @ λ-calcul.us » Talks http://dvanhorn.lambda-calcul.us Research weblog for David Van Horn Sat, 28 Aug 2010 13:39:54 +0000 http://wordpress.org/?v=2.9.2 en hourly 1 Wand Symposium and Festschrift: the Blog http://dvanhorn.lambda-calcul.us/2009/09/15/wand-symposium-and-festschrift-the-blog/ http://dvanhorn.lambda-calcul.us/2009/09/15/wand-symposium-and-festschrift-the-blog/#comments Tue, 15 Sep 2009 17:08:52 +0000 dvanhorn http://dvanhorn.lambda-calcul.us/?p=162 A new blog has been created for the Wand Symposium and Festschrift:

In the coming months, presenters and editors will be working on a Festschrift in honor of Mitch, as a special issue (or issues) or Higher-Order and Symbolic Computation. We’ll also be adding links to the presentation slides and videos as they become available. We’ll update this blog with developments.

Most of the slides from MitchFest are now available, too.

]]> http://dvanhorn.lambda-calcul.us/2009/09/15/wand-symposium-and-festschrift-the-blog/feed/ 0 The Search for Clarity http://dvanhorn.lambda-calcul.us/2009/08/28/the-search-for-clarity/ http://dvanhorn.lambda-calcul.us/2009/08/28/the-search-for-clarity/#comments Fri, 28 Aug 2009 18:20:58 +0000 dvanhorn http://dvanhorn.lambda-calcul.us/?p=158 Slides from Mitch Wand’s keystone talk at the symposium in his honor. Required reading for any aspiring young scientist.

]]> http://dvanhorn.lambda-calcul.us/2009/08/28/the-search-for-clarity/feed/ 0 Matthias Felleisen – Programming at NEU http://dvanhorn.lambda-calcul.us/2009/01/30/matthias-felleisen-programming-at-neu/ http://dvanhorn.lambda-calcul.us/2009/01/30/matthias-felleisen-programming-at-neu/#comments Fri, 30 Jan 2009 17:17:05 +0000 dvanhorn http://dvanhorn.lambda-calcul.us/?p=71 Matthias Felleisen will be speaking on 02/04/2009 at 11:45am at Northeastern University (first floor West Village H), hosted by the NU ACM chapter.

This talk will describe how the Northeastern University programming curriculum (especially CSU211/213/290 and CSU670) has evolved over the last few years and Dr. Felleisen’s role in this process. This will cover the history, the background, the connections, the context, the successes, and the failures. Dr. Felleisen will also sketch out what must be added to make this curriculum the best in the country so that we can prepare every single graduate for a life time of software creation.

http://acm.ccs.neu.edu/?q=node/664

http://acm.ccs.neu.edu/static/talks/nuACM-Spring09-Matthias.mp4

]]> http://dvanhorn.lambda-calcul.us/2009/01/30/matthias-felleisen-programming-at-neu/feed/ 0