Latin American Symposium on Mathematical Logic, Paraty, Brazil, May 11-17, 2008

第14届拉丁美洲数理逻辑研讨会（SLAM）将于2008年5月11日至17日在巴西帕拉蒂举行。 SLALM成立于1970年，旨在加强美国和拉丁美洲研究人员之间的工作关系。由于这些关系的成功，今天，数学逻辑在拉丁美洲蓬勃发展。该地区已成为美国和其他地方逻辑课程的研究生和博士后的重要来源。 虽然研究活动的数量和在该地区举行的专业会议的数量继续增长，但SLALM仍然是最大的泛美逻辑会议。第一届SLALM在智利的圣地亚哥举行，由当时的符号逻辑协会主席亚伯拉罕·罗宾逊领导。会议包括为期两周的小型课程，然后是为期一周的会议。这些微型课程由A. Levi（希伯来大学），R. Sikorski（Warsaw）和J.R.舍恩菲尔德（杜克）。随后在巴西巴西利亚（1972年）、巴西坎皮纳斯（1974年）、智利圣地亚哥（1978年）、哥伦比亚波哥大（1981年）、委内瑞拉加拉加斯（1983年）、巴西坎皮纳斯（1985年）、巴西帕拉伊巴（1989年）、阿根廷巴伊亚布兰卡（1992年）、哥伦比亚波哥大（1995年）、委内瑞拉加拉加斯（1998年）、哥斯达黎加的圣何塞（2004年）和墨西哥的瓦哈卡（2006年）。这次会议是由符号逻辑协会主办的。 预计第14届SLALM的会议记录将由一家主要的科学出版社出版。过去的研讨会论文集已由North-Holland（在逻辑和数学基础研究系列中）和Kluwer学术出版社出版。

ABSTRACTThe 14th Latin American Mathematical Logic Symposium (SLAM) is to be held in Paraty, Brazil, May 11-17, 2008. The SLALM was established in 1970 to strengthen working relations between researchers in the United States and Latin America. Thanks in no small part to the success of these relations, today, mathematical logic thrives in Latin America. The region has become a significant source of graduate students and postdocs to logic programs in the United States and elsewhere. While the amount of research activity and the number of specialized conferences that are held in the region continues to grow, the SLALM remains the largest Pan-American logic conference. The first SLALM was held in Santiago, Chile, under the leadership of Abraham Robinson, who at the time was President of the Association for Symbolic Logic. The meeting included two-week minicourses followed by a week-long conference. The minicourses were taught by A. Levi (The Hebrew University), R. Sikorski (Warsaw), and J. R. Schoenfield (Duke). Subsequent SLALM's were held in Brasilia, Brazil (1972), Campinas, Brazil (1974), Santiago, Chile (1978), Bogota, Colombia (1981), Caracas, Venezuela (1983), Campinas, Brazil (1985), Paraiba, Brazil (1989), Bahia Blanca, Argentina (1992), Bogota, Colombia (1995), Caracas, Venezuela (1998), San Jose, Costa Rica (2004), and Oaxaca, Mexico (2006). The meeting is sponsored by the Association for Symbolic Logic. It is expected that the proceedings of the 14th SLALM will be published by a major scientific publisher. Proceedings of past symposia have been published by North-Holland (in the series Studies in Logic and the Foundations of Mathematics) and Kluwer Academic Publishers.