Programs
Long Programs
Workshops
Public Lectures
Summer Schools
Special Events and Conferences
Student Research Programs
Green Family Lecture Series
Propose a Program
News & Research
News
Interviews
Research Articles
IPAM Newsletter
Press Releases
People
Building Directory
Directors
Board of Trustees
Science Advisory Board
Staff
Simons Participants
About IPAM
Today at IPAM
About UCLA
Equity, Diversity, and Inclusion at IPAM
NSF Grants
Programs
Long Programs
Workshops
Special Events and Conferences
Student Research Programs
Summer Schools
PUMA
Public Lectures
Green Family Lecture Series
Propose a program
Videos
News
News
Research Articles
Reports and Whitepapers
Interviews
Press Releases
IPAM Newsletter
People
Directors
Staff
Science Advisory Board
Board of Trustees
Simons Participants
Associate Director Search
Your Visit
Community Agreement
Policies
Directions
Hotels
Housing Resources
Resident’s Guide
Transportation
Technology
Child Care Resources
About IPAM
Today at IPAM
About UCLA
Equity, Diversity, and Inclusion at IPAM
NSF Grants
Donate
Frontiers Society
Funding Priorities
Corporate Giving
Donate Now
Contact Us
Workshops
Programs
>
Workshops
>
Machine Assisted Proofs
Machine Assisted Proofs
February 13 - 17, 2023
Overview
Speaker List
Schedule
Workshop photos
Overview
Speaker List
Schedule
Workshop photos