[TYPES/announce] Trends in Functional Programming 2013: 3rd Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS 14th International Symposium Trends in Functional Programming 2013 Brigham Young University,

[TYPES/announce] Workshop on Natural Language and Computer Science (NLCS '13)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Workshop on Natural Language and Computer Science (NLCS '13) http://www.indiana.edu/~iulg/nlcs.html A workshop to be held at LiCS'13: June 28, 2013 New Orleans, Louisiana Endorsed by the

[TYPES/announce] CONCUR 2013 - Last Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We apologise for multiple copies.] CONCUR 2013 - Last Call for Papers 24th

[TYPES/announce] Research positions at Birmingham and Imperial

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Posted on behalf of Dan Ghica.] Postdoctoral Research Positions at University of Birmingham and Imperial College We will soon advertise two