[PL-sem-jr] Talk tomorrow, Mon 3/22, 10:00

Vincent St-Amour stamourv at ccs.neu.edu
Sun Mar 21 11:00:51 EDT 2010

Previous message: [PL-sem-jr] Talk tomorrow, Wed 3/17, 12:15
Next message: [PL-sem-jr] Talk tomorrow, Mon 3/22, 10:00
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Mon 3/22 Room WVH166 10:00-12:00

Jon - Guardol: A language for the specification of high assurance guards.

Previous message: [PL-sem-jr] Talk tomorrow, Wed 3/17, 12:15
Next message: [PL-sem-jr] Talk tomorrow, Mon 3/22, 10:00
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Pl-sem-jr mailing list