[TYPES/announce] Lecturer (Assistant Professor) position available at Bath, UK

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The University of Bath is hiring a lecturer (assistant professor) in Computer Science. The post is available to all research areas in the department (including HCI, Graphics & Vision, AI)

[TYPES/announce] Second call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello, Please, find below the second call for draft papers for IFL 2020. Please forward these to anyone you think may be interested. Apologies for any duplicates you may receive. best regar

[TYPES/announce] Call for Participation: ICFP 2020

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = Call for Participation ICFP 2020 25th ACM SIGPLAN International

[TYPES/announce] Formal Methods 2021 -- 1st Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** FM 2021: 24th International Symposium on Formal Methods Beijng, China, November 20-26, 2021 http://formalmethods2021.csp.esc

[TYPES/announce] Awardees of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science - 2020

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Vienna Center for Logic and Algorithms of TU Wien (VCLA) has the pleasure to announce the recipients of the VCLA International Student Awards for Outstanding Master and Undergraduate

[TYPES/announce] SETTA-2020 CFP [Deadline extended]: Symposium on Dependable Software Engineering Theories, Tools and Applications - Guangzhou China, November 24-27, 2020

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We apology for possible cross posting, and appreciate your support and distribution. SETTA 2020: Symposium on Dependable Software Engineering Theor