[TYPES/announce] DeepSpec summer school is online!

Benjamin C. Pierce bcpierce at cis.upenn.edu
Mon Jul 31 12:06:14 EDT 2017

Previous message (by thread): [TYPES/announce] Postdoctoral position on effects and/or type theory at Inria in Nantes
Next message (by thread): [TYPES/announce] DSLDI 2017: Second Call for Talk Proposals
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

The DeepSpec Summer School on Verified Systems was held in Philadelphia during the last two weeks of July.  If you weren’t able to join in person, you may like to know that all the lectures, lecture materials, and exercises are online:

    https://deepspec.org/event/dsss17/

Enjoy!

   - Benjamin

Previous message (by thread): [TYPES/announce] Postdoctoral position on effects and/or type theory at Inria in Nantes
Next message (by thread): [TYPES/announce] DSLDI 2017: Second Call for Talk Proposals
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-announce mailing list