Conference Program
 

Keynote Speaker

John Knight, University of Virginia (USA)

Why Are Formal Methods Still Not Used More Widely?

Even though formal methods have been shown to have significant advantages, they remain rarely used, especially in the United States. In 1997 I wrote a paper asking the question: Why Are Formal Methods Not Used More Widely? In that paper I presented the results of a number of careful experiments and analyses that were conducted to try to answer the question. In this presentation I will revisit the question and discuss the situation as I see it now. The problems identified in 1997 remain for the most part and new ones have been identified. Some of the new problems are both surprising and difficult to deal with. I will conclude with some ideas about what the role of formal methods should be and how that role might be achieved.

3-day schedule

Thursday

Friday

Saturday

13:00   
Busses leave from Loyola College for the NASA tour
8.45  -  9.00
Welcome
9.00  -  10.30
11.00  -  12.30
14.00  -  15.30
16.00  -  17.30
19.00  - 
Banquet
9.00  -  10.30
11.00  -  12.30
14.00  -  15.30
16.00  -  17.30
Panel end closing