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

With the advent of modern noisy, intermediate-scale quantum (NISQ) devices, the synergy between quantum many-body physics and quantum information is stronger than ever. Quantum information concepts have led to the characterisation of novel quantum phases, both in and out of equilibrium, in many-body systems. Properties such as entanglement structure and information scrambling have provided new insights into the equilibrium and dynamical behavior of these systems. While NISQ devices are a stepping stone towards future fault-tolerant quantum computers, advancements in this direction are greatly benefiting from progress in both theoretical and experimental quantum physics. These include fundamental insights into the dynamics of quantum systems, whether isolated or influenced by environmental noise, and the classification of quantum materials essential for device platforms. Such understanding informs the potential of NISQ devices to discover exotic quantum states that could serve as resour...

The proposed program will discuss climate dynamics and networks, with special attention to climate networks, a network paradigm for the organization and analysis of climate data. We hope to bring together researchers on both aspects.  A good fraction of talks will be talks so that researchers on each aspect will be able to familiarize themselves with the other. We will  involve a good fraction of younger researchers, so that activity in this area, which has important applications can grow in the country.The lectures will  focus on the methods and characterizers required for the analysis of climate systems, both from the point of view of analysis and predictions. This involves the study of climate dynamical systems and bifurcation behavior, network characterizers, as well as percolation based measures. We hope to have short pedagogic modules which will introduce each of these separately, and also  discuss their implications for phenomena like the El Nino and La Nina phenomena, the India...

The study of zero mean curvature surfaces in $\mathbb{R}^3$ (minimal surfaces) has witnessed significant progress since its initiation over 200 years ago. However, the topics of maximal surfaces (ZMC surfaces) in the Lorentz-Minkowski space and ZMC surfaces in hyperbolic spaces,  are relatively recent. The proposed meeting on Zero Mean Curvature surfaces aims to bring together leading experts in the areas  to discuss a wide range of topics- new challenges, problem-solving methodologies. Early-career researchers will have the opportunity to engage with the most significant and promising problems within these domains. This discussion meeting is intended to inspire faculty, students, and postdocs to delve into this vibrant and evolving field of research.During the five-day discussion meeting, the final day will be reserved for open discussions to encourage potential collaborations. There will be mini-courses by subject experts of introductory nature for younger researchers, who are  not e...

This meeting focuses on the recent advances taking place in our understanding of kagome metals with a particular emphasis on following sub-fields:1. Intertwined Density-wave and Superconducting order2. Leading and subleading nematic fluctuations3. Itinerant vs Localized Magnetism and Electronic instabilitiesThe subtle interdependence of Fermiology, interactions, and a multi-sublattice unit cell lies at the heart of the intriguing scenario of correlated electrons in a kagome metal. While typical metallic parent states feature Fermi surface instabilities dictated by screened Coulomb interactions recast by a Hubbard coupling U , the sublattice interference in kagome metals naturally render longer-randed coupling pivotal in understanding the effective interactions of electronic states at and around the Fermi level. Together with a likewise intriguing characteristic phonon spectrum and possibly significant electron-phonon coupling, kagome metals present themselves as a particularly rich cor...

Join us for a one-day hybrid symposium as we delve into the groundbreaking discoveries from the Dark Energy Spectroscopic Instrument (DESI) and the extended ROentgen Survey with an Imaging Telescope Array (eROSITA). This first-of-its-kind-in-India event will have eminent scientists from these large collaborations, talking about these surveys, offering an opportunity to explore the frontiers of research in cosmology and large-scale structures of the Universe. The symposium is aimed at looking at the latest revelation concerning the mysteries of dark energy, new constraints of neutrinos, the latest map of the large-scale structure of the universe, and unveiling an all-sky catalogue of the largest virialized objects in our Universe shining brightly in X-Rays. These two latest and largest surveys bring unique insights into the formation and evolution of galaxies, the distribution of matter on cosmic scales, and the elusive nature of dark matter.Rarely in the history of astroparticle physic...