1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004

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


April 1996


Date Location Event
4/2 Rutgers University DIMACS Seminar on Math and CS in Biology
Speaker: Teresa Przytycka, University of Maryland
Title: On the Complexity of String Folding
11:00am, DIMACS Conference Room 433, CoRE Building, Rutgers University
4/2 Rutgers University DIMACS Discrete Math/Theory of Computing Seminar
Speaker: Tamas Szonyi, Budapest and Yale
Title: Blocking sets in projective planes
4:30pm, DIMACS Seminar Room 431, CoRE Building, Rutgers University
4/4 Rutgers University Reading Seminar in Algorithms
Topic: Approximating the volume of convex bodies
3:00-4:30pm, DIMACS Seminar Room 433, CoRE Building, Rutgers University
4/9 Rutgers University DIMACS Discrete Math/Theory of Computing Seminar
Speaker: Sridhar Rajagopalan, DIMACS
Title: Verifying Associativity and other Identities
4:30pm, DIMACS Seminar Room 431, CoRE Building, Rutgers University
4/11 Rutgers University Reading Seminar in Algorithms
Topic: Approximating the volume of convex bodies
3:00-4:30pm, DIMACS Seminar Room 433, CoRE Building, Rutgers University
4/12 Princeton University DIMACS Princeton Theory Lunch Seminar
Speaker: Michel Goemans, MIT
Title: Approximating the Minimum Latency Problem
12:05 PM (lunch will be served at 11:45 AM), Room 402, Computer Science Building, 35 Olden St., Princeton University
4/12 Rutgers University DIMACS Special Year on Logic and Algorithms Seminar
Speaker: Jan Krajicek, Academy of Sciences of the Czech Republic
Title: Effective Interpolation Theorems, Cryptographical Conjectures, and Hard Tautologies
2:30pm, DIMACS Seminar Room 431, CoRE Building, Rutgers University
4/16 Rutgers University DIMACS Discrete Math/Theory of Computing Seminar
Speaker: Gyula Karloyi, Institute for Advanced Study
Title: Representation of Integers as a subset sum
4:30pm, DIMACS Seminar Room 431, CoRE Building, Rutgers University
4/19 Princeton University DIMACS Princeton Theory Lunch Seminar
Speaker: Oded Goldreich, Weizmann Institute and MIT
Title: Non-Approximability Results for MAX SNP -- Towards Tight Results
12:05 PM (lunch will be served at 11:45 AM), Room 402, Computer Science Building, 35 Olden St., Princeton University
4/19 Rutgers University DIMACS Special Year on Logic and Algorithms Seminar
Speaker: Alessandra Carbone - Talk has been cancelled -
Title:
2:30pm, DIMACS Seminar Room 431, CoRE Building, Rutgers University
4/21-4/23 Rutgers University Workshop: Feasible Arithmetics and Length of Proofs
See: http://dmac.rutgers.edu/Workshops/Arithmetic/index.html
DIMACS Center, CoRE Building, Rutgers University, Piscataway, NJ
4/26 Rutgers University DIMACS Special Year on Logic and Algorithms Seminar
Speaker: Alessandra Carbone, Technical University of Vienna
Title: Interpolants and Dynamics of Cut-elimination
2:30pm, DIMACS Seminar Room 431, CoRE Building, Rutgers University, Piscataway, NJ
4/27 Rutgers University Young Scholars Program - follow-up
See: http://dmac.rutgers.edu/ysp/
Main Speaker - Jeremy Avigad. He will be giving a workshop on Mathematical logic, truth assignments, formal languages and self-reference using puzzles, paradoxes, and games.
Time: 10:00 a.m. - Registration will start at 9:15 a.m.
Place: SERC Building on Busch Campus, Room 220, Rutgers University, Piscataway, NJ
4/29 Rutgers University DIMACS Distinguished Lecture Series
Speaker: Alexander A. Razborov, Steklov Mathematical Institute, Moscow, Russia
Title: Lower Bounds for Propositional Proofs and Independence Results in Bounded Arithmetic
11:00am, CoRE Building Lecture Hall, 1st Floor, Busch Campus, Rutgers University
4/30 Rutgers University DIMACS Seminar on Math and CS in Biology
Speaker: Shibu Yooseph, University of Pennsylvania
Title: Phylogeny Construction in the Presence of Polymorphic Characters
11:00am, DIMACS Seminar Room 431, 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.