http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display
Display calendar eventsFor dislay purposehttp://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=2348&Date=2015%2F7%2F30
http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=2348&Date=2015%2F7%2F30
Jul 30 -
* Venue : Alladi Ramakrishnan Hall
* Speaker : Ramchandra Phawade
* Title : Labelled free choice petri nets, finite product automata and expressions
Affiliation : IIT Bombay
Abstract :
* Announcement?: Public
* Refreshments?: After the event
* Honorarium? : None
* Special Arrangements?: Digital Projection/audio/video
* Host name and email: Kamal Lodaya @@ <a href="mailto:kamal@imsc.res.in" >kamal@imsc.res.in</a>http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=137&Date=2015%2F7%2F30
http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=137&Date=2015%2F7%2F30
Jul 30 -
* Venue : Room 117
* Speaker : Sagnik Chakraborty
* Title : Quantum Thermodynamics
Affiliation : IMSc
Abstract : Quantum thermodynamics is a subject which, as the name suggests is an intersection of thermodynamics and quantum mechanics. There has been some research done showing that small quantum systems or specifically qubits can actually be made a part of thermal machines. In the following papers that I am going to follow it goes a bit further to show that refrigerators can be designed which are almost self contained, in a sense that only some qubits have contact with macroscopic heat reservoirs and otherwise completely independent of interactions with macroscopic objects.<br><br>References: <br><br><a href="http://journals.aps.org/prl/abstract/10.1103/PhysRevLett.105.130401" target="_blank" >journals.aps.org/prl/abstract/10.1103/PhysRevLett.105.130401</a><br><a href="http://iopscience.iop.org/1751-8121/44/49/492002" target="_blank" >iopscience.iop.org/1751-8121/44/49/492002</a>
* Announcement?: Institute
* Refreshments?: None
* Honorarium? : None
* Special Arrangements?: None
* Host name and email: http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=2350&Date=2015%2F7%2F30
http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=2350&Date=2015%2F7%2F30
Jul 30 -
* Venue : Alladi Ramakrishnan Hall
* Speaker : T V H Prathamesh
* Title : Mechanising Mathematics: Excursions in Interactive Theorem Proving
Affiliation : IMSc
Abstract : Mechanisation of Mathematics refers to the use of computers to generate or<br>check mathematical proofs. An interactive theorem prover is a software tool<br>which partly automates and checks such 'proofs' by human-machine<br>collaboration. The potential impact of recent developments in interactive<br>theorem proving on the practice of everyday mathematics range from their use in verification of mathematical proofs (Kepler's Conjecture/Theorem, Four Color Theorem and Feit Thompson theorem) to a renewed interest in logical foundations of mathematics (Homotopy Type Theory by Voevodsky et al). In this talk, I intend to present a brief survey of the history and current developments in interactive theorem proving, while simultaneously addressing questions about necessity and importance of such an endeavor. I intend to present a working demonstration of an interactive theorem prover called Isabelle, and briefly discuss my related work about formalization of results in knot theory in Isabelle/HOL.
* Announcement?: Institute
* Refreshments?: Before the event
* Honorarium? : None
* Special Arrangements?: Digital Projection/audio/video
* Host name and email: Amritanshu Prasad @@ <a href="mailto:amri@imsc.res.in" >amri@imsc.res.in</a>http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=902&Date=2015%2F7%2F31
http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=902&Date=2015%2F7%2F31
Jul 31 -
* Venue : Hall 123
* Speaker : R. Rajesh
* Title : Summer students
Affiliation :
Abstract :
* Announcement?: None
* Refreshments?: None
* Honorarium? : None
* Special Arrangements?: None
* Host name and email: Rajesh Ravindran @@ <a href="mailto:rrajesh@imsc.res.in" >rrajesh@imsc.res.in</a>http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=2356&Date=2015%2F7%2F31
http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=2356&Date=2015%2F7%2F31
Jul 31 -
* Venue : Alladi Ramakrishnan Hall
* Speaker : Archana Mishra
* Title : Quantum geometry of the interacting Hofstadter system in the honeycomb lattice
Affiliation : IMSc
Abstract :
* Announcement?: None
* Refreshments?: None
* Honorarium? : None
* Special Arrangements?: None
* Host name and email: Ganesh Ramachandran @@ <a href="mailto:ganesh@imsc.res.in" >ganesh@imsc.res.in</a>http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=901&Date=2015%2F7%2F31
http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=901&Date=2015%2F7%2F31
Jul 31 -
* Venue : Hall 123
* Speaker : Dr. Sanjay Kumar Singh
* Title : REPRESENTATIONS OF FUNDAMENTAL GROUPS OF COMPACT RIEMANN SURFACE.
Affiliation : IMPAN(Warsaw,Poland)
Abstract : In this talk I will start with the representation of fundamental group of a compact Riemann surface.I will explain relationship between vector bundles and representations of the fundamental group of surface.In the end I will state "The Narasimhan–Seshadri Theorem" which establishes a correspondence between stable vector bundles over a compact Riemann surface and unitary representations of the fundamental group of the surface.
* Announcement?: None
* Refreshments?: None
* Honorarium? : None
* Special Arrangements?: None
* Host name and email: K N Raghavan @@ <a href="mailto:knr@imsc.res.in" >knr@imsc.res.in</a>http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=2352&Date=2015%2F7%2F31
http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=2352&Date=2015%2F7%2F31
Jul 31 -
* Venue : Alladi Ramakrishnan Hall
* Speaker : Zodinmawia
* Title : Integrable lattice models from four dimensional field theory
Affiliation : IMSc
Abstract : Kevin Costello (arXiv:1303.2632) had constructed a four dimensional field theory by deforming and<br>twisting a 4d pure N=1 supersymmetric gauge theory. He had proved that this field theory is related to<br>integrable lattice models whose R-matrices are the same as R-matrices with spectral parameter constructed<br>by Drinfeld using quantum groups. We are currently trying to gain new insight into this relation and<br>attempt to find a simpler proof. Since this is a work in progress, the talk will be mostly a<br>review of Costello's work (arXiv:1303.2632).<br> I will also talk about another work in progress where we are trying to test the quantum volume<br>conjecture put forward by Sergei Gukov (arXiv:hep-th/0306165) using the exact partition function of BTZ<br>black hole obtained by T.R Govindarajan, Romesh Kaul and V. Suneeta (arXiv:gr-qc/0104010).
* Announcement?: Institute
* Refreshments?: Before the event
* Honorarium? : None
* Special Arrangements?: None
* Host name and email: http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=608&Date=2015%2F8%2F3
http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=608&Date=2015%2F8%2F3
Aug 3 -
* Venue : Room 327
* Speaker : Arya Mitra
* Title : Stability of motion in Hamiltonian perturbation theory
Affiliation : IMSc
Abstract :
* Announcement?: None
* Refreshments?: None
* Honorarium? : None
* Special Arrangements?: None
* Host name and email: Manjari Bagchi @@ <a href="mailto:manjari@imsc.res.in" >manjari@imsc.res.in</a>http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=2360&Date=2015%2F8%2F4
http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=2360&Date=2015%2F8%2F4
Aug 4 -
* Venue : Alladi Ramakrishnan Hall
* Speaker : Karimilla Bi
* Title : Cellularity, Modular Representations, and Gram Matrices of a Class of Diagram Algebra
Affiliation : IMSc
Abstract : 1. Given a Gram matrix, is that possible to write the entries of the reduced Gram matrix obtained after applying the column and row operations from the corresponding diagrams for signed partition algebras introduced by S. Parvathi in 2011?.<br><br>2. To compute the distinct eigenvalues of this reduced Gram matrix of the signed partition algebras?<br><br>In this connection, we realize that the signed partition algebras are tabular algebras and hence cellular algebra which was due to R. M. Green and P. P. Martin. As a consequence of cellularity, there exists a bilinear form and from which Gram matrix of signed partition<br>algebras can be defined.<br><br>The above work is also extended to the algebra of $\mathbb{Z}_2$-relations introduced by V. Kodiyalam, R. Srinivasan and V. S. Sunder in 2000 and partition algebras introduced by P. P. Martin and V. F. R. Jones in 1990.
* Announcement?: Institute
* Refreshments?: None
* Honorarium? : None
* Special Arrangements?: None
* Host name and email: Amritanshu Prasad @@ <a href="mailto:amri@imsc.res.in" >amri@imsc.res.in</a>http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=2349&Date=2015%2F8%2F4
http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=2349&Date=2015%2F8%2F4
Aug 4 -
* Venue : Alladi Ramakrishnan Hall
* Speaker : Prof. B.J. Rao
* Title : Replication Forks & Chromosome Territories: Signaling mechanisms during their repairs
Affiliation : Department of Biological Sciences, TIFR, Mumbai
Abstract : Chromosomes are functionally dynamic entities. They exhibit non-random spatial distribution that reversibly change during DNA Damage Response. A signalling cascade initiated by ATM apical kinase marks DNA damaged chromatin foci whose remodelling is innately associated with spatial changes in chromosomes. Thus the microscopic changes (chromatin foci) are causally connected to macroscopic changes in the genome (spatial movements of chromosomes). We discovered that nuclear myosin recruitment to chromosomes makes this connect. The intricate details of such a cross-talk are still unknown. Replication Forks are other examples of microscopic functional zones in chromosomes that operate locally, but impact chromosomal dynamics globally. Replication Fork stress leads to elaborate protective mechanisms involving ATR as well as ATM apical kinase responses. I describe differential roles of ATR versus ATM signalling in Replication Fork repair and the associated spatial changes in chromosomes.
* Announcement?: Institute
* Refreshments?: After the event
* Honorarium? : None
* Special Arrangements?: Digital Projection/audio/video
* Host name and email: Areejit Samal @@ <a href="mailto:asamal@imsc.res.in" >asamal@imsc.res.in</a>http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=583&Date=2015%2F8%2F4
http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=583&Date=2015%2F8%2F4
Aug 4 -
* Venue : Lounge
* Speaker : Prof. Saket Saurabh
* Title : OLIC MEETING
Affiliation : IMSc
Abstract :
* Announcement?: None
* Refreshments?: None
* Honorarium? : None
* Special Arrangements?: None
* Host name and email: Saket Saurabh @@ <a href="mailto:saket@imsc.res.in" >saket@imsc.res.in</a>http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=2305&Date=2015%2F8%2F6
http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=2305&Date=2015%2F8%2F6
Aug 6 -
* Venue : Alladi Ramakrishnan Hall
* Speaker : Manoj Gupta
* Title : Dynamic Graph Matching
Affiliation : Xerox Research, India
Abstract : The aim of a dynamic graph problem is to maintain a property P of a graph<br>after each insertion or/and deletion of an edge. There has been a huge<br>amount of research in the area of dynamic graph problems like reachability,<br>shortest path, all pair shortest path etc.<br>However, dynamic graph matching received very less attention even though<br>there is a rich history for matching in static graphs.<br>However, the results for dynamic graph matching have started building up in<br>the last few years. In this talk, we will survey the history of the dynamic<br>graph matching problem and list our contribution in this history.
* Announcement?: None
* Refreshments?: Before the event
* Honorarium? : Postdoc
* Special Arrangements?: None
* Host name and email: Venkatesh Raman @@ <a href="mailto:vraman@imsc.res.in" >vraman@imsc.res.in</a>http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=2351&Date=2015%2F8%2F6
http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=2351&Date=2015%2F8%2F6
Aug 6 -
* Venue : Alladi Ramakrishnan Hall
* Speaker : Ashok Garai
* Title : Single molecule conformational dynamics and mechanics: Theory, simulation, analysis and interpretation
Affiliation : IISc, Bangalore
Abstract : Recent advancement on single-molecule experiments has now made it possible to measure the kinetics, conformational dynamics and mechanical properties of a biomolecule (protein, nucleic acid etc.) with high precision and spectacular resolutions. In this talk I will introduce various theoretical and computational approaches to study such properties. In the first half of the talk, I will introduce an analytical framework that captures the conformational dynamics of a biomolecule through an intermediate. I will show that this theory not only captures non-trivial features in the key experimental observables, the mean unfolding rate, and the distribution of unfolding forces but also reveals the underlying physical and biological mechanism. In the second half of the talk, I will discuss how molecular dynamics simulations can be used to extract various biomolecular properties through a systematic study of fluctuations at the atomic level. Using all atomistic molecular dynamics simulations I will illustrate how to calculate different elastic properties of various DNAs starting from short free DNA to nucleosomal DNA. I will demonstrate that macroscopic elastic theory is not adequate to calculate the elastic properties of various short DNAs. I believe that such realistic studies will certainly enrich the pool of techniques to interpret the experimental data as well as motivate to perform new experiments.
* Announcement?: None
* Refreshments?: None
* Honorarium? : None
* Special Arrangements?: None
* Host name and email: http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=2358&Date=2015%2F8%2F6
http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=2358&Date=2015%2F8%2F6
Aug 6 -
* Venue : Alladi Ramakrishnan Hall
* Speaker : Pranab Sardar
* Title : Geometry of Metric Bundles
Affiliation : UC Davis
Abstract : Metric bundles are a coarse-geometric generalization of the<br>notion of fiber<br>bundles in topology where fibers are quasi-isometric geodesic metric<br>spaces; as for<br>local triviality, uniformly close fibers are uniformly quasi-isometric.<br>We prove the existence of quasi-isometric sections when the fibers are<br>'non-elementary'<br>hyperbolic metric spaces. Then we prove a combination theorem for metric<br>bundles that<br>gives sufficient conditions for a metric bundle with hyperbolic fibers and<br>base to be hyper<br>-bolic. Time permitting, we shall see some applications of this theorem<br>too.
* Announcement?: Institute
* Refreshments?: Before the event
* Honorarium? : Postdoc
* Special Arrangements?: Digital Projection/audio/video
* Host name and email: Anilesh Mohari @@ <a href="mailto:anilesh@imsc.res.in" >anilesh@imsc.res.in</a>http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=5&Date=2015%2F8%2F15
http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=5&Date=2015%2F8%2F15
Aug 15 - Independence Dayhttp://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=2354&Date=2015%2F8%2F17
http://www.imsc.res.in/cgi-bin/CalciumShyam/Calcium40.pl?CalendarName=Display&EventID=2354&Date=2015%2F8%2F17
Aug 17 -
* Venue : Alladi Ramakrishnan Hall
* Speaker : Dhriti Ranjan Dolai
* Title : Phd Viva Exam ; Spectral Statistics for Anderson Model with Decaying Randomness and Singular Potentials.
Affiliation : IMSc
Abstract : In this talk I will present the works, done during my phd . We show that local spectral statistics of Anderson Model (with decaying random potentials) inside the a.c spectrum is the same as that of the free part. We also provide some bounds for the integrated density of states for this decaying model. We consider the model with i.i.d random potential whose single site distribution is Holder continuous and show that in the localized regime the eigenvalue statistics is Poisson.
* Announcement?: Institute
* Refreshments?: None
* Honorarium? : None
* Special Arrangements?: None
* Host name and email: Krishna Maddaly @@ <a href="mailto:krishna@imsc.res.in" >krishna@imsc.res.in</a>