Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 18-22 August 2008
Location: 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

Please note that this newsitem has been archived, and may contain outdated information or links.