[TYPES/announce] ETAPS 2017 call for satellite events

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 20th European Joint Conferences on Theory and Practice of Software ETAPS 2017 Uppsala, Sweden, 23-29 April 2017

[TYPES/announce] NFM 2016 - third call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] NFM 2016 - Call For Papers The 8th NASA Formal Methods Symposium http://crisys.cs.umn.edu/nfm2016 June 07 - June 09 2016 McNamara Alumni Center University of Minnesota 200 Oak Street

[TYPES/announce] Extended deadline: GaLoP 2016

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, We're a bit short of submissions for GaLoP so we're extending the deadline to 3 February. This is an area with lots of connections to different fields, so if you're doing