[TYPES/announce] AVOCS 2006: call for participation and short papers

[Stephan Merz]

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.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Stephan.Merz.vcf
Type: text/x-vcard
Size: 362 bytes
Desc: not available
Url : http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20060717/659b027b/Stephan.Merz.bin