[TYPES/announce] Open position: Professorship of COMPUTER AIDED VERIFICATION at TU Wien (successor of Helmut Veith)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The TU Wien (Vienna University of Technology) invites applications for a full professorship according to § 98 University Act 2002 at the Faculty of Informatics. The position is affiliated

[TYPES/announce] Theory and Practice of Differential Privacy (TPDP): Deadline Extension

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS (Extended Deadline) TPDP 2017 Third Workshop on the Theory and Practice of Differential Privacy October 30th 2017, Dallas, TX, USA Affiliated with CCS 2017 Website: