Project Grant 2621349
- This $290,000 Project Grant award from the National Science Foundation's (NSF) Mathematical and Physical Sciences (MPS) program supports research in computable model theory and invariant descriptive computability theory. The award, spanning July 2024 to June 2027, will fund work that explores connections between computability theory and the fields of model theory and set theory within mathematical logic. Key objectives include investigating cases where mathematically equivalent objects have...
- This $368,007 National Science Foundation project grant supports conference logistics and planning for two 2022 events hosted by Stars Computing Corps. The events are the CISE Education and Workforce Principal Investigator Meeting and the CISE Research Experiences for Undergraduates Site New Principal Investigator Workshop. Both convenings will provide opportunities for principal investigators of projects funded by the NSF's Computer and Information Science and Engineering (CFDA 47.070)...
- This National Science Foundation project grant award of $171,147 provides funding from July 2022 through June 2025 to support collaborative research on definability and computability over arithmetically significant fields at the University of California, Irvine. The research will consider several problems at the intersection of number theory, algebraic geometry, model theory, computability theory and valuation theory regarding definability and computability over number fields, rings of integers,...
- The National Science Foundation (NSF) awarded a $460,755 Project Grant under the Computer and Information Science and Engineering (CFDA 47.070) program to the University of Wyoming. The 3-year project, starting on October 1, 2024, will develop new tools for investigating the computational complexity of total function problems in theoretical computer science. The research aims to extend resource-bounded measure techniques, which have been successful for studying decision problems, to the more...
- This $118,647 Project Grant award from the National Science Foundation's Division of Mathematical Sciences (CFDA 47.049, Mathematical and Physical Sciences) supports fundamental research in descriptive set theory and its connections to other mathematical fields, including computability, operator algebras, topological dynamics, and ergodic theory. The award will fund research on questions related to amenability and hyperfiniteness, as well as investigations into classical geometrical paradoxes...
- This federal Project Grant award of $300,000 from the National Science Foundation's Computer and Information Science and Engineering (CFDA 47.070) program supports a collaborative effort led by Northern Kentucky University, the Computing Research Association, Texas State University, and Kennesaw State University. The goal is to engage faculty at research-emerging institutions with large computing programs in a series of virtual roundtables and an in-person workshop. This initiative aims to:...
- This $117,392 project grant from the National Science Foundation's Computer and Information Science and Engineering program will fund a 1.5-day workshop in 2023 to support aspiring principal investigators for the agency's Secure and Trustworthy Cyberspace grants. The workshop will provide mentorship and guidance to help researchers strengthen proposal writing skills and develop comprehensive research plans through one-on-one mentor meetings, mock review panels, and drafting an executive summary....
- This federal Project Grant award for $300,000.00, provided by the National Science Foundation's (NSF) Mathematical and Physical Sciences (CFDA 47.049) program, supports research to significantly expand the investigator's work on applications of model theory to the study of geometric structures. The key objectives are to: 1) tackle major transcendence problems such as the Ax-Lindemann-Weierstrass and Ax-Schanuel conjectures for uniformizing functions of geometric structures in higher...
- This $122,301 federal Project Grant award from the National Science Foundation (NSF) under the Computer and Information Science and Engineering (CISE) program will fund a 1.5-day workshop to support "aspiring PIs" (new principal investigators) in developing competitive research proposals for the NSF's Secure and Trustworthy Cyberspace (SaTC) funding program. The workshop aims to provide mentorship, proposal feedback, and simulation of the NSF's merit review process to better equip...
- Federal Grant Award Summary The National Science Foundation (NSF) awarded $100,000 to the University of Colorado through the Technology, Innovation, and Partnerships program (CFDA 47.084) to support the 5th International Conference on the Science of Science and Innovation (ICSSI 2026). The award, dated June 1, 2026, with completion by May 31, 2027, funds a three-day conference held at the University of Colorado Boulder from June 29 to July 1, 2026, preceded by a pre-conference open data...
CONFERENCE: WORKSHOP IN COMPUTABILITY THEORY -THIS AWARD SUPPORTS THE PARTICIPATION OF AMERICAN RESEARCHERS IN WORKSHOP IN COMPUTABILITY THEORY WHICH WILL BE HELD AUGUST 3-7, 2026, AT THE TECHNISCHE UNIVERSIT?T WIEN IN VIENNA, AUSTRIA. THE FOCUS OF THIS WORKSHOP IS THE FOUNDATIONS OF COMPUTATION, SPECIFICALLY COMPUTABILITY THEORY AND COMPLEXITY THEORY. RESEARCHERS IN THESE FIELDS ADDRESS QUESTIONS ABOUT THE DIFFICULTY OF SOLVING A COMPUTATIONAL PROBLEM, WHETHER IN TERMS OF THE TIME AND SPACE REQUIRED FOR A COMPUTER TO DO SO OR IN TERMS OF THE RELATIVE DIFFICULTY OF PROBLEMS THAT A COMPUTER CANNOT SOLVE. THE PRIMARY OBJECTIVE OF THIS CONFERENCE SERIES IS TO EXPAND THE POOL OF RESEARCHERS IN COMPUTABILITY AND COMPLEXITY THEORY BY SUPPORTING AND ENCOURAGING RESEARCHERS FROM THESE AREAS IN THEIR INVESTIGATIONS OF RESEARCH TOPICS THAT ARE NEW TO THEM, AND THIS GRANT MAKES IT POSSIBLE FOR AMERICAN RESEARCHERS TO DEVELOP THEIR INTERNATIONAL PROFESSIONAL NETWORKS AND STRENGTHEN THE UNITED STATES? REPUTATION IN THESE AREAS. THIS CONFERENCE IS STRUCTURED TO ENABLE RESEARCHERS IN COMPUTABILITY OR COMPLEXITY THEORY TO IMMERSE THEMSELVES IN A RESEARCH PROJECT IN AN AREA THEY HAVE NOT WORKED IN BEFORE UNDER THE SUPERVISION OF LEADING RESEARCHERS IN THIS AREA. THESE PROJECTS WILL INVOLVE TOPICS SUCH AS ALGORITHMIC INFORMATION THEORY, PROPOSITIONAL PROOF COMPLEXITY, AND COMPUTATIONAL COMPLEXITY FROM THE PERSPECTIVE OF COMPUTABLE STRUCTURE THEORY, AND THEY HAVE BEEN SELECTED NOT ONLY TO COVER A BROAD ARRAY OF TOPICS BUT ALSO TO ALLOW A GROUP OF APPROXIMATELY FIVE OR SIX PEOPLE TO MAKE TANGIBLE PROGRESS ON THEM WITHIN A WEEK WITH ROOM TO CONTINUE THE COLLABORATION AFTER THE WORKSHOP. THIS WILL EXTEND THE PARTICIPANTS? RESEARCH NETWORKS BEYOND THEIR CURRENT SUBFIELDS. THE CONFERENCE WEBSITE CAN BE FOUND AT HTTPS://WWW.DMG.TUWIEN.AC.AT/COCOGEMS/. THIS AWARD REFLECTS NSF'S STATUTORY MISSION AND HAS BEEN DEEMED WORTHY OF SUPPORT THROUGH EVALUATION USING THE FOUNDATION'S INTELLECTUAL MERIT AND BROADER IMPACTS REVIEW CRITERIA.- SUBAWARDS ARE NOT PLANNED FOR THIS AWARD.
Mod # | Description | ReasonForModification | Federal Obligation | Date |
|---|---|---|---|---|
| Not listed | $15.0k | 5/28/26 |