|
The summer school on the "Foundations of Security"
is a two week course for computer scientists and mathematicians
interested in formal methods applied to software security. The program runs from
Monday, June 16 to Thursday, June 26, 2003. The curriculum includes basic
foundational material and advanced material for those interested in new
research directions.
|
|