Logic List Mailing Archive

2nd CfP: Workshop and AMS Special Session on Constructive Mathematics

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

SECOND ANNOUNCEMENT AND CALL FOR PAPERS

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, or at 
http://www.ams.org/cgi-bin/abstracts/abstract.pl, 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 and Fred Richman. 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.