Logic List Mailing Archive

Workshop and Special Session on Constructive Mathematics

28 Oct - 1 Nov 2009
Boca Raton FL, U.S.A.

Workshop and AMS Special Session on Constructive Mathmematics

Florida Atlantic University
Boca Raton, FL
Oct 28 - Nov 1 2009

http://math.fau.edu/Richman/Worshop/

The workshop sessions will meet W Oct 28 & R Oct 29. Its goal will be
actual progress in the field. The sessions and their leaders will be
algebra (Fred Richman), analysis (Doug Bridges), topology (Bas
Spitters), and set theory (Michael Rathjen). It will conclude the
morning of F Oct 30 with a talk by Vladimir Lifschitz on constructive
mathematics and computer science aimed at a general mathematics
audience.

The special session will be part of the AMS sectional meeting at FAU,
F Oct 30 - Sun Nov 1, web site
http://www.ams.org/amsmtgs/2161_program.html. Abstracts of talks to
be considered for inclusion at this special session can be submitted
over this AMS website, with a strict deadline of July 14. PLEASE NOTE
THAT THIS DEADLINE IS EARLIER THAN THE ONE FOR NON-SPECIAL SESSION
CONTRIBUTIONS!!! By the AMS standard, talks at such sessions are
typically twenty minutes long.

The organizing committee is Robert Lubarsky, Fred Richman, and Marty
Solomon. For further information contact Robert.Lubarsky@comcast.net.
For further information on the AMS sectional meeting contact either
Matthew Miller, the relevant AMS secretary, at miller@math.sc.edu, or
Mario Milman, the local organizer, at extrapol@bellsouth.net.