Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] AVOCS 2006: call for participation and short p...

view this post on Zulip Email Gateway (Aug 18 2022 at 09:29):

From: Stephan Merz <Stephan.Merz@loria.fr>
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.

Last updated: May 03 2024 at 04:19 UTC