Fwd: [Pl-seminar] Semantics Seminar Schedule

Mitchell Wand wand at ccs.neu.edu
Mon Aug 28 11:48:12 EDT 2006

That's Kalweit, not Kalwait (sorry, Rachel!)


---------- Forwarded message ----------
From: Mitchell Wand <wand at ccs.neu.edu>
Date: Aug 28, 2006 11:24 AM
Subject: [Pl-seminar] Semantics Seminar Schedule
To: pl-seminar at ccs.neu.edu

Friday, September 8
NU PRL Seminar Day
Raytheon Ampitheatre


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


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


    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

Abstracts, etc., at

pl-seminar mailing list
pl-seminar at lists.ccs.neu.edu

More information about the pl-seminar mailing list