CS Professor Fred B. Schneider is is an invited speaker at the 18th International Conference on Concurrency Theory, Lisbon, September 3-8, 2007. The title of Fred's talk is "Mapping the Security Landscape: A Role for Language Techniques".

http://concur07.di.fc.ul.pt/?invitedspeakers