[TYPES/announce] PCAs 2010: a LICS-FLoC 2010 workshop

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

This is to announce:

Partial Combinatory Algebras in Realizability and Computability (PCAs 
2010)
                 Friday 9th July 2010, Edinburgh, UK

              A LICS 2010-affiliated workshop at FLoC 2010

http://www.mathstat.uottawa.ca/~phofstra/FLoC2010/workshop.html
<http://www.mathstat.uottawa.ca/%7Ephofstra/FLoC2010/workshop.html>

A workshop bringing together researchers working on all aspects of
partial combinatory algebras (PCAs) in realizability and computability.

Invited speakers:
  Andrej Bauer (Ljubljana)
  Inge Bethke (Amsterdam)
  John Longley (Edinburgh)
  Jaap van Oosten (Utrecht)
  Pino Rosolini (Genova)
  Thomas Streicher (Darmstadt)

CALL FOR CONTRIBUTED TALKS

There are (a limited number) of slots for contributed talks: if
you would like to contribute a talk to this workshop please
contact one of the organizers (Robin Cockett or Pieter