In April 2008, Chennai Mathematical Institute entered into a
three year academic alliance with Tata Consultancy Services
(TCS). Under this alliance, CMI faculty participate in training
programmes at TCS and employees at TCS can enroll for the MSc
Computer Science programme at CMI. TCS provides an annual grant
to CMI that is used to fund computer equipment, academic visits
to conferences and other institutions by CMI faculty and inviting
visitors to CMI for academic collaboration. Academic visitors to
CMI under this programme also deliver special lectures as part of
the CMI-TCS Distinguished Lecture Series.
Activities supported by the CMI-TCS Academic Alliance
Workshop on Pseudorandomness
August 22–25, 2011
-
Applying Combinatorial Topology to Distributed Computing, Maurice Herlihy, February 21-24, 2011
-
Workshop on Automata, Concurrency and Timed Systems, ACTS III
January 27-29, 2011
-
Workshop on Automata, Concurrency and Timed Systems, ACTS II
February 1-3, 2010
-
Algebraic Combinatorics, Xavier Viennot, January 12–29, 2010
- Visit by Gerardus 't Hooft, Nobel Laureate in Physics,
November 16-20, 2009
-
Workshop on Principal Bundles in Geometry
February-March, 2009
-
Workshop on Automata, Concurrency and Timed Systems, ACTS
January 29-31, 2009
-
Workshop on Perspectives in Concurrency Theory
on the occasion of P.S. Thiagarajan's 60th birthday
December 15-16, 2008
CMI-TCS Distinguished Lecture Series
-
Maurice Herlihy, Brown University
The Transactional Manifesto: Synchronization in Multicore Programs
February 23, 2011
-
J.V. Narlikar, IUCAA, Pune
Searches for Micro-life in the Earth's Atmosphere
February 10, 2010
-
Gerardus 't Hooft, Utrecht University, The Netherlands
Mini Black Holes and Quantum Physics
November 18, 2009
-
Rajeeva Karandikar, Cranes Software, Bangalore
Opinion polls, Exit polls and Early seat projections
July 31, 2009
-
I.V. Ramakrishnan, SUNY at Stony Brook, USA
Bridging
the Web Accessibility Divide
March 6, 2009
-
Moshe Vardi, Rice University, Houston, USA
And Logic Begat Computer Science: When Giants Roamed the Earth
January 6, 2009
-
Amir Pnueli, New York University, USA and Weizmann Institute of Science, Rehovot, Israel (Emeritus)
Taming the Infinite: Verification of Infinite-State Systems
December 17, 2008
-
David Harel, Weizmann Institute of Science, Rehovot, Israel
Computers are Not Omnipotent
December 16, 2008
-
R. Ramanujam, IMSc, Chennai
The Cake Cutting Problem
December 2, 2008
-
Milind Sohoni, IIT Bombay, Mumbai
Towards Linear Programming
September 9, 2008
-
P.S. Thiagarajan, National University of Singapore
Software on Wheels: "Plug and Play" or "Plug and Pray"?
August 7, 2008
|