PIMS Workshop on Automated Mathematics (Lean + AI)

Topic

Automated Mathematics using Lean with LLM tools

Details

PIMS invites faculty members from across the PIMS network to apply to participate in an intensive three-day, in-person workshop on Lean with LLM integration, led by Professor Eric Klavins (University of Washington), whose recent UW course on Automated Mathematics has drawn wide interest.

About the Workshop

The workshop is aimed at faculty who want to use Lean (with LLM tools) in their own research and who may go on to teach a similar course at their home institution or serve in mentorship roles at their own site or in future PIMS programs. The format is hands-on: short lectures alternating with guided coding sessions in small groups, with optional evening exercises. No prior Lean experience is required. Participants should bring a reasonably capable laptop and be prepared to install software in advance (instructions will be provided).

Additional Information

Application Requirements

Faculty members at PIMS member sites are invited to apply by providing:

  1. Name, contact information, and PIMS site affiliation.
  2. Career stage (Assistant Professor, Associate Professor, or Full Professor).
  3. A checkbox selection identifying eligibility: why this workshop would be valuable to you and how you would bring what you learn back to your site (e.g., connections to your research program, teaching plans, running a seminar or reading group, mentoring students, or contributing to future PIMS programming).

Applicants should also indicate whether you would be interested in attending without PIMS funding (self-funded) if you are not selected for a funded spot.

 

Selection and funding

One participant from each PIMS member site will be selected by lottery from the eligible applicant pool, and if based outside the Vancouver area, will receive funding towards their travel and lodging. We expect this to cover reasonable costs, up to a maximum that will be specified in the award letter.  PIMS NSERC Task Force members will also attend as funded participants. Remaining spots, up to the workshop capacity of 30, will then be filled by lottery from applicants who indicated interest in attending without funding.
 
Announcements of the selected applicants will be made no later than mid-July. Questions may be directed to Deanna Needell, Co-Director, Programs (co-director-programs@pims.math.ca).

Deadline: July 8, 2026
Jump to Event Details
Event Type
Scientific, Workshop
Date
August 17–19, 2026
Time
-
Location
University of British Columbia

Registration

This workshop is open to faculty at PIMS member universities. See the selection and funding section of this page for more details.

Apply