Skip to main content
B11A9D27-1C6F-4A8E-80EF-435B8A7D4A78 BCD688A4-77B5-479A-85D5-17A8A86A5CA3

Secondary Navigation

About
Mandate
Partnerships
Policies & Statements
Acknowledging PIMS
Code of Conduct
Privacy Policy
Structure and Governance
FAQ
Donate
History
About PIMS
PIMS Sites
People
Directorate
Site Directors
Board
Staff
Postdocs
Visitors
Education Coordinators
Committees & Groups
Network Wide Courses Committee
Equity Diversity and Inclusivity Committee
Indigenous Engagement Committee
Scientific Review Panel
Postdoctoral Research Fellow Review Panel
News & Updates
Contact
CNRS-PIMS IRL
PIMS Europe Fellowships
PIMS-CNRS Postdoctoral Fellowships
Postes Rouges
Visitors

User account menu

Log in
Register

Main Navigation

Events
Event Listings
Upcoming Events
Past Events
Emergent Research: The PIMS Postdoctoral Fellow Seminar
Network Wide Colloquium
Educational Events
Industrial Events
Distinguished Lecture Series
Marsden Memorial Lecture
The Hugh C. Morris Lecture Series
Programs
Scientific Programs
Funding Opportunities
Postdoctoral
Past Postdocs
Postdoctoral Fellows
Collaborative Research Groups
About Collaborative Research Groups
Diagram Categories in Homotopy Theory
Structure-Preserving Discretizations and their Applications
Forecasting and Mathematical Modeling for Renewable Energy
L-Functions in Analytic Number Theory
Novel Techniques in Low Dimension: Floer Homology, representation theory and algebraic topology
Quantum Topology and its Applications
Past CRGs
PIMS Research Networks
Applying for a PRN
Kantorovich Initiative: 2023-2026
The Maud Menten Institute: 2024-2027
Visitor and Exchange Programs
PIMS Visitors
CNRS Visitors
Institutes Exchange Program
Research Exchange Program
Mentorship & Early Career Programs
PIMS-BIRS Team Up!
First Year Interest Groups (FYIG)
PIMS Experimental Mathematics Lab (VXML/XML)
PIMS Network Wide Courses
Awards & Prizes
CAIMS/PIMS Early Career Award
CRM-Fields-PIMS Prize
UBC/PIMS Mathematical Sciences Early Career Award
Past Programs
Focus Periods
Increasing Diversity in Mathematical Sciences Summer School Call for Proposals
International Graduate Training Centre (IGTC) in Mathematical Biology
Mathematics of Planet Earth
Research Impacts
Student Mobility Program
Educational Programs (for K-12)
Funding Opportunities
Education Prize
Programs For Students
Summer Camps
ELMACON
Math Circles
Math Mania
Indigenous Student Summer Camps
Programs for Teachers
Math Teacher Workshops
Math Summer School for Elementary School Teachers
Changing the Culture
Callysto
Changing the culture
Math Summer School for Elementary School Teachers
Education Affiliate Program
Other resources & links
Links
Math Teachers Summer School Educational Resources
Industrial Programs
Funding Opportunities
Math to Power Industry (M2PI)
M2PI Case Studies Virtual Seminar
Lunchbox Lecture Series
Past programs
BCData
Industrial Short Courses
Industrial Workshops
Geomathematics Program
Resources
Resources
Useful Documents
Logos
Conflict Support Fund
Publications
Pi in the Sky
Year In Review
Annual Report
Proceedings
PIMS Connection
PIMS Site Director Reports
M2PI Reports
Archived Publications
PIMS Newsletter
PIMS Industrial Proceedings
Graduate Industrial Mathematics Modeling Camp (GIMMC)
IPSW
PIMS Distinguished Chair Lecture Notes

Main Navigation Mobile

