Tentative Schedule

From: Westley Weimer (weimer@EECS.Berkeley.EDU)
Date: 02/13/01

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

Date: Tue, 13 Feb 2001 14:20:20 -0800 (PST)
From: Westley Weimer <weimer@EECS.Berkeley.EDU>
Subject: Tentative Schedule
Message-ID: <Pine.SOL.4.30.0102131413130.16942-100000@york.CS.Berkeley.EDU>

Here is what I have currently for a tentative schedule. Can anyone offer
additions, corrections or amendments? [brackets] indicate my uncertainty.

02/13/01: Christoph Kirsch spoke on embedded control systems using the
	  Giotto methodology.
02/20/01: David Gay will speak on [language support for regions?]
02/27/01: Sriram Rajimani will visit and speak on [the work he has been
	  doing with Thomas Ball?]
[tentative dates]
03/06/01: David Wagner will speak on [security?].
03/13/01: Zhendong Su will give a practice talk for his ESOP paper.

	- Wes

Next message: George Necula: "Volunteers needed or we starve!"
Previous message: Westley Weimer: "Model Checking & Theorem Proving"
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