Dear all, The 15th Wessex theory seminar will take place on Thursday 19 July at the University of Birmingham. The Wessex Theory Seminars are a series of workshops focused on theoretical computer science, and in particular mathematical foundations of programming languages. It is designed to be a joint seminar of Mathematics and Computer Science departments, and industrial collaborators. As you can see from the preliminary programme, the talks include proof theory, category theory, semantics, automata, security, complexity and logic. Truly something for everybody if not quite a few things. If you plan to attend please reply to this message so I can put you on the attendance list. As usual there is funding available to reimburse travel expenses etc. Further information, including abstracts, can be found at the website: https://wiki.bath.ac.uk/display/wessex/15th+Wessex+Theory+Seminar regards, Paul --- PRELIMINARY PROGRAMME 11:15 coffee 11:45 Umberto Rivieccio (Birmingham). Logics for partial and inconsistent information 12:30 Anupam Das (Bath). Finer notions of analyticity for proofs 13:15 lunch 14:15 Julian Rathke (Southampton). Local memory via layout randomisation 15:00 Steve Vickers (Birmingham). Arithmetic universes as generalized spaces 15:45 coffee 16:15 Dusko Pavlovic (Royal Holloway). Monoidal computer: towards cryptography in pictures 17:00 Andrzej Murawski(Leicester). Algorithmic games for full ground references 17:45 pub/dinner -- Paul Blain Levy School of Computer Science, University of Birmingham +44 (0)121 414 4792 http://www.cs.bham.ac.uk/~pbl [For admin and other information see: http://www.mta.ca/~cat-dist/ ]