Click here for Seminars during
Today's Seminar
-
16-02-26
Computer Science Seminar
Date: Monday, 16 February 2026
Time: 2.00 p.m.
Venue: Seminar Hall
A simple proof of Kamp's Theorem
Paul Gastin
LMF, ENS Paris-Saclay, France. Abstract Kamp proved in his PhD (1968) that linear temporal logic (LTL) has the
same expressive power as first-order logic (FO) over the time domains
of natural numbers or of real numbers. Several alternative proofs of
Kamps Theorem were later given, all of them being notoriously
difficult. In this talk, I will give a self-contained proof of Kamps
theorem over finite (or infinite) words. I will only assume some basic
knowledge on first-order logic.
Today's Seminar
-
16-02-26
Physics Seminar
Date: Monday, 16 February 2026
The format of the talk is:
Pre-seminar: 11.00-11.30am
Coffee Break: 11.30-11.45am
Main seminar: 11.45am-1.00pm
Venue: Lecture Hall 6
Doubly Separable Spacetimes and Symmetry Constraints on their Self-Gravitating Matter Content
Prashant Kocherlakota
Chennai Mathematical Institute. Abstract Solution generating techniques are often used to construct stationary,
axisymmetric spacetimes in general relativity. In this talk, I will
revisit a variant of the Newman Janis algorithm and show that it
yields only highly symmetric 'doubly separable' spacetimes, where both
the geodesic and scalar-wave equations separate. The strong symmetry
of these geometries imposes stringent constraints on possible matter
sources. We will see that they cannot arise from massless scalar
fields or perfect fluids, and that electromagnetic sources lead only
to the Kerr-Newman family. While such metrics are useful for studying
black hole shadows and quasinormal modes, our results underscore that
not all algorithmically generated spacetimes correspond to physically
consistent matter configurations.
Today's Seminar
-
16-02-26
Talk Announcement
Date: Monday, 16 February 2026
Time: 3.30 p.m.
Venue: Seminar Hall
Diagnosis - a privilege of the laboratory in medical practice
Dr. Raji Swamy
Abstract From the time of Hippocrates, a 5th century BCE, Greek philosopher,
known as the father of medicine, when the practice of medicine was
called Art, to this day, the practice has evolved into a well
organised Health care system after traversing many a milestones.
A host to many interrelated disciplines, the practice is evidence
based. The challenges facing medical practice: Diagnosis, prevalence,
prevention, treatment and rehabilitation (when necessary). Before the
advent of the clinical laboratory and the X ray (radiology), and now
designated Imaging, diagnosis was based on intuition and imagination.
Laboratory investigations as part of health care was recognised in the
late nineteenth and early twentieth century. Since then the progress
has been phenomenal.
Laboratory medicine also paved the way for getting insights into the
basic sciences. Structure - Anatomy Function - Physiology Which in
turn, led to altered structure and function (disease), leading to
Pathology and Biochemistry. Till the nineteen sixties, the Clinical
Laboratory was a single department in a hospital, under the banner of
Pathology.
It had various sections Haematology for Anemia, Leukaemia, Clotting
disorders, and Blood Transfusion. Bacteriology for infection by
microbes. Biochemistry- chemical analysis of blood and urine for liver
and kidney and metabolic diseases. By mid seventies, these became
individual disciplines, the university offering separate degrees for
each. Today we have even more, thanks to the sophisticated
instrumentation and computerisation.
Now we confidently command Precision and Punctuality of
reporting. When I started my career as a Resident Pathologist in the
late sixties, laboratory was a single department. I had the benefit of
getting trained in Hematology, Pathology (including postmortem and
transfusion), Biochemistry and Bacteriology.
From this humble beginning, I chose to specialise in Biochemistry. A
career spanning close to half a century, I often experienced
uncertainties, anxiety, frustration, triumph and satisfaction.
I would like to share my experiences.
Speaker bio: Dr. Raji Swamy, did her MBBS in Topiwala National Medical
college, Mumbai, MD in JIPMER Puducherry and PhD in National Institute
of Research in Tuberculosis Chennai. She has worked as a Pathologist
in Topiwala National Medical College, Mumbai Southern Railway
Hospital, Chennai, National Institute of research in Tuberculosis,
Chennai, Devaki Hospital, Chennai and Sundaram Medical Foundation,
Chennai.
Forthcoming Seminars
-
18-02-26
Lecture series announcement
Date: 11, 18 and 20 February 2026
Time: 9.10 - 10.30 a.m.
Venue: LH801
Proof of Zielonka's theorem through Propositional Dynamic Logic and Cascade products
Paul Gastin
LMF, ENS Paris-Saclay, France.
-
20-02-26
Seminar Announcement
Date: Friday, 20 February 2026
Time: 3.30 - 4.45 p.m.
Venue: Seminar Hall
Elliptic Characteristic Classes and Hecke Algebra
Andrzej Weber
Mathematical Institute, University of Warsaw.
-
26-02-26
Lecture Announcement
Date Thursday, 26 February 2026
Time: 3:30 p.m.
Venue: Seminar Hall
Scaling of multidimensional matrices and their applications
T E S Raghavan
Dept. of Math, Stat and computer Science, University of Illinois at Chicago.
Past Seminars (this year)
-
10-02-26
Lecture Series on Social Choice Theory
Lectures 1 and 2: Tuesday, 3 February 2026, from 10:30 a.m. to 1:05 p.m.
Lectures 3 and 4: Tuesday, 10 February 2026, from 10:30 a.m. to 1:05 p.m.
Venue: Lecture Hall 801
Lecture Series on Social Choice Theory
Ori Livson
University of Sydney.
-
09-02-26
Seminar Announcement
Date: Monday, 9 February 2026
Time: 3.30 p.m. to 4.30 p.m.
Venue: Lecture Hall 3
Condorcets Paradox as Non-Orientability
Ori Livson
University of Sydney, Australia.
-
04-02-26
Physics Seminar
Date: Wednesday, 4 February 2026
Time: 2.00 to 3.00 p.m.
Venue: Lecture Hall 4
Bayesian inference of neutron star equations of state and analysis of stellar oscillations
Debanjan Guha Roy
BITS Pilani, Hyderabad Campus.
-
09-02-26
Physics Seminar
Date: Monday, 9 February 2026
Time: 11.00 a.m. to 1.00 p.m.
Venue: Lecture Hall 6
The Geometrical Trinity of Gravity & Its Implications for Neutron Star Structure
Sneha Pradhan
BITS Pilani, Hyderabad.
-
03-02-26
Seminar Announcement
Date: Tuesday, 3 February 2026
Time: 2.00 to 3:30 p.m.
Venue: Lecture Hall 1
Group Order and Group Non-Membership is in QCMA
Dhara Thakkar
Graduate School of Mathematics, Nagoya University.
-
06-02-26
Seminar Announcement
Date: Friday, 06 February 2026
Time: 3.30 p.m.
Venue: Seminar Hall
q-opers, QQ-systems and Bethe Ansatz for spin chains
Rahul Singh
YMSC, Tsinghua University.
-
02-02-26
Lecture Announcement
Date: Monday, 2 February 2026
Time: 2.00 p.m.
Venue: Seminar Hall
On Proper Descent of Smooth Affine Surfaces with Finite Homotopy Rank-Sum
Buddhadev Hajra
ISI Kolkata.
-
02-02-26
Physics Seminar
Date: Monday, 2 February 2026
Venue: Lecture Hall 6
Time: 11.00 a.m. to 1.00 p.m
String Compactifications And Cosmological Solutions, GKP Geometric Moduli
Ratul Mahanta
USTC, Hefei.
-
30-01-26
Physics Seminar
Date: Friday, 30 January 2026
Time: 11:45 a.m.
Venue: Seminar Hall
LIGO-India and the future of Gravitational Wave Astronomy
Sanjit Mitra
IUCAA, Pune.
-
28-01-26
Seminar Announcement
Date: Wednesday, 28 January 2026
Time: 3.30 to 4.30 p.m.
Venue: Seminar Hall
Some early Ramsey type theorems and some applications
S. D. Adhikari
RKMVERI.
-
04-02-26
Lecture series announcement
Dates: 27, 28, 30 January and 2 & 4 February 2026
Time: 3.45 to 4.45 PM
Venue: NKN Hall (hybrid mode)
Mock modularity of Calabi-Yau threefolds and BPS black holes
Sergey Alexandrov
Laboratoire Charles Coulomb and University of Montpellier, CNRS, France.
-
03-02-26
Lecture series announcement
The dates of his lectures are:
Lectures 1 and 2 will be on January 16 at 3:30 p.m. Both talks will be 45 minutes long, with a short break.
Lectures 3 and 4 will be on January 27 and 29 from 3:30 p.m. to 4.30 p.m.
Lectures 5 and 6 will be on February 2 and 3 from 3:30 p.m. to 4.30 p.m.
Venue: Seminar Hall, CMI (hybrid mode)
Actions of finite group schemes
Michel Brion
Institut Fourier at the UniversitE Grenoble Alpes, France.
-
23-01-26
Physics Seminar
Date: Friday, 23 January 2026
Time: 10.30 a.m. to 11.30 a.m.
Venue: Lecture Hall 6
Emergent Higher-Spin Symmetry on the Celestial Sphere from Loop-Corrected Soft Photon Theorems
Biswajit Sahoo
Kings College, London.
-
22-01-26
Physics Seminar
Date: Thursday, 22 January 2026
Venue: Lecture Hall 2
Time: 1.30 p.m to 2.45 p.m.
Modeling the gravitational-wave memory for coalescing compact binaries
Marc Favata
Montclair State University, USA.
-
16-01-26
Data Science Seminar
Date: Friday, 16 January 2026
Time: 2:00 p.m.
Venue: NKN Hall
Small Language Models: Design, Fine-Tuning and Deployment
Sudhir Kumar
Coriolis Technologies.
-
16-01-26
Seminar Announcement
Date: Friday, 16 January 2026
Time: 11.45 a.m.
Venue: Seminar Hall
Class groups of Kummer extensions associated to CM Elliptic curves
Arindam Bhattacharya
University of Massachusetts, Amherst.
-
16-01-26
Seminar Announcement
Date: Friday, 16 January 2026
Time: 11.45 a.m
Venue: Lecture Hall 1
A new characterization of VNP via Colored Determinant
Prasad Chaugule
IIT Delhi.
-
13-01-26
Seminar Announcement
Date: Tuesday, 13 January 2026
Time: 12:00 p.m
Venue: Lecture Hall 4
On the relative power of reduction notions in different characteristics
Prasad Chaugule
IIT Delhi.
-
13-01-26
Physics Seminar
Date: Tuesday, 13 January 2026
Time: 3:45 p.m.
Venue: Lecture Hall 6
Mock Modular forms and Vafa Witten Theory
Aradhita Chattopadhyaya
Chennai Mathematical Institute.
-
12-01-26
Physics Seminar
Date: Monday, 12 January 2026
Time: 3:45 p.m.
Venue: Lecture Hall 6
Mock Modular forms and Vafa Witten Theory
Aradhita Chattopadhyaya
Chennai Mathematical Institute.
-
12-01-26
Physics Seminar
Date: Monday, 12 January 2026
Time: 11.00 am to 1.00 p.m.
Venue: Lecture Hall 6
Boundary Energy-Momentum Tensors for Asymptotically Flat Spacetimes
Vijay Nenmeli
University of Edinburgh.
-
09-01-26
Computer Science Seminar
Date: Friday, 9 January 2026
Time: 2.00 - 3.15 p.m.
Venue: Seminar Hall
The complexity of the factors of polynomials
Somnath Bhattacharjee
University of Toronto.
-
07-01-26
Lecture Announcement
Date: Wednesday, 7 January 2026
Time: 4:00 p.m. - 4:30 p.m.
Venue: Seminar Hall
A Torelli type theorem for elliptic curves
Tomasz Szemberg
University of the National Education Commission, Krakow, Poland.
-
07-01-26
Lecture Announcement
Date: Wednesday, 7 January 2026
Time: 3:30 - 4:00 p.m.
Venue: Seminar Hall
Configurations of points in projective space and their projections
Justyna Szpond
University of the National Education Commission, Krakow, Poland.
-
06-01-26
Seminar Announcement
Date: Tuesday, 6 January 2026
Time: 2.00 to 3.30 p.m.
Venue: Seminar Hall
Redundancy is all you need (for CSP sparsification)
Venkatesan Guruswami
UC Berkeley and Simons Institute.
-
05-01-26
Seminar Announcement
Date: Monday, 5 January 2026
Time: 2.00 to 3.30 p.m.
Venue: Seminar Hall
Optimal Proximity Gaps for Subspace-Design Codes and (Random) Reed-Solomon Code\
s
Rohan Goyal
MIT.
-
05-01-26
Mathematics Seminar
Date: Monday, 5 January 2026
Time: 3.30 to 4.30 p.m.
Venue: Seminar Hall
The inverse system of Gorenstein points
Maria Evelina Rossi
University of Genoa.
|