[TYPES/announce] Deadline extended: FLOPS 2014 call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** NEWS: Submission deadline extended. - Title, abstract, and draft paper by December 13, 2013 - Full paper by December

[TYPES/announce] ESSoS Doctoral Symposium (CFP)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS ESSoS Doctoral Symposium February 26, 2014, Munich The ESSoS Doctoral Symposium 2014 will be held in Munich, Germany on Wednesday, February 26, 2014 in conjunction with

[TYPES/announce] Final Call for Papers WRLA 2014

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 10th International Workshop on Rewriting Logic and its Applications WRLA 2014 Grenoble, France, April 5th and 6th, 2014 http://www.dsic.upv.es/workshops/wrla2014/ The workshop will be held

[TYPES/announce] CFP: Type Theory and Natural Language Semantics Workshop

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers - Submission Deadline 23 January 2014 TTNLS: EACL 2014 Type Theory and Natural Language Semantics Workshop Co-located with EACL 2014, Gothenburg, Sweden 27th of April,

[TYPES/announce] CFP - 1st ACM International Conference on Mobile Software Engineering and Systems - MobileSoft 2014

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 1st ACM International Conference on Mobile Software Engineering and Systems *** MobileSoft 2014 *** http://www.sigsoft.org/mobilesoft2014 June 2-3, 2014 Hyderabad, India Co-located with

[TYPES/announce] DICE 2014: Second Call for Contributions

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] DICE 2014 Fifth Workshop on Developments in Implicit Computational Complexity

[TYPES/announce] 2nd Call for Papers - F-IDE 2014 - ETAPS Workshop - April 6th, 2014, Grenoble, France

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please apologies for multiple copies.] Call for Papers - F-IDE 2014 - April 6th, 2014, Grenoble, France Call for Papers First International Workshop on Formal Integrated Development

[TYPES/announce] CFP: 7th Interaction and Concurrency Experience (ICE 2014) - June 6, 2014, Berlin, Germany

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ICE 2014 7th Interaction and Concurrency Experience June 6, 2014, Berlin, Germany