Fall 1998 Schedule
Ongoing Research Seminar
Department of Computer Science
State University of New York at Stony Brook
-
Oct. 9, 2pm - 3pm Professor
Cleaveland Subject: Explicit vs. Implicit Specification
Formalisms
-
Oct, 16, 2pm - 3pm
-
Oct, 23, 2pm - 3pm
-
Oct, 30, 2pm - 3pm Professor
Larry Wittie Subject: Design of a Petaflops Network Computer
(with 1.4 mm =1/16 inch signal propagation/instruction clock)
-
Nov, 6, 2pm - 3pm Professor
C. R. Ramakrishnan Subject: Logic Programming for Verification
and Program Analysis
-
Nov, 13, 2pm - 3pm Professor
Skiena ; Subject: Algorithm
-
Nov, 20, 2pm - 3pm Professor
Smolka Subject: Concurrency Factory
-
Dec, 4, 2pm - 3pm
Professor
Michael Bender Subject: New Algorithms
and Metrics for Scheduling
-
Dec, 11, 2pm - 3pm
shiyong@cs.sunysb.edu (Shiyong Lu)