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 ...

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....

We are living in an exciting era of great discoveries in the field of gravitational physics. The detection of gravitational waves by the LIGO-VIRGO-KAGRA (LVK) collaboration starting from  2016 has already led to an enormous interest in various aspects of the physics of compact objects. The recent observations of the shadows of the galactic centers for M87 and Milky Way, by the Event Horizon Telescope (EHT), have further resulted into diverse research programs on the nature of compact objects. The primary emphasis of these observations is to test the theory of general relativity at the strong-field regime and to understand the nature of the astrophysical compact objects. Several recent developments led to the extensive use of various new mathematical and computational techniques to probe the physics associated with these compact objects. The primary motivation of the school would be to learn from leading researchers about several crucial aspects of the physics of compact objects. The p...

Cooperation is seen across all biological scales ranging from cells to societies. In organisms like bacteria, the decision-making process is genetically hardwired but higher animals endowed with cognitive abilities have to make choices that can affect not only their own survival but also that of their group.Uncovering the organizing principles that lead to evolution of cooperation is an issue of fundamental importance that transcends disciplinary boundaries. Insights can be obtained from studying biological communities, through mathematical and agent-based modeling, cognitive science, social network dynamics and behavioral economics. Such investigations can also lead to the understanding of other intriguing evolutionary phenomena like opinion dynamics, evolution of fairness and spiteful behaviour. Evolutionary Game Theory  provides a powerful framework for addressing such questions in the context of both biological and cultural evolution. In this program, we will therefore be addressin...

This is a two-week thematic program with a focus on recent developments in Teichmüller theory which promise to be fertile in the near future. These includeThe metric theory of Teichmüller spaces and other spaces, including the recent breakthroughs in the Thurston metric.Higher Teichmüller theory, and its interplay with Higgs bundles, algebraic geometry and Anosov representations.The Teichmüller theory of infinite-type surfaces, including their quasiconformal theory and what is known as the ``big" mapping class group.Relations with anti-de Sitter geometry.The techniques for these areas come from complex analysis, hyperbolic geometry, dynamics, partial differential equations, projective geometry, geometric and combinatorial group theory, algebraic geometry, Kähler geometry and other fields —  these often give several points of view on the same objects showing the richness of the theory.The workshop will consist of a series of mini-courses (with lectures typically totalling 3 hours) toget...

The workshop aims to bring together experts from two different disciplines: mathematical aspects of scattering amplitudes, and cosmology. In the last decades we have got a tremendous amount of insights in the structure of perturbative on-shell scattering amplitudes. This includes unitarity methods, recursion relations, worldsheet models, bootstrap methods and more recently also an intriguing connection to positive geometry, positive Grassmannian, Associahedron and the Amplituhedron. This all pushes us closer to a reformulation of the perturbative S-matrix using a completely new set of principles. At the same time, similar remarkable structures have been observed in cosmological correlators, which are fundamental objects capturing the physics of our Universe. This connects two seemingly different fields of theoretical physics. This workshop will help to advance these connections further.Eligibility criteria:Registrations for the PGSAC Program are open to graduate students and researcher...

The progress in parallel of high-speed electronics and low temperature technologies has revolutionized the study of quantum matter. Many of the gedanken experiments of the fathers of quantum mechanics are now realized routinely, as well as many new ones that the founders could hardly have dreamed of.  The possibility of quantum-based encryption, communication and computing is getting concrete and some real implementations are already available. This so-called second quantum revolution which is mostly yet to come will be the fruit of a close collaboration between theory (theoretical physics, but also applied mathematics) and experiment.Our aim is to address some of the central theoretical open questions in the field. The program will be centered around three main topics:(i) Quantum trajectories and Quantum control,(ii) Measurement induced phase transitions and finally,(iii) Quantum information and computation.The goal of this program is to gather researchers from the above areas, from t...

The establishment of the complete framework of Quantum Mechanics is one of the epochal events of not just science, but human history. In addition to giving a highly successful theoretical basis for understanding the universe of the very small, the very large and the very complex, its technological spin offs are the mainstay of modern civilization. ICTS plans to celebrate the centenary of modern quantum mechanics and look towards the emerging frontiers which will shape the next 100 years. Thus, in the QM100 meeting we plan to gather a galaxy of international scientists in areas ranging across Quantum Mechanics in all its manifestations with different themes from High Energy Physics, String Theory, Cosmology, Condensed Matter Physics, Atomic and Molecular Physics, Quantum Chaos as well as Quantum Information/Computing and Mathematics.In-person participation is by invitation only. There will, however, be an option for online participation. We may be able to accommodate a selected few youn...

The experimental detection of gravitational waves (GWs) due to the merger of astrophysical objects like black holes and neutron stars is one of the biggest discoveries in physics. The GWs can also be sourced from several other cosmological phenomena, and their amplitudes and frequencies vary in a wide range. The detection of these gravitational waves can potentially probe fundamental physics beyond the Standard Model (BSM) of particle physics and cosmology. For example, inflation is associated with several sources of tensor perturbations during inflation and the ones generated during reheating and preheating. Each of these propagates as detectable Stochastic GW background (SGWB) signals. Associated with inflation is also the collapse of density fluctuations to form Primordial Black Holes (PBH), leaving signatures in induced GWs and non-gaussianities. Cosmological first-order Phase Transitions (PT) during which the universe transitions from a false vacuum to a true vacuum leads to bubbl...

Organized with support from CEFIPRA      The idea of this Indo-French workshop is to gather specialists in the field of classical and quantum out-of-equilibrium dynamics and to initiate collaborative research programs, training programs and scientific exchanges between the two countries.Recently a joint Indo-French international research project (IRP) on "Classical and quantum dynamics in out of equilibrium systems" was proposed between several laboratories of theoretical physics in France and in India. CNRS has approved this project whose  Principal Investigators are Satya Majumdar (LPTMS), Gregory Schehr (LPTHE), Gautam Mandal (TIFR) and Manas Kulkarni (ICTS). The goal of the CEFIPRA supported workshop is to bring together people within this Indo-French international research project (and people not involved directly in the project) so that they can identify areas of common interests leading to possible future collaborations.There is much interest on the French side, in CNRS as well ...