This semester's lunch meetings

From: George Necula (necula@EECS.Berkeley.EDU)
Date: 01/08/01

Next message: Westley Weimer: "Model Checking & Theorem Proving"
Previous message: George Necula: "C question"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

Message-ID: <DE2CF556E37E0949BBCA86854480EDAE16E0DE@JANUS.eecs.berkeley.edu>
From: George Necula <necula@EECS.Berkeley.EDU>
Subject: This semester's lunch meetings
Date: Mon, 8 Jan 2001 09:40:52 -0800 

 Welcome back and Happy New Year to everybody. 

 We have reserved 380 Soda at 12:30-2 on Tuesday for the purpose of
continuing the tradition of quality food and discussion that we started last
semester. The first meeting is next Tuesday (16th). Hope to see you there,

George.

Next message: Westley Weimer: "Model Checking & Theorem Proving"
Previous message: George Necula: "C question"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2b30 : 11/04/02 PST