18-22 August 2008, Effective Mathematics of the Uncountable (EMU 2008), New York, U.S.A.

Although classical computable model theory is most naturally concerned with countable domains, several methods---some old, some new---extend its basic concepts to uncountable structures. The purpose of this workshop is to study these various extensions of effectivity to the uncountable, bringing together experts in such topics as sigma-definable structures, alpha-recursion theory, ordinal computability, Blum-Shub-Smale machines, infinite time Turing machines and locally computable structures, among others. The workshop will both provide tutorial-type introductions to each approach and aim ultimately at the exploration of their connections.

For more information, see http://nylogic.org/EMU