The Andrzej Mostowski Centenary Conference

这是一份旅行资金申请，用于支持12名美国参与者（4名研究数学家和8名博士生）参加将于2013年10月11日至13日在波兰华沙大学数学、信息学和力学学院举行的会议。会议由欧洲数学学会和华沙数学与计算机科学中心、克莱数学研究所提供财政支持，并得到波兰数学学会的认可。 本申请不打算为会议本身提供任何资金，仅为旅费提供资金。会议有几个科学主题，每个主题都由领先的专家代表。Mostowski教授对数理逻辑的几个领域做出了贡献。 他最重要的工作是在集理论，并选择的主题反映了这一点。 Mostowski的一些想法在计算机科学基础中得到了应用。会议计划将包括一个讲座和一个关于这一领域最近和相当意外的发展的辅导。许多人可以从参加会议中受益。如果申请成功，申请旅行赠款的机会将在会议网站，符号逻辑协会通讯和流行的逻辑相关网站上发布。旅费赠款申请将由纽约研究生中心的Sergei Artemov设立和主持的一个委员会审查。 有几位纽约市立大学的教师和研究生有兴趣参加这次会议，但委员会将尽一切努力确保选拔过程对所有人都是公平和开放的，特别注意来自代表性不足的群体的申请人。会议的更广泛影响：在科学领域，随着一代又一代的进步，学科和工作者越来越专业化。 数理逻辑和基础研究肯定就是这种情况。 虽然这并不奇怪，但对于那些关注数学本身基础的人来说，这是不幸的。 一个广泛的、知情的和统一的观点是重要的。 在2013年有一个独特的机会，有一个会议，旨在汇集和影响跨基础研究的各个子学科的研究人员，鼓励互动。 今年是安杰伊·莫斯托夫斯基诞辰100周年。 这将不是一个纪念会议，而是组织者计划使用Mostowski和他的想法作为一个中央组织设备，这将使他们能够汇集研究人员在所有基础研究的基本领域。预计演讲者不仅将展示直接来自Mostowski教授研究的结果的全景，而且还将提出研究方向，未解决的问题和新应用的可能性。http://mostowski100.mimuw.edu.pl/doku.php

This is an application for travel funds to support 12 U.S. participants (four research mathematicians and eight doctoral students) at the conference {\it Mostowski 100} to be held at the Faculty of Mathematics, Informatics and Mechanics of the University of Warsaw, Poland, October 11-13th, 2013. The conference is organized with financial support of the European Mathematical Society and Warsaw Center of Mathematics and Computer Science, Clay Mathematics Institute, and is endorsed by the Polish Mathematical Society. The present application is not intended to provide any funding for the conference itself, only for funding for travel. There are several scientific themes of the conference, each represented by leading specialists. Professor Mostowski made contributions to several areas of Mathematical Logic. His most important work was in Set Theory, and the selection of topics reflects that. Some of Mostowski's ideas have found their application in Foundations Computer Science. The program of the conference will include a lecture and a tutorial on some recent and rather unexpected developments in this area. Many can benefit from participation in the conference. In case this application is successful, the opportunity to apply for travel grants will be advertised at the conference website, in the Association for Symbolic Logic newsletter, and on popular logic-related websites. Travel grant applications will be reviewed by a committee set up and chaired by Sergei Artemov of the Graduate Center of City University of New York. There are several faculty and graduate students at CUNY who are interested in going to the conference, but the committee will make every effort to make sure that the selection process is fair and open to everyone, with particular attention paid to applicants from underrepresented groups.Broader impacts of the conference: In the sciences generally, disciplines and workers become increasingly specialized with the progression of generations. This has certainly been the case with mathematical logic and foundational studies. While this is not surprising, it is unfortunate for those whose concern is the foundations of mathematics itself. A broad, informed, and unified outlook is important. In 2013 there is a unique opportunity to have a conference aimed at bringing together and affecting researchers across the various sub-disciplines of foundational studies, encouraging interaction. This year is the 100th anniversary of the birth of Andrzej Mostowski. It will not be a commemoration meeting, but rather the organizers plan to use Mostowski and his ideas as a central organizing device, that will allow them to bring together researchers in all the basic areas of foundational studies. The expectation is that the speakers will present not only the panorama of results directly stemming from Professor Mostowski's research, but also proposals for research directions, unsolved problems, and possibilities for new applications.The conference website is at http://mostowski100.mimuw.edu.pl/doku.php