DIMACS invites you to its Fall Mixer Series. All DIMACS members, visitors, postdocs, and students are invited to join us on Friday, October 2, at the NEC Research Institute in Princeton. The program will begin at 11:30 am in the Interaction Area, NEC Research Institute, 2nd Floor, Princeton, NJ. The talks will be held in the Multipurpose Room, also on the second floor. The purpose of the mixer is to introduce the new postdocs, graduate students and DIMACS visitors to each other and to DIMACS members from the different DIMACS institutions.
Please RSVP to Mary Zwiebel (mary@research.nj.nec.com) by Wednesday, September 30. Those who do not RSVP are still be welcome, but we would appreciate your letting us know your intentions in advance.
If there are any questions concerning the DIMACS Mixer Series, please feel free to contact Julia Abrahams at abrahams@dimacs.rutgers.edu. We look forward to meeting you all this fall at the mixers!
Program
11:30 - 12:15 Welcome and Introductions/Lunch 12:15 - 1:15 Vijay Vazirani Georgia Tech "The Steiner Tree Problem and Its Generalizations" 1:15 - 1:45 Mehdi Hoseyni-Nasab Rutgers University "Parallel Simulation of Communications Networks by Time Segmentation" 1:45 - 2:15 Michael Krivelevich Rutgers University "The choice number of random bipartite graphs" 2:15 - 2:45 Break 2:45 - 3:15 Mark Smith AT&T Labs Formal Verification of Safety and Performance Properties of TCP Selective Acknowledgment 3:15 - 3:45 Steven Kleinstein Princeton University "An in machina study of germinal center dynamics during the immune response to oxazolone" 3:45 - 4:15 Francis Zane Bell Labs Improved Algorithms for Satisfiability 4:15 End *****************************************************************************