Skip to Content.
Sympa Menu

coq-club - [Coq-Club]AVOCS 2006: call for participation and short papers

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]AVOCS 2006: call for participation and short papers


chronological Thread 
  • 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




Archive powered by MhonArc 2.6.16.

Top of Page