DIMACS Mixer Series - Friday, October 2, 1998

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!


    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