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 …

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 …

The Institute for Research in Fundamental Sciences (IPM; Persian: پژوهشگاه دانشهای بنیادی, Pazhuheshgah-e Daneshhai-ye Boniadi), previously Institute for Studies in Theoretical …

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 …

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 …

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 …

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, …

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 …

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 …

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, …