Michael Huth Reader in Computer Science, MSc Admissions Tutor Security Research Group, Department of Computing, Imperial College London Contact Details Research Teaching Editorial Work Biography Full CV Talks "LICS" Book

We are always interested in qualified applications for our taught postgraduate degrees and our MPhil/PhD research degree.

Please send a paper to

• Tenth Annual Conference on Privacy, Security and Trust, held 16-18 July 2012 at Institut TELECOM, Paris, France.
• AREIS: Automated Reasoning for Enterprise Information Systems, a IJCAR 2012 Workshop held on 1 July 2012 in Manchester, UK.
• 8th International Workshop on Security and Trust Management, held 13-14 September 2012 in Pisa, Italy.

Please attend

• TACAS 2012, the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, held at the end of May in Tallinn, Estonia.
• TOOLS Europe 2012, the 50th International Conference on Objects, Models, Components, Patterns. 29-31 May 2012, Prague, Czech Republic.
• 17th ACM Symposium on Access Control Models and Technologies, held 20-22 June 2012 in Newark, USA.