Association For Symbolic Logic

Association For Symbolic Logic, a tax-exempt nonprofit organization headquartered in Storrs, Connecticut, is a federal grant recipient that administers travel-award programs for U.S. researchers attending international mathematical logic conferences. The organization holds no federal contracts and operates exclusively as a prime recipient of National Science Foundation grants (100% of recent awards), with no subcontract footprint.

Association For Symbolic Logic's federal work centers on NSF Division of Mathematical Sciences project grants that fund travel and participation for U.S.-based logicians at the Latin American Symposium on Mathematical Logic (SLALM). The organization has received three such awards spanning 2022 through 2026. In April 2022, NSF awarded a grant supporting the attendance of up to eighteen U.S. logicians at the nineteenth SLALM in San Jose, Costa Rica (July 26–30, 2022), with emphasis on students, junior researchers, and participants from underrepresented groups in mathematics. In June 2024, NSF funded travel for up to sixteen U.S. researchers to attend the twentieth SLALM in Piriapolis, Uruguay (July 1–5, 2024). Most recently, in May 2026, NSF funded travel for up to twelve U.S. researchers to attend the twenty-first SLALM in Bogota, Colombia (June 1–5, 2026), with ultimate project completion scheduled for April 2027. Combined dollars obligated across all federal awards total $632 thousand.

The NSF grants explicitly recognize Association For Symbolic Logic as the longstanding administrator of the SLALM series since its inception, positioning the organization as the institutional steward of North-South American research collaboration in logic disciplines including computability theory, model theory, non-classical logics, philosophy of logic, and set theory. Customer concentration is absolute — all awards derive from the National Science Foundation, with five awards specifically attributed to the Division of Mathematical Sciences. One award faces ultimate completion within the next twenty-four months. The organization competes in a niche federal research-support space and does not maintain presence on federal contract vehicles, IDIQs, or GWACs.