[TYPES/announce] 17th Wessex theory seminar - Call for Participation

Nikos Tzevelekos nikost at eecs.qmul.ac.uk
Wed Sep 12 14:41:27 EDT 2012

[Apologies for multiple postings.]

The 17th Wessex theory seminar will take place on Thursday 20 September 
at Queen Mary, University of London.

As usual there is some funding available from the London Mathematical
Society to support attendance. There is no registration fee, but it 
would be useful if you contacted us if planning to attend.

Confirmed speakers are:

- Nobuko Yoshida (Imperial), Multiparty Session Automata and their 
application in large distributed systems.
- Stefan Kiefer (Oxford), On the equivalence problem for probabilistic 
- Tony Tan (Edinburgh/Warsaw), An Automata Model for Trees with Ordered 
Data Values.
- Radu Grigore (Queen Mary), Register Automata and Java.
- Jules Villard (UCL), The Ramifications of Sharing in Data Structures.

Further information on location, schedule, speakers, etc. can be found 
at the website:


Best wishes,
Nikos Tzevelekos
Edmund Robinson

More information about the Types-announce mailing list