Hi everyone, This is to let you know that there is no workshop this Friday. Next Firday Konstantin and Jiacun will give a presentation on the aspect-oriented formal modeling and analysis of RAD authentication system. Thanks. Jiacun To unsubscribe send a note to majordomo@cs.fiu.edu with the body of the message being: unsubscribe cadse-orb