Fwd: [Pl-seminar] Semantics Seminar Schedule

[Mitchell Wand]

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

--Mitch

---------- 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


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




_______________________________________________
pl-seminar mailing list
pl-seminar at lists.ccs.neu.edu
https://lists.ccs.neu.edu/bin/listinfo/pl-seminar