[TYPES/announce] Postdoc and PhD Positions in Formal Verification, University of Stuttgart, Germany

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Institute of Information Security at University of Stuttgart offers fully-funded Postdoc and PhD positions in formal verification. Successful candidates are expected to carry out

[TYPES/announce] * CONFEST 2022 * -- Call for Workshop Proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * CONFEST 2022 * -- Call for Workshop Proposals September 12 - September 17 2022, Warsaw, Poland