[ 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 Hofstra) with a title and a short abstract and we will try to accommodate you. It is intended to have a special issue of MSCS dedicated to the general theme of the workshop which will be open to contributions from the participants of the workshops and others with interest in this area.