[TYPES/announce] PhD student positions in the Functional Programming group at Chalmers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** Apologies for multiple copies ** Two PhD student positions in Functional Programming for guaranteed security in the Internet of Things The Octopi Project is led by Alejandro Russo,

[TYPES/announce] ARITH-26, first CFP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please note that research on formal proofs related to computer arithmetic is very welcome! == CALL FOR PAPERS

[TYPES/announce] CADE-27: Call for Papers, Workshops, Tutorials and System Competitions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The 27th International Conference on Automated Deduction (CADE-27) Natal, Brazil 25-30 August 2019 http://www.cade-27.info CALL FOR PAPERS CADE is the major international forum for