[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call For Participation 21st IEEE Computer Security Foundations Symposium (CSF) Pittsburgh, PA, USA, June 23-25, 2008 The registration is now open. Early registration ends on June 1. Online late registration is open June 2-10. The specialty of this year is co-location with IEEE LICS 2008. There are a few joint CSF/LICS activities to look forward to, including a joint invited talk by David Basin, joint regular- and short-talk sessions and 8 workshops related to security foundations and logic. Further information (including a detailed program) is on the CSF 2008 web site: http://www.cylab.cmu.edu/CSF2008/ Hope to see you in Pittsburgh! Anupam Datta (General Chair) and Andrei Sabelfeld (Program Chair)