[TYPES/announce] *EXTENDED DEADLINE* Language Workbench Challenge 2016

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] # Language Workbench Challenge 2016 @ SLE: Call for Solutions Collocated with SPLASH'16 in Amsterdam, The Netherlands Deadline:

[TYPES/announce] Call for Participation: WFLP 2016 and co-located events

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 24th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2016) https://wflp2016.github.io/ September 13-14, part of the Leipzig Week of Declarative Programming

[TYPES/announce] Two PhD positions in verification at UCL

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello all, I am seeking to recruit two bright, enthusiastic doctoral students for two related projects on verification of blockchain-based smart contracts. The projects will build on ideas

[TYPES/announce] Call for participation: ML 2016

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop Thursday September 22, 2016, Nara, Japan (co-located with ICFP) Call For Participation: