[Alta-Logic] Peripatetic Seminar

[Jonathan]

Two talks.

When: Friday October 16 starting at 3 pm
Where: MS 427

Talk 1: Chad Nester
Title: Realizability part 1
Abstract: In this talk, we introduce partial combinatory algebras and 
look at some of their properties.  We will also look at Kleene's notion 
of realizability.

Talk 2: Prashant Kumar
Title: An Assembly Language for Concurrency
Abstract: We will introduce AMPL -- the abstract machine for the 
concurrent programming language MPL.