[TYPES/announce] TYPES 2019 and HoTT-UF, 11-14 June 2019, Oslo: Call for Participation, early registration deadline 25 May

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ANNOUNCEMENT AND CALL FOR PARTICIPATION 25th International Conference on Types for Proofs and Programs, TYPES 2019 and EUTYPES Cost Action CA15123 meeting Oslo, Norway, 11 - 14 June

[TYPES/announce] CfP: Erlang Workshop 2019 [Deadline extended]

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We have decided to extend the paper submission deadline for the 18th ACM SIGPLAN Erlang Workshop. New final dates are as follows, there will not be any further extensions Submissions due:

[TYPES/announce] SPLASH 2019 Combined Call for Workshop Submissions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SPLASH 2019 Combined Call for Workshop Submissions == Following its long-standing tradition, SPLASH will host a variety of workshops,

[TYPES/announce] FSCD 2019 - Early registration ends soon (May 13th)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies for multiple copies of this announcement. Please circulate.) == EARLY REGISTRATION ENDS MAY 13th Program available

[TYPES/announce] CFP - Theory and Practice of Differential Privacy (TPDP) 2019 - November 11 - London, UK - Colocated with CCS 2019

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Theory and Practice of Differential Privacy (TPDP) 2019 November 11 - London, UK - Colocated with CCS 2019 Call for Papers Differential privacy is a promising approach to

[TYPES/announce] Professor positions in Computer Science at the University of Twente

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [The department of Computer Science of the University of Twente is hiring. Note in particular the positions in Topic 2, Topic 5 and Topic 7 which might be of particular interest for

[TYPES/announce] CICM 2019: Joint Call for Workshop Papers (OpenMath, LML, GVMM, FVPS), Doctoral Programme Submissions & Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Joint Call for Workshops Papers (OpenMath, LML, GVMM, FVPS) Doctoral Programme Submissions