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

建设性数学研讨会将汇集来自世界各地的领先和开始的研究人员，以确定并在建设性数学中最重要的问题上取得进展。将有四个会议，每一个在数学的一个主要分支，并由一个国际专家领导：代数（弗雷德里奇曼），分析（道格布里奇斯），集合论（迈克尔Rathjen），拓扑（巴斯斯皮特斯）。目标是，通过集中时间讨论每个专题，并在两届会议之间留出时间进行思考，从而在会议期间取得成果。此外，与会者将有机会形成合作，并将离开新的重点和激励继续工作的问题确定。其目的是全面提高建设性数学的生产力。除了这些研究会议，还将有一个关于建设性数学和计算机科学的讲座由弗拉基米尔Lifschitz。目标受众将是在AMS的共同定位部分会议的与会者，并将向一般数学观众的演讲。其结果应该是更广泛的数学界对建设性数学的认识和欣赏。研讨会的另一个好处将是提高佛罗里达州大学的形象，一个年轻的机构仍在建立自己和它的数学课程。

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.