[TYPES/announce] 12th Wessex Theory Seminar - Thu 15 September

[Paulo Oliva]

Dear All, some of you might want to participate in this meeting which is
taking place at Queen Mary (University of London) next week. If so, please
send me an email so I can add you to the list of participants.
Yours, Paulo.

Begin forwarded message:

> From: Paulo Oliva <paulo.oliva at eecs.qmul.ac.uk>
> Date: 8 September 2011 1:56:56pm GMT+01:00
> To: wessex-theory at cs.bath.ac.uk
> Subject: 12th Wessex Theory Seminar - Thu 15 September
> 
> Dear All,
> 
> The programme for the Wessex Theory Seminar at QM next week has been finalised:
> 12:00 Lunch (at Mucci's)
> 13:00 Coffee (Computer Science 3rd floor, The Hub)
> 13:30 Timothy Griffin (Cambridge): Building Algebraic Structures with Combinators.
> 14:15 Martin Escardo (Birmingham): A Proof of Omniscience in Agda
> 15:00 Coffee Break
> 15:30 Florent Balestieri (Nottingham): Partial Polymorphic Stream Functions
> 16:15 Peter O'Hearn (QMUL): Locality, Exchange and Processes
> 17:00 Closing
> 
> Please see the webpage of the seminar for further details:
> 
> https://wiki.bath.ac.uk/display/wessex/12th+Wessex+Theory+Seminar
> 
> If you have problems during the day finding your way around the Queen Mary
> campus, or getting to the seminar room or The Hub, please don't hesitate to
> contact me on my mobile 07772472213.
> 
> Best wishes,
> --
> Paulo Oliva
> Royal Society University Research Fellow
> Queen Mary University of London
> London E1 4NS
> +44 (0) 207 882 5255
> http://www.dcs.qmul.ac.uk/~pbo


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20110908/06402319/attachment-0001.html>