[isabelle] AVOCS 2006: call for participation and short papers
AVoCS 2006 : 6th Intl. Workshop on Automated Verification of Critical
Nancy, France, September 18-19, 2006
Invited Speakers: Byron Cook and Oded Maler
(further invited talks to be confirmed)
1. Registration to the workshop is now open (early registration rates
valid until August 31, 2006).
2. Short papers (5 pages max) describing work in progress, position
statements etc. can be submitted until August 4. They will appear in the
preliminary proceedings, and extended versions will also be eligible for
submission to a special journal issue.
This archive was generated by a fusion of
Pipermail (Mailman edition) and