Collaborative Visits

ICARM Collaborative Research Visits support small groups of researchers in residence at the Institute for Computer-Aided Reasoning in Mathematics (Pittsburgh, PA) for focused, technology-intensive collaboration substantially assisted by computer-aided reasoning in mathematics.

Visits last from 1–4 weeks and can be scheduled throughout the year. The program provides office space, access to ICARM’s computing environment and innovation engineers, and potential support for travel and local expenses.

Proposals

Teams consist of 2–6 researchers with PhDs (or equivalent experience or in progress), drawn from any area of the mathematical sciences.

  • The majority of the team must be based at U.S. institutions.
  • All funded team members are expected to be in residence for the full duration of the visit.
  • Teams may include self-funded participants.

The program particularly welcomes teams whose research progress has been limited by structural or logistical obstacles to extended collaboration and access to advanced tools.

Proposals should be 2–3 pages (excluding references) and submitted by a lead organizer as a single PDF to proposals@icarm.io.

Required Elements

A. Project Overview

  • Title and list of team members, with affiliations and career stage.
  • Nontechnical description of the mathematical area and core questions.
  • Specific goals for the visit (e.g., draft paper, formalized theorem(s), prototype software, benchmarks/datasets, curricular or outreach materials).

B. Use of Computer-Aided Reasoning Resources and IE Support

  • Explanation of how proof assistants, automated reasoning, ML-for-math, or related tools are central to the project.
  • Information about how ICARM innovation engineers and computing resources may be used.

C. Team Justification

  • Brief description of the complementary expertise of team members and any prior collaboration.
  • Explanation of how the visit will foster participation for all (e.g., early-career researchers, researchers at under-resourced institutions).

D. Logistics

  • Preferred dates and duration (1–4 weeks), with flexibility windows.
  • Indication of which participants request travel/lodging support and which are self-funded.
  • Brief CV for each team member.

Review Considerations

Proposals are reviewed by ICARM leadership and the Scientific Advisory Board, with attention to:

  • Mathematical significance and feasibility for the proposed length of visit.
  • Centrality of computer-aided reasoning tools and the role of innovation engineers.
  • Appropriateness of the team.
  • Likely broader impact (software, libraries, benchmarks, documentation, educational materials, or follow-on collaborations).

Teams agree to provide a brief post-visit report and a follow-up update (e.g., after 12–18 months) documenting publications, software ,or formalization outputs, and any subsequent grants or activities arising from the visit.