From - Mon Oct 7 11:32:25 2002 Return-Path: Delivered-To: desgncpn@daimi.au.dk Received: by daimi.au.dk (Postfix) id 0FACA3C03F; Mon, 7 Oct 2002 11:28:24 +0200 (CEST) Delivered-To: designcpn-xyzzy@daimi.au.dk Received: by daimi.au.dk (Postfix, from userid 1) id 087E43C037; Mon, 7 Oct 2002 11:28:23 +0200 (CEST) Mime-Version: 1.0 X-Sender: kjensen@130.225.16.1 (Unverified) Message-Id: From: Kurt Jensen To: designCPN@daimi.au.dk Date: Mon, 7 Oct 2002 11:26:32 +0200 Subject: (dCPN) TACAS tool demonstrations (deadline Oct. 18) Content-Type: text/plain; charset="iso-8859-1" ; format="flowed" Content-Transfer-Encoding: 8bit X-Virus-Scanned: by amavisd-milter (http://amavis.org/) X-Virus-Scanned: by amavisd-milter (http://amavis.org/) Sender: designCPN-owner@daimi.au.dk Precedence: bulk Reply-To: Kurt Jensen Errors-To: designCPN-owner@daimi.au.dk X-UIDL: p;9"!Ji`!!N:K"!DJ("! Status: O Please notice that the deadline for submission of tool demonstration papers for TACAS'03 is: OCTOBER 18. Kurt Jensen (tool chair) ----------------------------------------------------------------------- Ninth International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS A member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS 2003) 7-11 April 2003 Warsaw, Poland ----------------------------------------------------------------------- Tool demonstration papers: ----------------------------------------------------------------------- Demonstrations of novel and state-of-the-art tools are invited. Tool demonstrations are an integrated part of the TACAS programme. Selected demonstrations will be presented in ordinary conference sessions, using state-of-the-art projection. The time allowed will be the same as that for the presentation of a research paper. The demonstration will be accompanied by the publication of a short paper (up to 4 pages) in the TACAS proceedings, describing the main features of the tool. There will be opportunities for follow-up demonstrations with individuals and small groups. For more details, please see: http://www.inrialpes.fr/vasy/tacas03/ ----------------------------------------------------------------------- --- [[ Post messages and summary of replies: designCPN@daimi.au.dk ]] [[ To (un)subscribe, send "help" to: Majordomo@daimi.au.dk ]] [[ The moderator's address: designCPN-owner@daimi.au.dk ]] [[ World Wide Web URL: http://www.daimi.au.dk/designCPN/email/ ]]