[TYPES/announce] [TFP'19 and TFPIE'19] call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -     C A L L  F O R  P A R T I C I P A T I O N     -     ==

[TYPES/announce] ENTROPY 2019: Call for Participation - Co-located with EuroS'19

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** Call for participation — ENTROPY 2019 ENabling TRust through Os Proofs … and beYond 16

[TYPES/announce] Post-doc position UCL/LSE: Interface Reasoning for Interacting Systems

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please share widely. Apologies for cross-postings.] Post-doc position UCL/LSE: Interface Reasoning for Interacting Systems Research Fellow in Programming Principles, Logic, and

[TYPES/announce] 2nd call for submissions: CLA'19 meeting and DMTCS special issue

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Computational Logic and Applications (CLA) workshops are a series of annual meetings (cf. https://cla.tcs.uj.edu.pl), whose main purpose is to provide a free and open forum for research

[TYPES/announce] Formal Methods 2019 - Doctoral Symposium (2nd Call for Papers)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2nd Call for Papers Formal Methods 2019 - Doctoral Symposium Porto, Portugal, October 7th, 2019 http://formalmethods2019.inesctec.pt/?page_id=361 In conjunction with the 23rd

[TYPES/announce] Second Call for Tutorial Proposals: ICFP 2019

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *EXTENDED DEADLINE* - CALL FOR TUTORIAL PROPOSALS ICFP 2019 24th ACM SIGPLAN International Conference on Functional Programming