[TYPES/announce] Information Security Workshop

[Michael Mislove]

Dear Colleagues,
   The workshop described below may be of interest to members of the Types community. All interested parties are encouraged to attend.
   best regards,
   Mike Mislove

INFORMATION SECURITY AS A RESOURCE
Thursday 13 – Saturday 15 October, 2011
Oxford University Department of Computer Science

website: http://www.cs.ox.ac.uk/ISR11/
contact: ed.blakey at queens.oxon.org

Speakers include:
Ed Blakey (Oxford)
Min Chen (Oxford)
Bob Coecke (Oxford)
Simon Gay (Glasgow)
Michael Huth (Imperial)
Bart Jacobs (Radboud)
Pasquale Malacaria (Queen Mary)
Mike Mislove (Tulane)
Dusko Pavlovic (Royal Holloway)
Peter Ryan (Luxembourg)
Geoff Smith (Florida International)
Bogdan Warinschi (Bristol)
Karoline Wiesner (Bristol)
Glynn Winskel (Cambridge)

The workshop aims to bring together researchers with relevant interests, 
including but by no means limited to:
- cryptographic primitives;
- non-standard resources, especially as arising in cryptography/informatics; 
- category- and domain-theoretic techniques suitable for abstracting the relevant 
properties of security from the incidental details of protocols’ implementation.

Organisers:
Ed Blakey (Oxford)
Bob Coecke (Oxford)
Mike Mislove (Tulane)
Dusko Pavlovic (Royal Holloway)

This workshop is funded by the EPSRC grant Complexity and Decidability
in Unconventional Computational Models (EP/G003017/1).
http://gow.epsrc.ac.uk/ViewGrant.aspx?GrantRef=EP/G003017/1