[PL-sem-jr] April 4 CANCELLED

Ming-Ho Yee yee.mi at husky.neu.edu
Wed Apr 4 11:03:30 EDT 2018


Today's PL Jr is cancelled due to paper deadlines and course projects.
Apologies for the short notice.

On Tue, Apr 3, 2018 at 8:02 PM, Ming-Ho Yee <yee.mi at husky.neu.edu> wrote:

> Reminder: we're meeting tomorrow at *1:30pm* in *WVF 116*.
>
> On Wed, Mar 28, 2018 at 2:40 PM, Ming-Ho Yee <yee.mi at husky.neu.edu> wrote:
>
>> Next Wednesday at PL Junior:
>>
>> Hyeyoung Shin will present proofs for strong normalization and type
>> soundness, using logical relations.
>>
>>
>> When: Wednesdays at 1:30pm
>> Where: WVF 116
>>
>
>
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the Pl-sem-jr mailing list