Search Collections

Interactive Theorem Provers (or Proof Assistants) are tools that verify and partially automate mathematical proofs. The process of encoding mathematics into these systems, known as formalisation, has gained significant interest due to its role in proof verification, generating verified code for computer algebra systems, and expanding digital mathematical libraries. It seems likely with the growth in sophistication of proof assistants, and progress of Generative AI technologies, interactive theorem provers will become a useful aide for research and teaching of mathematics.  Lean, a leading proof assistant, has grown in popularity thanks to its extensive mathlib library, which now covers most undergraduate mathematics and beyond. Notable milestones include the Liquid Tensor Experiment, which formalised a key result by Fields medalist Peter Scholze, and the rapid formalisation of the Polynomial Freiman-Ruzsa Conjecture led by Terry Tao.The goal of the workshop is to introduce mathematicia...

This is an annual discussion meeting of the Indian statistical physics community attended by scientists, postdoctoral fellows and graduate students, from across the country, working in the broad area of statistical physics.This meeting will be the 10th in the series. The following list of topics, that are covered in STATPHYS meetings of the International Union of Pure and Applied Physics, will be covered in this discussion meeting.General and mathematical aspectsRigorous results, exact solutions, probability theory, stochastic field theory, phase transitions and critical phenomena at equilibrium, information theory, optimization, etc.Out-of-equilibrium aspectsDriven systems, transport theory, relaxation and response dynamics, random processes, anomalous diffusion, fluctuation theorems, large deviations, out-of-equilibrium phase transitions, etc.Quantum fluids and condensed matterStrongly correlated electrons, cold atoms, graphene, mesoscopic quantum phenomena, fractional quantum Hall e...

The Turing lectures will be delivered by Prof. Gabriel Mindlin, University of Buenos Aires, Argentina, on the topic of The Physics of Birdsong. His recent work on the recovery of the songs of extinct species has received much attention and acclaim. He is an acknowledged expert in the field and is also the winner ofthe ICTP prize for his work on the subject and numerous other honours. The Turing lectures are expected to provide an overview of the neurophysical mechanisms that lead to the production of birdsong, the acoustic effects that the avian vocal organ generates, and the neural instructions needed to drive it. This topic draws on analysis and techniques from neuroscience, dynamics, and data science. Hence the discussion meeting  draws on speakers from all three topics. In addition to the tentative list of invited speakers below, we hope to invite about 15 researchers, consisting of young faculty, students and postdoctoral fellows with background in the above to participate in the ...

This 5-day program will explore the intersection of AI and fundamental theoretical physics. The event will feature two components, a symposium and a workshop, centered around two complementary themes: AI for theoretical physics and theoretical physics for AI.

The program will begin on April 7 and 8 with a large symposium with speakers and panel discussions focusing on the promise of AI to accelerate progress in theoretical physics. These talks will address the possibilities and challenges associated with AI ‘doing science.’ The event will bring together physicists, engineers, AI researchers, and entrepreneurs to collect different perspectives on what the future of theoretical physics will look like, the engineering challenges we should expect along the way, what tools and collaborations will be needed to help get us there, and what exciting steps are already underway. 

Registration for the symposium is available on the symposium website. 

The symposium will be followed by a workshop on April 9, 10, 11 focusing on developing a theoretical framework for AI enabling the development of reliable, robust, and interpretable AI models for physics. Recent advances in theoretical foundations of AI, inspired by techniques from string theory, quantum field theory (QFT), and statistical physics, have uncovered parallels between AI systems and physical theories, utilizing methods like renormalization group (RG) flows, Feynman path integrals etc. to deepen understanding of deep neural networks (DNNs), generative AI (e.g., LLMs and diffusion models), and scaling laws. Key topics include physics-informed optimization and learning, the role of RG and QFT for DNNs and generative AI, and the application of physics to AI interpretability. Through interdisciplinary dialogue, the event aims to foster collaborations, advance the theoretical foundations of AI, and explore its potential in areas like theoretical physics and mathematics.

Speakers:

• David Berman (Queen Mary University of London)
• Blake Bordelon (Harvard University)
• Jordan Cotler (Harvard University)
• Hugo Cui (Harvard University)
• Alessandro Favero (EPFL)
• Ro Jefferson (Utrecht University)
• Yonatan Kahn (University of Toronto)
• Dmitry Krotov (IBM)
• Bruno Loureiro (École Normale Supérieure in Paris)
• Luisa Lucie-Smith (The University of Hamburg)
• Cengiz Pehlevan (Harvard University)
• Rob Spekkens (Perimeter Institute)

 

Scientific Organizers:

• Anindita Maiti (Perimeter Institute)
• Matt Johnson (Perimeter Institute)
• Sabrina Pasterski (Perimeter Institute)

 

Advisory Committee:

• Achim Kempf (University of Waterloo)
• Cengiz Pehlevan (Harvard University)
• Hiranya Peiris (University of Cambridge)
• Roger Melko (University of Waterloo)

 

 

*virtual presentation

Scientific Organizers:

• Matthew Johnson (Perimeter Institute) 

• Anindita Maiti (Perimeter Institute) 

• Sabrina Pasterski (Perimeter Institute)

Advisory Committee:

• Mykola Semenyakin (Perimeter Institute)

 

The Square Kilometre Array (SKA), set to begin operations in 2027, will be the world’s largest radio telescope marking one of the great scientific and engineering feats of the 21st century. The SKA will advance a wide range of research areas within astronomy, with a major focus on cosmology and radio continuum science at low and mid frequencies. Despite their different objectives, these two fields share a substantial overlap and thus stand to benefit from collaborative efforts in joint observation strategies, data calibration, and innovative analysis techniques.This two week long program aims to bring together national and international experts in radio cosmology and continuum science, fostering collaboration and training the next generation of researchers in these areas. The program will have two main components: a program and a school.The program (7-11 April 2025) will focus on the current state of observation, modelling, and inference tools for radio cosmology and continuum science....

This course will cover quantum phases of matter, with a focus on long-range entangled states, topological states, and quantum criticality. Instructor: Chong Wang/Subhayan Sahu Students who are not part of the PSI MSc program should review enrollment and course format information here: https://perimeterinstitute.ca/graduate-courses

This course in Cosmology provides a theoretical overview of the standard cosmological model. Key topics include the FRW metric and the homogeneous universe, the thermal history of the universe (with an emphasis on the hot Big Bang and equilibrium thermodynamics), inflation and scalar field dynamics, along with selected aspects of cosmological perturbation theory (time permitting). Instructor: Neal Dalal/Ghazal Geshnizjani Students who are not part of the PSI MSc program should review enrollment and course format information here: https://perimeterinstitute.ca/graduate-courses

We will cover the basics of the gauge/gravity duality, including some of the following aspects: holographic fluids, applications to condensed matter systems, entanglement entropy, and recent advances in understanding the black hole information paradox. Instructor: David Kubiznak/Gang Xu Students who are not part of the PSI MSc program should review enrollment and course format information here: https://perimeterinstitute.ca/graduate-courses