1994 | 1995 | 1996 | 1997 | 1998 | 1999 | 2000 | 2001 | 2002 | 2003 | 2004 |
1996 | |||
---|---|---|---|
Jan | Feb | Mar | Apr |
May | June | July | Aug |
Sept | Oct | Nov | Dec |
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://dimacs.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://dimacs.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 |