1996
Jan Feb Mar Apr

May June July Aug

Sept Oct Nov Dec

February 1996

Date	Location	Event
2/1	Rutgers University	DIMACS Reading Seminar in Algorithms Topic: Two randomized algorithms for linear programming 3:00-4:30pm, DIMACS Seminar Room 431, CoRE Building, Rutgers University
2/2	Rutgers University	CAV in Industry Series Speaker: Robert Kurshan, AT&T Bell Labs Title: The Story of Formal Check 2:30pm, DIMACS Seminar Room 431, CoRE Building
2/5-2/9	Rutgers University	Workshop: Combinatorial Number Theory See: http://dimacs.rutgers.edu/Workshops/CombNumber/index.html DIMACS Center - Rutgers University, Piscataway, NJ
2/7	Princeton University	DIMACS Computer Science Department Colloquium Series - Princeton Speaker: Avi Wigderson, Institute for Advanced Study and Hebrew University Title: Computational Randomness - A survey 4:00 pm (Tea reception at 3:00 pm in the Tea Room), Room 105 (Small Auditorium), Computer Science Building, Princeton University
2/8	Rutgers University	DIMACS Reading Seminar in Algorithms Topic: Approximation Algorithms Based on Primal-Dual Simplex Method 3:00pm, DIMACS, CoRE Building, Room 433 (NOTE ROOM CHANGE)
2/9	Rutgers University	DIMACS Special Year on Logic and Algorithms Seminar Speaker: Eric Rosen, Technion Title: Preservation Theorems and Finite Model Theory 2:30pm, DIMACS Seminar Room 431, CoRE Building, Rutgers University
2/12	Rutgers University	DIMACS Seminar on Math and CS in Biology Speaker: Stephen Altschul, NIH Title: The Statistics of Local Sequence Similarities and the Choice of Protein Alignment Scoring Systems 11:00am, DIMACS Seminar Room 431, CoRE Building, Rutgers University
2/13	Rutgers University	DIMACS Discrete Math/Theory of Computing Seminar Speaker: Eric Allender, Rutgers University Title: An Isomorphism Theorem for Circuit Complexity 4:30pm, DIMACS Seminar Room 431, CoRE Building, Rutgers University
2/15	Rutgers University	Reading Seminar in Algorithms Topic: Approximation Algorithms Based on Primal-Dual Simplex Method 3:00-4:30pm, DIMACS Seminar Room 431, CoRE Building, Rutgers University
2/16	Rutgers University	DIMACS Special Year on Logic and Algorithms Seminar Speaker: Vladimir Sazanov, Program Systems Institute, Russian Academy of Sciences Title: On Computability over Hereditarily-Finite Sets in Logarithmic Space 2:30pm, DIMACS Seminar Room 431, CoRE Building, Rutgers University, Piscataway, NJ
2/16	Princeton University	DIMACS Theory Lunch Seminar Speaker: Mihalis Yannakakis, AT&T Bell Labs Title: Testing Finite State Systems Lunch 11:45 AM, Talk 12:05 PM Room 402, Computer Science Building, Princeton University
2/20	Rutgers University	DIMACS Seminar on Math and CS in Biology Speaker: Tandy Warnow, University of Pennsylvania Title: A computational method for inferring evolutionary trees and an application to Indo-European family of languages 11:00am, DIMACS Seminar Room 431, CoRE Building, Rutgers University
2/20	Rutgers University	DIMACS Discrete Math/Theory of Computing Seminar Speaker: S. Muthukrishnan, University of Warwick Title: Distributed Load Balancing: Analytical and Simulation Results 4:30pm, DIMACS Seminar Room 431, CoRE Building, Rutgers University
2/23	Rutgers University	DIMACS Special Year on Logic and Algorithms Seminar Speaker: Katherine St. John, University of Pennsylvania Title: Recursion on Classes of Finite Structures 2:30pm, DIMACS Seminar Room 431, CoRE Building, Rutgers University
2/29	Rutgers University	DIMACS Seminar on Math and CS in Biology Speaker: Ron Shamir, Tel Aviv University Title: How Hard is the Integration of Physical Maps? 11:00am, DIMACS Conference Room 433, CoRE Building, Rutgers University
2/29	Rutgers University	Reading Seminar in Algorithms Topic: Perfect Arborescence Packing in Preflow Mincut Graphs 3:00-4:30, DIMACS Seminar Room 433, CoRE Building, Rutgers University

Wondering who's visiting DIMACS? Have a look at the Visitors list

.

DIMACS home page

Contacting the Center
Document last modified on January 26, 1999.