[Pl-seminar] Fwd: NU PRL Seminar: Deadline for free lunch

[Mitchell Wand]

Sorry, that was Wed 9/6.  --Mitch

---------- Forwarded message ----------
From: Mitchell Wand <wand at ccs.neu.edu>
Date: Sep 5, 2006 10:33 AM
Subject: NU PRL Seminar: Deadline for free lunch
To: pl-seminar at lists.ccs.neu.edu


**REMINDER**
**YOU MUST REGISTER BY WED, 9/5 IF YOU WANT A FREE LUNCH!!**

--Mitch

Friday, September 8
NU PRL Seminar Day
Raytheon Ampitheatre

Program:

08:45   Andrew D. Gordon (Microsoft Research, Cambridge)
        Provable Implementations of Security Protocols

10:00   Hans Boehm (HP Labs)
        Towards a Memory Model for C++

11:15   Dan Grossman (University of Washington, Seattle)
        The Why, What, and How of Software Transactions for More
        Reliable Concurrency

12:15 LUNCH

The College of Computer Science will provide lunch for registered participants.

01:30   Carolyn Talcott (SRI International)
        Pathway Logic: Application of Formal Modeling Techniques to
        Understanding Biological Signaling Processes

03:00   Scott Smith (Johns Hopkins University)
        A Microkernel Virtual Machine: Building Security with Clear Interfaces

Registration:

    Please register via email with Rachel Kalwait
    (rachelb at ccs.neu.edu) by September 6.

Location:

    The seminar will take place in the Raytheon Theater of Egan Hall,
    located next to Ruggles Station on the ORANGE and Commuter Lines
    and about a long block from the Northeastern University stop on
    the GREEN E Line. Look for building 60 on the campus map
    (http://www.campusmap.neu.edu/).


Abstracts, etc., at
http://www.ccs.neu.edu/home/matthias/Tmp/seminar.html