[TYPES/announce] CMSB 2017: extended deadlines + list of tutorials

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Extended deadlines: New deadline for abstract submission: 21 avril 2017 New deadline for paper submission 28 avril 2017 New deadline for presentation submission: 28 avril 2017

[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