[TYPES/announce] VSTTE 2014 CFP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS VSTTE 2014 ** 6th Working Conference on Verified Software: Theories, Tools, and Experiments July 17 -

[TYPES/announce] First International Summer School on Behavioural Types

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- FIRST INTERNATIONAL SUMMER SCHOOL ON BEHAVIOURAL TYPES LOVRAN, CROATIA

[TYPES/announce] Heidelberg Forum

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello, have a look at this please: http://www.heidelberg-laureate-forum.org/call-for-application/ Last year it was interesting since it brought together mathematicians and computer

[TYPES/announce] Call for Papers: IEEE Software Special Issue on Software Engineering for Internet Computing: Internetware and Beyond

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers: IEEE Software Special Issue Software Engineering for Internet Computing: Internetware and Beyond Submission Deadline: **1 June 2014** Publication: January/February 2015