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

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

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

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

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