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

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

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

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