[TYPES/announce] PhD (postdoc) position in software verification and synthesis @ MPI-SWS

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** PhD (postdoc) position in software verification and synthesis @ MPI-SWS ** I am looking to fill an open PhD (postdoc) position in the area of software verification and synthesis at the

[TYPES/announce] The 8th Coq Workshop - 2nd CFP - deadline for submission: june 1st 2016

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Eighth Coq Workshop (2016)

[TYPES/announce] SPLASH-I 2016: Call for Talk Proposals!

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SPLASH-I: Innovation, Interaction, Insight, Industry, Invited The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all

[TYPES/announce] SPLASH 2016: Call for Sponsorships

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the