[TYPES/announce] CfP: Formal Techniques for Java-like Programs (FTfJP 2018) @ ECOOP/ISSTA 2018 in Amsterdam

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Please distribute to interested PL parties - apologies for any cross postings) Workshop website: https://conf.researchr.org/track/ecoop-issta-2018/FTfJP-2018-papers Formal techniques can

[TYPES/announce] 5th Workshop on Natural Language and Computer Science NLCS '18 July 7-8, 2018

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Fifth Workshop on Natural Language and Computer Science NLCS '18 July 7-8, 2018 Oxford, UK http://www.indiana.edu/~iulg/nlcs.html A workshop affiliated with Federated Logic Conference

[TYPES/announce] Twenty Years of Deep Inference workshop- second CfP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * Are you working on a deep inference related topic, but you missed the FLoC deadlines? It is not too late! Present your work at the special event

[TYPES/announce] Call for Papers: Mathematically Structured Programming 2018

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Seventh Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Sunday 8th July 2018, Oxford, UK A satellite workshop of FSCD 2018 http://msfp2018.bentnib.org/ ** New this time: