call for papers, constructive math meeting

call for papers, constructive math meeting

[Thomas Streicher]

Bob Lubarsky has asked to me to put the announcement below
on the categories mailing list.

Thomas


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.