[isabelle] AVOCS 2006: call for participation and short papers



AVoCS 2006 : 6th Intl. Workshop on Automated Verification of Critical
Systems

Nancy, France, September 18-19, 2006
http://avocs06.loria.fr/

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.