Place: WVH 164 Time: 1pm Vasileios Koutavas, "Bisimulations for Untyped Imperative Objects" http://www.ccs.neu.edu/home/vkoutav/publications/objbisim.pdf Greg Cooper, "Embedding Dynamic Dataflow in a Call-by-Value Language" http://www.cs.brown.edu/people/sk/Publications/Papers/Published/ck-frtime/ --Vassilis