ICARM invites proposals for workshops in any area of mathematics where computational methods play a substantive role in advancing research, collaboration, or understanding. Workshops may highlight new developments, explore emerging approaches, or bring together communities that give benefit to or derive benefit from computer-aided reasoning in mathematics.

Workshops are typically 5 days, though shorter formats will be considered when appropriate.

Proposal Format Proposals should be 2–4 pages (excluding references) and submitted as a single PDF to proposals@icarm.io.

Required Elements

A. Basic Information

• Title of the workshop.
• Names and affiliations of 3–5 organizers, with a designated lead contact.
• Brief statement on organizers’ relevant experience.
• All organizers are expected to attend for the full duration of the workshop.

B. Overview of the Workshop Theme

Provide a description suitable for a broad mathematical audience that explains:

• The central topic and its interest.
• How computer-aided reasoning contributes to progress in this area.
• Why this is an opportune moment for a focused meeting. This section should make the intellectual direction clear without assuming familiarity with particular tools or software.

C. Objectives and Anticipated Impact

Describe the goals of the meeting, which may include:

• Developing ideas, methods, or collaborations.
• Bringing clarity or momentum to an emerging direction.
• Creating shared understanding across research groups or disciplines.
• Generating follow-up activities, projects, or resources.

Tangible outcomes are welcome but not required. At the completion of their program, organizers are required to submit a summary report (possibly written by one or more of the participants), surveying the status of the subject in the context of the events of the workshop.

D. Preliminary Participant List

Provide a list of 20–30 potential participants, noting:

• Areas of expertise.
• Potential roles (speaker, discussion leader, working-group mentor, general participant, etc.).

Proposers are encouraged to secure preliminary commitments from a majority of the individuals listed. ICARM encourages inclusion of researchers at multiple career stages and at a wide range of institutions.

E. Workshop Format and Structure

Describe how the meeting will be structured. Examples include:

• Research talks.
• Small-group working sessions on problems or themes.
• Hands-on activities involving computational tools, datasets, or frameworks.
• Open discussion periods or time for collaboration.

Organizers are expected to be present throughout the entire workshop to guide discussion, adjust structure as needed, and support the scientific direction.
Nontraditional formats are welcome when aligned with workshop goals.

F. Scheduling

Provide several possible date windows, preferrably at least one year in advance, noting any constraints or seasonal preferences.

G. Related Activities

If the workshop relates to other events—at ICARM or elsewhere—explain the connection and how the proposed meeting offers a distinct focus or value.

H. Additional Support (Optional)

If you anticipate external funding or partnerships, briefly indicate this. Outside support is not required.

Review Considerations

Proposals will be evaluated on:

• Strength and clarity of the scientific theme.
• Meaningful role of computational reasoning in the workshop’s goals.
• Potential for progress, collaboration, or stimulation of research activity.
• Appropriateness of the proposed structure for the objectives.
• Breadth of the prospective participant list.
• Alignment with ICARM’s mission to support mathematics through new computational modes of reasoning.

Submission Cycle

Proposal can be submitted at any time. We encourage you to contact us at proposals@icarm.io so that we can provide advice and feedback throughout the process. Proposals are typically approved by the Scientific Advisory Board at its semi-annual meetings in May and December, but we can also accomodate rapid-reponse workshops and off-cycle approval when appropriate.

ICARM Support

ICARM provides:

• Full administrative and logistical support for participants.
• On-site technical expertise and computational resources, as needed.
• Meeting spaces, breakout areas, and audiovisual support.
• Publicity, web presence, and registration management.
• Funding for travel and accommodation for most participants without external
  support.

Organizers work with ICARM staff to finalize the scientific program and participant list.