[TYPES/announce] Multiple PhD and Postdoc positions in Information Security and Program Verification at ETH Zurich

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Institute of Information Security (the groups of Prof. Adrian Perrig and Prof. David Basin) and the Programming Methodology Group (Prof. Peter Müller) at ETH Zurich have multiple open

[TYPES/announce] Call for Participation - Iris Workshop 2019 - Aarhus Univ - October 28-29, 2019

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Participation - Iris Workshop 2019 Aarhus University - October 28-29, 2019 Dear All, On October 28-29, we are hosting the Iris Workshop 2019 at the Department of Computer