In this talk, I will introduce Lean, a popular proof assistant based on dependent type theory. I will give an overview of Lean's community-based mathematical library Mathlib. I will survey the state of the art in using Lean in mathematical research.

The aim of HEPCO@ physics school is to introduce the recent research work carried out at the school of theoretical physics of IPM and strengthen the ties with other active researchers working on similar areas in the region.

The Institute for Research in Fundamental Sciences (IPM; Persian: پژوهشگاه دانشهای بنیادی, Pazhuheshgah-e Daneshhai-ye Boniadi), previously Institute for Studies in Theoretical Physics and Mathematics, is a public research institute in Tehran, Iran. IPM is directed by Mohammad-Javad Larijani, its original

2025年2月26日 · Seen through the lens of the Minimal Model Program, the classification of algebraic varieties can be summarised into two main steps: firstly, the algorithm of the MMP allows to decompose a variety with mild singularities, birationally, into a tower of fibrations whose general fibres have ample, anti-ample, or numerically trivial canonical divisor.

In 1992, a Publication Unit was set up at IPM to produce a quarterly news letter (AKHBAR), technical reports, preprints, lecture notes and proceedings of conferences and workshops. In the year 2000, the Unit was extended into the Information Centre of IPM to continue to provide all the publication services of IPM, and also act as the Webmaster ...

2024年12月2日 · School of Physics of the Institute for Research in Fundamental Sciences (IPM) accepts applications for postdoctoral positions in its active areas of research including High Energy Theory, Cosmology, Black Holes and Gravitational Waves.

School of Physics, IPM February 19-20, 2025 (Esfand 1-2, 1403) The Winter School on Complex Fluids aims to enhance the knowledge of postdoctoral researchers and graduate students, particularly at the doctoral level, in the physics of fluids and complex systems.

The Institute for Research in Fundamental Sciences (IPM) affiliated with the Ministry of Science, Research, and Technology, was founded in 1989 under the name of Institute for Studies in Theoretical Physics and Mathematics (from which it has retained its present acronym).

The founding of the Institute for Research in Fundamental Sciences is a unique experience in the contemporary history of science in Iran: The establishment of an institute for research in the frontiers of science, holding innovation and contribution to the advancement of world science as its standard for achievement.

30th IPM Physics Spring Conference May 17-18, 2023 (17-28 Ordibehesht 1402) More Info. PhD Defense. Moving objects in dry and wet granular materials Salar Abbasi Aghda March 11, 2023, 17:00. More Info. Online School. ... P.O. Box 19395-5531, Tehran - …