Events
Event Listings
Upcoming Events
Past Events
Emergent Research: The PIMS Postdoctoral Fellow Seminar
Network Wide Colloquium
Educational Events
Industrial Events
Distinguished Lecture Series
Marsden Memorial Lecture
The Hugh C. Morris Lecture Series
Programs
Scientific Programs
Funding Opportunities
Postdoctoral
Past Postdocs
Postdoctoral Fellows
Collaborative Research Groups
About Collaborative Research Groups
Diagram Categories in Homotopy Theory
Structure-Preserving Discretizations and their Applications
Forecasting and Mathematical Modeling for Renewable Energy
L-Functions in Analytic Number Theory
Novel Techniques in Low Dimension: Floer Homology, representation theory and algebraic topology
Quantum Topology and its Applications
Past CRGs
Algebraic Geometry, Group Cohomology, Representation Theory (AG-GC-RT)
Algorithmic Theory of Networks
Applied Combinatorics
Applied Partial Differential Equations: Modeling, Analysis, and Computation
Applied and Computational Harmonic Analysis
Applied, Algebraic and Geometric Topology
Bayesian Modeling and Computation for Networks
Climate Modelling
Differential Geometry and Analysis
Dynamics and Related Topics
Envirometrics
Explicit Methods for Abelian Varieties
Geometric Analysis
Geometric and Cohomological Methods in Algebra
Geometric and Harmonic Analysis
Geometry and Physics
Geophysical and Complex Fluid Dynamics
High Dimensional Data Analysis
Inverse Problems
L-functions and Number Theory
Mathematical Ecology and Evolution
Mathematical Finance
Mathematical Modeling
Mathematics of Quantum Information
Movement and Symmetry in Graphs
Number Theory
Operator Algebras and Non-commutative Geometry
Optimization: Theory, Algorithms and Applications
Pacific Interdisciplinary hub on Optimal Transport
Partial Differential Equations
Probability and Statistical Mechanics
Quantum Topology
Scientific Computing
String Theory
Topology
PIMS Research Networks
Applying for a PRN
Kantorovich Initiative: 2023-2026
The Maud Menten Institute: 2024-2027
Visitor and Exchange Programs
PIMS Visitors
CNRS Visitors
Institutes Exchange Program
Research Exchange Program
Mentorship & Early Career Programs
PIMS-BIRS Team Up!
First Year Interest Groups (FYIG)
PIMS Experimental Mathematics Lab (VXML/XML)
PIMS Network Wide Courses
Awards & Prizes
CAIMS/PIMS Early Career Award
CRM-Fields-PIMS Prize
UBC/PIMS Mathematical Sciences Early Career Award
Past Programs
Focus Periods
Applied Mathematics Perspectives
Applied, Algebraic and Geometric Topology
Celestial Mechanics
Challenges and Perspectives in Probability
L-functions and Number Theory Focus Period
Models and Methods in Epidemiology, Ecology and Public Health
Optimization
PIMS/Accelerate Canada Focus Period on Partial Differential Equations
Quantum Information
Representations in Arithmetic
Systemic Risk and Financial Networks
Increasing Diversity in Mathematical Sciences Summer School Call for Proposals
International Graduate Training Centre (IGTC) in Mathematical Biology
Mathematics of Planet Earth
Research Impacts
Student Mobility Program
Educational Programs (for K-12)
Funding Opportunities
Education Prize
Programs For Students
Summer Camps
ELMACON
Math Circles
Math Mania
Indigenous Student Summer Camps
Programs for Teachers
Math Teacher Workshops
Math Summer School for Elementary School Teachers
Changing the Culture
Callysto
Changing the culture
Math Summer School for Elementary School Teachers
Education Affiliate Program
Other resources & links
Links
Math Teachers Summer School Educational Resources
Industrial Programs
Funding Opportunities
Math to Power Industry (M2PI)
M2PI Case Studies Virtual Seminar
Lunchbox Lecture Series
Past programs
BCData
Industrial Short Courses
Industrial Workshops
Geomathematics Program
Resources
Resources
Useful Documents
Logos
Conflict Support Fund
Publications
Pi in the Sky
Year In Review
Annual Report
Proceedings
PIMS Connection
PIMS Site Director Reports
M2PI Reports
Archived Publications
PIMS Newsletter
PIMS Industrial Proceedings
Graduate Industrial Mathematics Modeling Camp (GIMMC)
IPSW
PIMS Distinguished Chair Lecture Notes

Secondary Navigation Mobile

About
Mandate
Partnerships
Policies & Statements
Acknowledging PIMS
Code of Conduct
Privacy Policy
Structure and Governance
FAQ
Donate
History
About PIMS
PIMS Sites
People
Directorate
Site Directors
Board
Staff
Postdocs
Visitors
Education Coordinators
Committees & Groups
Network Wide Courses Committee
Equity Diversity and Inclusivity Committee
Indigenous Engagement Committee
Scientific Review Panel
Postdoctoral Research Fellow Review Panel
News & Updates
Contact
CNRS-PIMS IRL
PIMS Europe Fellowships
PIMS-CNRS Postdoctoral Fellowships
Postes Rouges
Visitors

Breadcrumb

People /

Thomas C. Hales

University of Pittsburgh
Scientific, Seminar
Sphere Packings and foams
October 2, 2006
University of Calgary
Event details
Scientific, Seminar
Computer-assisted proofs in geometry
October 4, 2006
University of Calgary
Event details
Scientific, Seminar
Formal proofs in geometry
October 6, 2006
University of Calgary
Event details
Subscribe to the PIMS newsletter

Stay up-to-date with news, events, and other PIMS happenings by subscribing to our Newsletter, or browse past editions of PIMS Connection.

B11A9D27-1C6F-4A8E-80EF-435B8A7D4A78 BCD688A4-77B5-479A-85D5-17A8A86A5CA3

The PIMS mandate is to promote excellent research and applications of the mathematical sciences, to facilitate the training of highly qualified personnel, to create an equitable, diverse and inclusive community in the mathematical sciences, to enrich public awareness of and education in mathematics and to create partnerships with similar organizations around the world.

PIMS hosts an International Research Lab of the CNRS

PIMS at a glance

Upcoming Events
Collaborative Research Groups
PIMS Research Networks
PIMS Sites
PIMS-BIRS Team Up

Contact us

Pacific Institute for the
Mathematical Sciences

4176-2207 Main Mall
Vancouver, British Columbia
Canada, V6T 1Z4

1.604.822.3922

Follow us on Instagram Follow us on Bluesky Follow us on LinkedIn
© Pacific Institute for the Mathematical Sciences     |     Privacy Policy