From jhr at cs.uchicago.edu  Fri Sep 29 14:17:15 2006
From: jhr at cs.uchicago.edu (John Reppy)
Date: Fri Sep 29 08:22:19 2006
Subject: [Hyper] Ry255
Message-ID: <2713CC7D-9115-4D77-A564-563614BA4B8A@cs.uchicago.edu>

We have Ry255 reserved on wednesdays from 12-1pm.

	- John

From amal at tti-c.org  Fri Sep 29 17:05:55 2006
From: amal at tti-c.org (Amal Ahmed)
Date: Fri Sep 29 11:11:06 2006
Subject: [Hyper] schedule 
Message-ID: <1159567555.12345@whale.he.net>


Hi All, 

For the first 4 weeks of reading group, Matthew and I thought we'd 
talk about substructural type systems.  Here's the schedule we have 
in mind:

10/4:  Tutorial on Substructural Types
       Read: David Walker's chapter on "Substructural Type Systems"
             in Pierce's ATTAPL book

10/11: Substructural State
       Read: "A Step-Indexed Model of Substructural State"
             Ahmed, Fluet, Morrisett, in ICFP'05
             http://www.eecs.harvard.edu/~amal/papers/substruct.pdf

10/18: TBA  

10/25: Sing# 
       Read: "Language Support for Fast and Reliable Message-based 
              Communication in Singularity OS"
             F?hndrich et al. in EuroSys 2006
              
http://www.cs.kuleuven.ac.be/conference/EuroSys2006/papers/p177-
fahndrich.pdf


-Amal