[isabelle] ACM-SAC Track on Computer Security



Deadline 3rd Sept!

CALL FOR PAPERS
SAC 2006
The 21st ACM Symposium on Applied Computing
23-27 April 2006, Dijon, France
Track on Computer Security (5th edition)

http://www.dmi.unict.it/~giamp/sac/06cfp.html

Giampaulo Bella and Peter Y A Ryan






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.