3rd International Verification Workshop - VERIFY'06

What are the verification problems? What are the deduction techniques?

Seattle, August 15-16, 2006

in connection with IJCAR'06 at FLOC'06

Panel Discussion

There will be a panel discussion on Wednesday August 16th starting at 16:00 to conclude the VERIFY'06 workshop. The discussion will be centered around the two central questions that motivated the workshop series, that is

What are the verification problems? What are the deduction techniques?

with the intention of strengthening the bridge between applications of formal methods and foundational research on formal methods. The current panelists that have confirmed their participation are (in alphabetical order)

Bernhard Beckert, Dieter Hutter, John Rushby, Vitaly Shmatikov, Andrei Voronkov
Serge Autexier
Last modified: Wed Aug 16 01:08:13 CEST 2006 Created: Mon Nov 7 10:17:33 MET 2005