Go Back   2023 2024 Courses.Ind.In > Main Category > Main Forum

  #1  
Old November 30th, 2015, 11:50 AM
Super Moderator
 
Join Date: Apr 2013
Default Cfdvs iitb

Discuss about cfdvs iitb here. Welcome to Courses.ind.in and this page is for cfdvs iitb discussion. If you are looking for information on cfdvs iitb then ask your question is as much details as possible in the “Reply” box provided below. The more detailed your question will be, the more easy will it be for our experts to answers your query. And if you have any updated or latest information on cfdvs iitb, then please share you knowledge with our experts in the “Reply” box below. Your reply will be published here and your knowledge can help many people. Thanks for stopping by at Courses.ind.in. Please visit again.
Reply With Quote Quick reply to this message
  #2  
Old February 8th, 2018, 04:41 PM
Unregistered
Guest
 
Default Re: cfdvs iitb

Hello sir, is there any one can tell me how to get detail about the schedule for work shop of Centre for Formal Design and Verification of Software IIT Bombay?
Reply With Quote Quick reply to this message
  #3  
Old February 8th, 2018, 04:43 PM
Super Moderator
 
Join Date: Aug 2012
Default Re: cfdvs iitb

At IIT Bombay The Centre for Formal Design and Verification of Software is set up with the broad aim of carrying out R&D activities in the area of quality software development with special focus on formal verification techniques for safety-critical applications.

Formal verification methods are founded on rigorous mathematical techniques and hence enable development of quality software.

Get workshop detail in Centre for Formal Design and Verification of Software IIT Bombay:




Principle investigator:

From IIT Bombay—
G. Sivakumar (CSE)(Head)
Supratik Chakraborty (CSE)
Supratim Biswas (CSE)
Amitabha Sanyal (CSE)
Uday Khedkar (CSE)
Sridhar Iyer (KReSIT)
Krishna Shankara Narayanan (CSE)

From BARC—
S. D. Dhodapkar

From TIFR—
P. K. Pandya
R. K. Shyamasundar

Contact to:

Centre for Formal Design and Verification of Software
Basement Mathematics Department
Indian Institute of Technology Bombay
Powai Mumbai
INDIA 400 076.
Phone: +91 22 25768701
Fax: +91 22 25729002
Reply With Quote Quick reply to this message
Reply
Similar Threads
Thread
Download IITB VPN
Iitb mba
IITB End
Noc iitb
IITB Clubs
Iitb fb
Iitb iste
ee iitb
auv iitb
how to use dc++ iitb
phatak iitb
edx iitb
iitb npde
iitb tuition
iitb birds
physics iitb
iitb phd eligibility
iitb executive mba
ldap id iitb
techlink iitb


Quick Reply
Your Username: Click here to log in

Message:
Options



All times are GMT +5.5. The time now is 02:32 PM.


Powered by vBulletin® Version 3.8.7
Copyright ©2000 - 2024, vBulletin Solutions, Inc.
Search Engine Friendly URLs by vBSEO 3.6.1
vBulletin Optimisation provided by vB Optimise (Lite) - vBulletin Mods & Addons Copyright © 2024 DragonByte Technologies Ltd.