[TYPES/announce] 15th Wessex theory seminar on 19 July in Birmingham

[Paul Levy]

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