[TYPES/announce] Open Ph.D. position in Privacy and Access Control at ETH Zurich

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for potential cross and multiple postings] Ph.D. Research Project at ETH Zurich on Privacy, Data Protection, and Access Control Prof. David Basin, ETH Zurich We have open Ph.D.

[TYPES/announce] Logic Mentoring Workshop (LMW'18): Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] I am forwarding this Call for Participation on behalf of Jan Hoffmann and Brigitte Pientka. (Unlike other FLoC workshop, this one was not previously announced.) Mentoring Workshops are