Workshop on Constructive Mathematics; October 2009; Boca Raton, FL

构造数学研讨会将汇集来自世界各地的领先和起步的研究人员，以确定并在构造数学中最重要的问题上取得进展。将有四场会议，每一场会议都是关于数学的一个主要分支，并由一位国际专家主持：代数（Fred Richman）、分析（Doug Bridges）、集合论（Michael Rathjen）和拓扑学（Bas Spitters）。这样做的目的是，把时间集中在每个主题上，并在会议间隙进行反思，这样就可以在会议期间取得成果。此外，与会者将有机会形成合作关系，并将带着新的关注和激励离开，继续解决已确定的问题。其目的是全面提高建构性数学的生产力。除了这些研究会议外，Vladimir Lifschitz还将举办建构数学和计算机科学讲座。目标听众将是美国数学学会分会会议的与会者，演讲将针对一般的数学听众。结果应该是在更广泛的数学界对建构性数学有更大的认识和欣赏。研讨会的另一个好处是提高佛罗里达大西洋大学（Florida AtlanticUniversity）的知名度，这所年轻的大学仍在建立自己的数学课程。

The Workshop on Constructive Mathematics will bring together leading and starting researchers from around the world to identify and make progress on the most important questions in constructive mathematics. There will be four sessions, each on a major branch of mathematics and led by an international expert: algebra (Fred Richman), analysis (Doug Bridges), set theory (Michael Rathjen), and topology (Bas Spitters). The goal is that, with the concentrated time on each topic and time between sessions for reflection, results can be achieved during the meeting itself. In addition, the attendees will have the opportunity to form collaborations, and will leave with renewed focus andstimulation to continue work on the problems identified. The intent is to increase productivity in constructive mathematics across the board.Besides these research sessions, there will also be a lecture on constructive mathematics and computer science by Vladimir Lifschitz. The target audience will be the attendees at the co-located sectional meeting of the AMS, and the talk will be pitched to a general math audience. The result should be greater awareness of and appreciation for constructive mathematics within the broader mathematics community.Another benefit of the workshop will be to raise the profile of Florida AtlanticUniversity, a young institution still establishing itself and its math program.