[TYPES/announce] VMCAI 2019 Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- VMCAI 2019

[TYPES/announce] DICE Special Issue in TCS -- 2nd Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == Call for Papers THEORETICAL COMPUTER SCIENCE Special Issue on Implicit Computational Complexity (open

[TYPES/announce] ERC "RustBelt" project: Postdoc and PhD student positions available at MPI-SWS

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] I am pleased to announce the availability of multiple postdoc and PhD student positions in my research group at the Max Planck Institute for Software Systems (MPI-SWS), funded by a 2015 ERC