[TYPES/announce] Associate Professor or Professor of Computer Science / University of Oxford

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello, The following job is open to a broad range of areas of computer science. As you know, Oxford has a strong tradition of programming language research. Sam. JOB: Associate Professor

[TYPES/announce] CfP: ICMS'18 Session on Software for Mathematical Reasoning and Applications

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR ABSTRACTS Software for Mathematical Reasoning and Applications http://www.risc.jku.at

[TYPES/announce] PARIS workshop @ FLoC 2018 : Programming And Reasoning on Infinite Structures (First CfP)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Programming And Reasoning on Infinite Structures A workshop affiliated with FSCD@FLOC 2018 July 7&8, 2018 Oxford, UK Developing formal methods to program and reason about infinite data, wh

[TYPES/announce] Mathematically Structured Functional Programming 2018: Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Seventh Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Sunday 8th July 2018, Oxford, UK A satellite workshop of FSCD 2018 http://msfp2018.bentnib.org/ ** New this time: addi

[TYPES/announce] Two postdoc positions at Imperial: “Security Analysis for Graphics Drivers”, and “Programming Language and System Support for High-Performance Data Processing”

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] I'd be really grateful if you could pass this on to folks who might be interested, and apologies for multiple copies! I'm pleased to announce two 2.5 year postdoc openings in my research