coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Stephan Merz <Stephan.Merz AT loria.fr>
- To: coq-club AT pauillac.inria.fr
- Subject: [Coq-Club]AVOCS 2006: call for participation and short papers
- Date: Mon, 17 Jul 2006 18:46:22 +0200
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
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.
begin:vcard fn:Stephan Merz n:Merz;Stephan org:INRIA Lorraine & LORIA;Equipe MOSEL adr;quoted-printable:;;615 rue du Jardin Botanique;Villers-l=C3=A8s-Nancy;;54602;France email;internet:Stephan.Merz AT loria.fr title:Senior Researcher tel;work:(+33) 354 95 84 78 tel;fax:(+33) 383 41 30 79 x-mozilla-html:FALSE url:http://www.loria.fr/~merz/ version:2.1 end:vcard
- [Coq-Club]AVOCS 2006: call for participation and short papers, Stephan Merz
Archive powered by MhonArc 2.6.16.