[TYPES/announce] Call for participation: ML 2015

[ 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 3 September 2015, Vancouver, Canada (co-located with ICFP) Call For Participation:

[TYPES/announce] Integrated Formal Methods iFM 2016, Reykjavik, Iceland: 3rd Call for Workshops

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** 12th International Conference on integrated Formal Methods, iFM 2016 http://ifm2016.ru.is June 1-5, 2016 -