[TYPES/announce] Integrated Formal Methods 2007: Call for participation

2007-05-09 Thread Jeremy . Gibbons
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] IFM2007: INTEGRATED FORMAL METHODS CALL FOR PARTICIPATION 2nd to 5th July 2007 St Anne's College, Oxf

[TYPES/announce] Call for Participation: PLAS 2007

2007-05-09 Thread mwh
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ACM SIGPLAN Workshop on Programming Languages and Analysis for Security San Diego, California, June 14, 2007 Sponsored by

[TYPES/announce] CFP: PLOS '07: 4th Workshop on Programming Languages and Operating Systems

2007-05-09 Thread Eric Eide
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] If you apply type-based or other advanced language ideas in the implementation of operating systems, we hope you will consider submitting a paper to PLOS '07. See the CFP below, or visit th

[TYPES/announce] Special Issue of Formal Aspects of Computing: Formal Modeling and Verification of Critical Systems

2007-05-09 Thread Stephan Merz
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call For Papers Journal on Formal Aspects of Computing Special Issue on Formal Modeling and Verification of Critical Systems This special issue is devoted to the scope of two internati