[TYPES/announce] [DEADLINE EXTENSION] Workshop on Compositional Approaches in Physics, NLP, and Social Sciences

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [with apologies for cross-posting] Workshop on Compositional Approaches in Physics, NLP, and Social Sciences September 2 2018 Nice, France https://sites.google.com/view/capns2018/home

[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. r

[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 apprec