[TYPES/announce] CfP: LACompLing2017 - Logic and Algorithms in Computational Linguistics 2017

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017) Stockholm, August

[TYPES/announce] CfP: AI aspects of Reasoning, Information, and Memory 2017 (AIRIM'17)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS 2nd International Workshop on AI aspects of Reasoning, Information, and Memory 2017 (AIRIM'17) https://www.fedcsis.org/2017/airim Prague, Czech Republic, 3-6 September,

[TYPES/announce] *Extended submission deadline* - 10th Conference on Intelligent Computer Mathematics - CICM 2017

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * Extended Submission Deadlines * Call for Papers

[TYPES/announce] 2nd Call for Papers: Formal Techniques for Java-like Programs

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Website: http://2017.ecoop.org/track/FTfJP-2017-papers FTfJP (Formal Techniques for Java-like Programs) is an established workshop, running annually since 1999. It is associated with ECOOP,

[TYPES/announce] Funded PhD Studentship - Formal Verification of Sensor Networks at the University of Liverpool

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Dear colleague, apologies for cross-posting] --- Funded PhD Studentship - Formal Verification of Sensor Networks

[TYPES/announce] [iFM'17] Final CFP for the International Conference on integrated Formal Methods 2017

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FINAL CALL FOR PAPERS 13th International Conference on integrated Formal Methods (iFM 2017) = Website: