[TYPES/announce] PhD Studentships: Logics, Types, & Rewriting for Software & Mathematics @ Heriot-Watt, Scotland, UK

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Ph.D. Student Positions ULTRA group (Useful Logics, Types, Rewriting, and their Automation) Computer Science Department

[TYPES/announce] Program for LCC'07 (early registration deadline May 31)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The following is a program for LCC'07 (the 2007 Workshop on Logic and Computational Complexity) which will be a satellite workshop of the Logic in Computer Science Conference (LICS 2007).

[TYPES/announce] SecCo'07: final call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Apologies for multiple copies! === 5th International Workshop on Security Issues in Concurrency

[TYPES/announce] Final CFP: The 2007 ACM SIGPLAN Workshop on ML

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Below is the Final Call for Papers for the 2007 Workshop on ML. It's only a few weeks until the submission deadline (June 15), so whether you are a designer, developer or user of ML, please