This Friday at 3:00 PM in room ECS 281 Dr. Jiacun Wang and Konstantin Beznosov will give a presentation on the aspect-oriented formal modeling and analysis of Resource Access Decision system. See you all there. Konstantin Beznosov To unsubscribe send a note to majordomo@cs.fiu.edu with the body of the message being: unsubscribe cadse-orb