[TYPES/announce] Assistant Professor (tenure track) and Postdoc Positions at Charles University, Prague, Czech Republic

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = Open Positions (assistant professor, postdoc) at the Department of Distributed and Dependable Sy

[TYPES/announce] Workshop HDRA 2018: Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = CALL FOR PAPERS Higher-Dimensional Rewriting and Applications (HDRA 2018) =

[TYPES/announce] 1st Workshop on Automated Deduction for Separation Logics (ADSL): Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies for multiple copies) First Workshop on Automated Deduction for Separation Logics, Oxford, UK, July 13th 2018 http://adsl.univ-grenoble-alpes.fr/ The goal of this workshop is to

[TYPES/announce] PhD Position in Formal Methods for Security

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, There is an open position in Formal Methods for Security in our group at the Technical University of Denmark. Detailed information can be obtained here http://www.dtu.dk/e