moodle.cmi.ac.in
Chennai Mathematical Institute: Log in to the site
Skip to main content. You are not logged in. Log in to the site. Forgotten your username or password? Cookies must be enabled in your browser. You are not logged in.
fmindia.cmi.ac.in
Formal Methods in India
Formal Methods in India. AFMSS 2018 - 2nd Symposium on Application of Formal Methods for Safety and Security of Critical Systems. Amrita School of Engineering, Amritapuri campus, February 26-28, 2018. Kanpur, December 11-15 2017. Pune, October 3-6, 2017. Workshop on Formal Methods for Systems. Amrita University, Coimbatore Campus, August 14-19, 2017. Formal Methods Update Meeting 2017. IIT Mandi, July 17-18, 2017. Fifth Workshop on Automata, Concurrency and Timed Systems, ACTS 2017. Making Formal Verific...
library.cmi.ac.in
CMI Library catalog
Your cart is empty. Your cart is empty. Reserved for the semester Jan-Apr 2017. Reserved for the semester Aug-Nov 2016. Log in to create your own lists. Log in to your account. Log in to your account. Welcome to the Chennai Mathematical Institute's Online Public Access Catalog ( OPAC. You can use this catalog to find and select items available in the library. You can also use this catalog to:. View your circulation history and fines. Log in to your account:. Find out what's new. Reserved for the semeste.
ali.cmi.ac.in
Association for Logic in India
Welcome to the home page of the Association for Logic in India! ALI is an orgnization of researchers from various disciplines, and from various parts of India and abroad with an abiding interest in logic. The basic aim of the Association is to build a logic community in India, promote research and education in logic, and its applications. Learn more about ALI here. Association for Logic in India. The Institute of Mathematical Sciences,. Chennai - 600 113,. EMAIL: ali at cmi dot ac dot in.
SOCIAL ENGAGEMENT