1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004

1996
Jan Feb Mar Apr
May June July Aug
Sept Oct Nov Dec


August 1996


Date Location Event
7/27-8/3 Rutgers University Conference: Federated Logic Conference-FLOC'96
College Avenue Campus Student Center, Rutgers University, New Brunswick, NJ
8/5 Rutgers University Workshop: DIMACS Workshop SPIN96 -- 2nd International SPIN Verification Workshop Algorithms, Applications, Tool Use, Theory
See: http://dimacs.rutgers.edu/Workshops/SPIN96/index.html
DIMACS Center, CoRE Building, Rutgers University, Piscataway, NJ
8/22-8/23 Rutgers University Crash Course in DM for High School Teachers
Thursady, 8:00am-8:30pm; Friday, 8:00am-4:00pm
Hill Center, 7th Floor Lounge, Busch Campus, Rutgers University, Piscataway, NJ

Anyone is welcome to visit the program, check with Joe Rosenstein (joer@dimacs) or Val DeBellis (debellis@dimacs) in advance so that we can provide them with information about the program.

8/26-8/30 Rutgers University DIMACS Network Tutorials

This workshop has been cancelled.

DIMACS Center, Rutgers University, Piscataway, NJ

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.