[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 MHonArc.