[TYPES/announce] Encyclopedia of Proof Systems: Second Call for Encyclopedia Entries

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == EPS == Encyclopedia of Proof Systems \--- call for contributions --- September 24-25, 2017, Brasilia, Brazil Affiliated to: TABLEAUX, FroCoS and ITP 2017

[TYPES/announce] ICFP 2017 Student Research Competition: Call for Submissions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR SUBMISSIONS SRC at ICFP 2017

[TYPES/announce] EXPRESS/SOS -- Deadline Extension June 27

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics

[TYPES/announce] PLAS 2017 Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies for multiple copies) — PLAS 2017 Call for Papers ACM SIGSAC 12th Workshop on Programming Languages and Analysis for Security (PLAS 2017)

[TYPES/announce] SPLASH 2017: 1st Combined Call for Workshop Contributions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] /***/ ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'17)