SIP: Logic Hackers Seminar

Secure Internet Programming - menu


	Home
	Projects
	People
	Publications
	Support
	Seminar
	History
	FAQ

Princeton University Department of Computer Science sip@cs.princeton.edu

Logic Hackers Seminar

Members of the Secure Internet Programming laboratory describe work in progress or recent results.

Fall 1999 Schedule (Tuesdays 1:30-3:00 in room 302)

Date	Speaker	Topic
October 26	Andrew Appel	Types as partial equivalence relations
November 9	Marcus Fontoura:	A Systematic Approach to Framework Development
November 30	Neophytos Michael	Constructing and Proving Global Invariants for Machine-Language Programs
December 7	Amal Ahmed	Mutable Fields in a Semantic Model of Types
December 14	Kedar Swadi	Free variables and substitution.
January 11, 2000	Andrew Appel	Types as PERs, continued
January 12	10:00 a.m. Amal Ahmed	Research Seminar: Representing Type Systems for Proof-Carrying Code