[ 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.
