[TYPES/announce] CMSB 2017 - 1st Call for Presentations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies for multiple copies) CALL FOR SUBMISSIONS (Papers, tools, posters, tutorials, presentations) CMSB 2017 15th International Conference on Computational Methods in Systems

[TYPES/announce] PLACES 2017 – Deadline Extension

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please forward to anyone interested. Apologies for multiple mailing.] PLACES 2017 – Deadline Extension http://places17.by.di.fc.ul.pt/ 10th Workshop on Programming Language Approaches to

[TYPES/announce] Postdoc position at the University of Lisbon

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** Post-doc opening on Communication Contracts for Distributed Systems Development *** We welcome applications for a fulltime postdoctoral research position at the University of