[TYPES/announce] Fully Funded International Elite PhD Student Positions in SE/PL at PKU (Application Deadline: March 31)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Fully Funded International Elite PhD Student Positions in Software Engineering/Programming Languages at Peking University *** Application Deadline: March 31,

[TYPES/announce] GraMSec 2020 CFP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi, everyone. Below you will find the CFP for Graphical Models in Security of which I am one of the cochairs this year. I would like to bring your attention to this years expanded scope.

[TYPES/announce] CfP Joint Linearity & TLLA Workshop

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We're monitoring the Coronavirus situation and will keep you posted. FIRST Call for Papers Sixth International Workshop on Linearity

[TYPES/announce] LCC'20 First Call for Contributions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies for cross posting.) === First Call for Contributions LCC 2020 21th International