
INTERNATIONAL CONFERENCE
ON METALS AND ALLOYS: PAST, PRESENT AND FUTURE
go through this link
http://www.iitk.ac.in/infocell/announce/metallo/

There is an meeting on formal method upload.
this is held in iit kanpur 12-15
the link for it is
http://www.cse.iitk.ac.in/users/update07/