Spring 2003 Schedule of Talks

We can set up teleconferencing equipments for people to participate remotely. Please let us know about one week earlier with such requests.
Click on the speaker's name for a brief biography and contact information
Click on the title for a abstract of the talk. If we have electronic copies of transparencies or relevant papers, they can be found here, along with the abstract.

Date	Time	Venue	Speaker	Title

Jan 20 (Mon)			NONE (MLK)

Jan 27 (Mon)	4 pm	540 Cory	John Moondanos Strategic Cad Laboratory Intel Corporation	FORTE: Intel's Formal Verification Tools Environment

Feb 3 (Mon)	4 pm	540 Cory	Michael Shilman Ph.D. Candidate, EECS University of California, Berkeley	Discerning Structure from Freeform Sketches

Feb 10 (Mon)	4 pm	540 Cory	Prof. Kang G. Shin Real-Time Computing Laboratory, University of Michigan	EMERALDS -- A Small-Memory Real-Time Microkernel

Feb 17 (Mon)	4 pm	540 Cory	NONE (Presidents day)

Mar 6 (Thur)	11am	ICSI/607	Prof.KrsteAsanovic MIT	SCALE -- Software Controlled Architectures for Low Energy

Apr 21 (Mon)	4pm	540 Cory	Dale Parson Agere Systems Allentown, PA	Agere's Functional Programming Language - Programming on Payload Plus Network Processors

Apr 28 (Mon)	4pm	540 Cory	Prof. Rudy Lauwereins Vice-President IMEC, Belgium	AI: Ambient Intelligence or Another Idiocy?

May 5 (Mon)	4pm	540 Cory	Andreas Herkersdorf IBM Research Zurich, CH	A Modular System-on-chip Platform for Network Processing

May 12 (Mon)	4pm	540 Cory	Eugene Goldberg Cadence Berkeley Labs	What SAT-solvers can and cannot do

May 13 (Tue)	4pm	540 Cory	Prof. Bart Kienhuis Leiden University, NL	System design using Kahn Process Networks - The Compaan/Laura Approach

^*: Slides Available.

Comments and questions can be addressed to the organizers.