Skip to main content
Programs
Long Programs
Workshops
Special Events and Conferences
Student Research Programs
Summer Schools
PUMA
Public Lectures
Green Family Lecture Series
Special Projects
Propose a program
Donate
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
A Welcoming Environment for All
NSF and Other IPAM Funding
Contact Us
Programs
Long Programs
Workshops
Special Events and Conferences
Student Research Programs
Summer Schools
PUMA
Public Lectures
Green Family Lecture Series
Special Projects
Propose a program
Donate
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
A Welcoming Environment for All
NSF and Other IPAM Funding
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
Workshop photos
Organizing Committee
Loading organizing committee…
View organizing committee
