A National Institute for Research in the Mathematical and Physical Sciences

Jul 30 -
Alladi Ramakrishnan Hall
Labelled free choice petri nets, finite product automata and expressions by Ramchandra Phawade

Jul 30 -
Room 117
Quantum Thermodynamics by Sagnik Chakraborty

Jul 30 -
Alladi Ramakrishnan Hall
Mechanising Mathematics: Excursions in Interactive Theorem Proving by T V H Prathamesh

Jul 31 -
Alladi Ramakrishnan Hall
Quantum geometry of the interacting Hofstadter system in the honeycomb lattice by Archana Mishra

Jul 31 -
Hall 123
REPRESENTATIONS OF FUNDAMENTAL GROUPS OF COMPACT RIEMANN SURFACE. by Dr. Sanjay Kumar Singh

Jul 31 -
Alladi Ramakrishnan Hall
Integrable lattice models from four dimensional field theory by Zodinmawia