This page has moved. Please update your bookmarks and visit the new page: http://www.cs.wisc.edu/areas/pl/seminar.php The new page will load in a few seconds.