About three quarters of the talks will be invited (from the group of researchers who have indicated support for the workshop). Around a quarter will be chosen from among submitted abstracts (with a lightweight reviewing process). We intend that the talks should cover the current state of the art in formal verification at Intel, AMD, Compaq, Motorola and possibly other companies, as well as in academia. Workshop committee members from these companies have expressed support for the workshop and its aims.
The final programme will have to be agreed by the workshop committee. The talk slots will be a little longer than usual at conferences, allowing plenty of time for discussion. There should also be time for demos, and plenty of "free" time for discussions over coffee, meals and strolls. There won't be much time for sleep.