might be fun for people interested in logic

From: Zhendong Su (zhendong@EECS.Berkeley.EDU)
Date: 10/11/01

Next message: George Necula: "PS seminar today"
Previous message: Alexander Aiken: "Dawson Engler visit tomorrow (Tuesday)"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

Date: Thu, 11 Oct 2001 16:29:10 -0700 (PDT)
From: Zhendong Su <zhendong@EECS.Berkeley.EDU>
Subject: might be fun for people interested in logic
Message-ID: <Pine.LNX.4.33.0110111626260.13650-100000@otter.cs.berkeley.edu>

http://www.math.berkeley.edu/~catalina/talk.txt

Next message: George Necula: "PS seminar today"
Previous message: Alexander Aiken: "Dawson Engler visit tomorrow (Tuesday)"
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