Abstracts and slides from Symposium on Constructivity and Computability

[Erik Palmgren]

The Symposium on Constructivity and Computability in Algebra, Analysis,
Logic and Topology took place last week in Uppsala. Abstracts and some
material related to the talks may be found at the web page of the
symposium.

http://www.math.uu.se/~palmgren/symposium_constructivity_computability/

More slides or notes will be probably added soon.

Regards

Erik Palmgren

_____________________________________________________________________

Erik Palmgren Telefon: 018-471 32 85
Matematiska institutionen Phone: +46 (0)18 471 32 85
Uppsala universitet Telefax (inst.): +46 (0)18 471 32 01
P.O. Box 480 E-post: palm...@math.uu.se
SE-751 06 Uppsala WWW: http://www.math.uu.se/~palmgren
SWEDEN Kontor 1:4142,

[Steve Awodey]

Dear Erik,

This looks like it was a good meeting -- sorry I couldn't make it.
I would be especially interested to know what Per Martin-L"of said --
was it something about homotopy type theory?
something new?

regards,

Steve

[Steve Awodey]

sorry people -- that was of course supposed to be a private note.

SA