Xref: utzoo comp.specification:250 comp.theory:1444
Path: utzoo!censor!geac!torsqnt!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!tut.cis.ohio-state.edu!snorkelwacker.mit.edu!bloom-beacon!eru!hagbard!sunic!dkuug!iesd!iesd.auc.dk!ask
From: ask@iesd.auc.dk (Arne Skou)
Newsgroups: comp.specification,comp.theory
Subject: Re: CAV91 - CALL FOR PAPERS
Message-ID: <ASK.91Jan21102146@omega.iesd.auc.dk>
Date: 21 Jan 91 10:21:46 GMT
References: <1991Jan17.083044.13631@tss.com> <91.018.11:41:01@ira.uka.de>
Sender: news@iesd.auc.dk (UseNet News)
Distribution: comp,world
Organization: Mathematics and Computer Science, University of Aalborg
Lines: 29
In-reply-to: kumar@ira.uka.de's message of 18 Jan 91 11:41:01 GMT

In article <91.018.11:41:01@ira.uka.de> kumar@ira.uka.de writes:

   >In article <1991Jan17.083044.13631@tss.com> ask@iesd.auc.dk (Arne
   >Skou) writes: 
   >>
   >>                 C A L L   F O R   P A P E R S
   >>
   >>            WORKSHOP ON COMPUTER-AIDED VERIFICATION
   >>                  Aalborg University, Denmark
   >>                        JULY 1-4, 1991
   >>
   >>
   >>  The
   >>deadline for the submission of the preliminary version is February 1,
   >>1991.  Authors will be notified of acceptance by March 15, 1991.
   >>The final versions of accepted and invited papers will be published
   >>after the workshop.
   >>
   >
   >Please confirm if the deadline is Feb.1st or Feb.15th. I remember
   >seeing a changed deadline in an article dated Jan15th.
   >
   >Kumar

Sorry about the confusion. The deadline has recently been extended
to Feb.15th. The confusion is partly caused by time delays introduced
by moderated newsgroups.

Arne Skou