Re: Bob Harper at UW

Subject: Re: Bob Harper at UW
From: Todd D Millstein (todd@cs.washington.edu)
Date: Fri Sep 13 2002 - 17:28:41 PDT

• sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: usmandanladi@eircom.net: "Strictly Business."
• Previous message: Sorin Lerner: "Bob Harper at UW"
• In reply to: Sorin Lerner: "Bob Harper at UW"

Yeah, and Moshe Vardi is also giving a DL, on the unusual effectiveness of
logic in CS. It's a good year for us type theory weenies.

Todd

On Fri, 13 Sep 2002, Sorin Lerner wrote:

> Maybe other people knew this already, but it was news to me.
>
> I just noticed that the first talk in the distinguished lecturers series
> this fall is given by Bob Harper. And the title is: "Programming
> Languages: the Essence of Computer Science". Nice...
>
> Sorin
>
>
> _______________________________________________
> Cecil mailing list
> Cecil@cs.washington.edu
> http://majordomo.cs.washington.edu/mailman/listinfo/cecil
>

_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil

• Next message: usmandanladi@eircom.net: "Strictly Business."
• Previous message: Sorin Lerner: "Bob Harper at UW"
• In reply to: Sorin Lerner: "Bob Harper at UW"
• Reply: Todd D Millstein: "Re: Bob Harper at UW"

This archive was generated by hypermail 2b25 : Fri Sep 13 2002 - 17:28:47 PDT