This award provides travel support to nine U.S.-based researchers and eleven Ph.D. students at U.S. universities to participate in the Fifteenth Latin American Symposium on Mathematical Logic, to be held June 4?8, 2012 at Universidad de los Andes in Bogota, Colombia, a major center of logic in Latin America. Most of those for whom funds ares ought have either very limited or no other means of travel support.
The biannual Latin American Symposium on Mathematical Logic, first held in Santiago, Chile in 1970, has played a central role in the growth and vitality of mathematical logic in Latin America. While the level of research activity and the number of specialized conferences of international prestige that are held in the region continues to increase, the Latin American Symposium on Mathematical Logic remains the largest Pan-American logic meeting. The program includes areas of great current interest, and speakers include leading world experts.
This event provides an important platform for extensive interaction between U.S. and Latin American researchers and students beyond already well-established research contacts. Increasing the visibility and presence of logic outside North America and Europe, particularly in Latin America and Asia, is one of the Association for Symbolic Logic?s highest long-term strategic priorities.
This award to the Association for Symbolic Logic partially supported twenty travel grants to US national and US-based researchers to participate in the 15th Latin American Mathematical Logic Symposium (SLALM) in Bogota, Colombia. The conference took place June 4-8, 2012, and was preceded by three tutorials on current research directions, given May 30-June 2, 2012. A satellite workshop on "Notions of minimality and rank in dependent theories" was held in Villa de Leyva, Colombia, June 10-13, 2012; two travel grant recipients attended. The selection of travel grant recipients for this award was made jointly by the Program Committee and the Organizing Committee. Nine of the awards were made to invited speakers and eleven to graduate students. Preference was given to participants who have limited or no other means of travel support. The Association for Symbolic Logic, the administrative organization for this project, is the leading professional society for logicians in the world. Charles Steinhorn in his capacity as the Secretary-Treasurer of the Association for Symbolic Logic, was responsible for administering the travel grant program that was supported by the award. The two main meetings of the Association are the ASL North American Annual Meeting and the ASL European Summer Meeting (also known as the Logic Colloquium). The Association also meets annually at the Joint Mathematics Meetings, where it typically co-sponsors one or more events with the American Mathematical Society and/or the Mathematical Association of America, and, on a rotating basis, with one of the three divisions of the American Philosophical Association. The ASL sponsors meetings throughout the world in which logic and its applications are central. The ASL-sponsored meetings during the period of this award (in addition to SLALM 2012) were: Young Set Theory Workshop 2012 (Germany); Antalya Algebra Days XIV (Turkey); Model Theory in Wroclaw 2012 (Poland); North American Summer School in Logic, Language, andInformation (NASSLLI 2012) (USA); Turing Centenary Conference; Computability in Europe 2012 (CiE 2012)---How the World Computes (England); Twenty-seventh Annual IEEE Symposium on Logic in Computer Science (LICS 2012) (Croatia); Seventh International Conference on Computability, Complexity and Randomness (CCR 2012) (England); Eighth Scandinavian Logic Symposium 2012 (Denmark); East-Asian School on Logic, Language, and Computation (EASLLC 2012) (China); Nineteenth Workshop on Logic, Language, Information and Computation (WoLLIC'2012) (Argentina); Fifth Indian Conference on Logic and its Applications (ICLA 2013) (India); Fourth World Congress and School on Universal Logic (UNILOG 2013) (Brazil); and Logic and Interactions (France). Increasing the visibility and presence of logic outside North America and Europe is one of the ASL's highest long-term priorities. There already is substantial activity in Australia, Asia, and Latin America on which the ASL intends to build. In 2007, ongoing funding was authorized by the ASL Council for two highly successful meetings that the ASL has regularly sponsored: the biannual Asian Logic Conference (ALC) and the biannual Simposio Latinamericano de Logica Matematica (SLALM), partially supported by this NSF award. It is hoped that these meetings may soon move from ASL-sponsored status to become official ASL regional meetings. Of the twenty travel awards, nine were made to invited speakers, and eleven to graduate students. The following awardees were invited speakers: Uri Andrews (University of Wisconsin-Madison), Andres Caicedo (Boise State University), Natasha Dobrinen (University of Denver, CO), Alf Dolich (Kingsborough Community College, NY), Nikolaos Galatos (University of Denver, CO), Valeria de Paiva (Rearden Commerce, Foster City, CA), Thomas Scanlon (University of California at Berkeley), Simon Thomas (Rutgers), and Janak Ramakrishnan (University of Lisbon). De Paiva, Scanlon, and Thomas gave plenary lectures. Caicedo and Galatos gave two of the the courses given before the conference. Andrews spoke at the Special session in Algebraic and Non-Classical Logics, Dobrinen spoke in the Special Session in Set Theory, and Dolich and Ramakrishnan spoke in the Special Session in Model Theory. The following graduate students received travel awards: Stephanie Botsford (University of Denver), Santiago Camacho (University of Illinois), Riquelmi Cardona (University of Denver), Jorge Cely (University of Pittsburgh), Andres Forero Cuervo (University of California at Irvine), Gabriel Giron-Garnica University of Denver), Steven Molinari (University of Denver), Diana Ojeda (Cornell), Daniel Rodriguez (Carnegie Mellon), Timothy Trujillo (University of Denver), and Jay Williams (Rutgers). The program of the conference included thirteen invited plenary lectures, twenty-eight invited talks, and twenty-two contributed communications, distributed in four special sessions: Algebraic and Non-Classical Logics, Model Theory, Recursion and Computer Science Logic, and Set Theory. 30–June 2. About 110 researchers and students from Latin America and other continents participated in the meeting. Titles and slides for the lectures can be found at http://matematicas.uniandes.edu.co/eventos/SLALM2012/. Abstracts of all talks will be published in the Bulletin of Symbolic Logic, one of the three official journals of the ASL.
