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

Paul Levy P.B.Levy at cs.bham.ac.uk
Thu Jul 5 07:24:35 EDT 2012

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

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:




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  

15:00 Steve Vickers (Birmingham).  Arithmetic universes as generalized  

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  

17:45 pub/dinner

Paul Blain Levy
School of Computer Science, University of Birmingham
+44 (0)121 414 4792

More information about the Types-announce mailing list