[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
--
VMCAI 2019
[ 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
[ 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