From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.7 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id DAAE1BBC6 for ; Wed, 4 Mar 2009 10:36:53 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnkFABTarUnKr3bE/2dsb2JhbACCJC2HRYEkBoIquQaHN4hMgkmBPwaGRw X-IronPort-AV: E=Sophos;i="4.38,299,1233529200"; d="scan'208,217";a="22020374" Received: from mailhost.iist.unu.edu ([202.175.118.196]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 04 Mar 2009 10:36:49 +0100 Received: from nb5279 (nb174.iist.unu.edu [172.18.1.174]) by mailhost.iist.unu.edu (8.13.4/8.13.4/Debian-3sarge3) with SMTP id n249YTBR013391; Wed, 4 Mar 2009 17:34:48 +0800 Message-ID: <01ae01c99cac$7803e940$ae0112ac@nb5279> From: "Wang Xu" To: , , , , , Cc: , Subject: Final Call for Workshop Proposals: ATVA 2009 Date: Wed, 4 Mar 2009 17:34:34 +0800 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_019D_01C99CEF.7BF9E020" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2900.3138 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.3350 X-UNUIIST-MailScanner: Found to be clean X-UNUIIST-MailScanner-SpamCheck: not spam, SpamAssassin (score=-5.898, required 3, autolearn=not spam, ALL_TRUSTED -3.30, BAYES_00 -2.60, HTML_MESSAGE 0.00) X-UNUIIST-MailScanner-From: wx@iist.unu.edu X-Spam: no; 0.01; iist:01 iist:01 organising:01 synthesis:01 lunches:01 organising:01 synthesis:01 lunches:01 2009:98 macao:98 sar:98 cordially:98 2009:98 biological:98 webpages:98 This is a multi-part message in MIME format. ------=_NextPart_000_019D_01C99CEF.7BF9E020 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable The deadline is in **10 days** (i.e. 15th March) ... ********************************************************************* * 7th International Symposium * on * Automated Technology for Verification and Analysis * =20 * **CALL FOR WORKSHOP PROPOSALS** * =20 * 11-13 October 2009, Macao SAR, China * =20 * http://www.iist.unu.edu/atva09/callforworkshop.html * =20 ********************************************************************* You are cordially invited to submit proposals for organising=20 associated workshops with the ATVA 2009 conference=20 (http://www.iist.unu.edu/atva09). The available dates for=20 workshops are from **11th to 13th** October 2009, i.e. before the conference. The workshop topics should be=20 generally in line with the interests of ATVA community,=20 i.e. theoretical and practical aspects of automated analysis , verification and synthesis. Research topics in emerging=20 application fields like pervasive computing, security,=20 biological systems and multicore programming are=20 especially welcome. The ATVA organisers offer: - Workshop rooms and equipment for presentation - Local organisation including registration service, hotel=20 reservation management and arrangement of coffee=20 breaks and lunches - Discount on main conference registrations - Links from the conference webpages to workshop=20 webpages and help in publicising the workshops We expect workshop proposals to include: - Workshop title and a short scientific summary of its topic - Proposed date (and duration) and the expected number of participants - Organizing committee and potential invited speakers - Procedures for participant and paper selection and plan for proceedings publication. Workshop proposals should be submitted no later than=20 **March 15, 2009**. Decision and notification will be=20 given within a fortnight. =20 Proposal submission and further enquiries should be=20 addressed to: Dr. Xu Wang (wx AT iist.unu.edu) ATVA Workshop Chair *************************************************************************= ** ------=_NextPart_000_019D_01C99CEF.7BF9E020 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable
The deadline is in **10 days** (i.e. = 15th March)=20 ...
 
****************************************************************= *****
*          &nb= sp;      7th=20 International=20 Symposium
*          = ;            =     =20       = on
*     Automated=20 Technology for Verification and=20 Analysis
*          =        =20
*           **CALL = FOR=20 WORKSHOP PROPOSALS**
*          &nb= sp;      =20
*          &nb= sp; 11-13=20 October 2009, Macao SAR,=20 China
*          &nb= sp;      =20
*     http://www.iist.unu.edu/atva09/callforworkshop.html<= /DIV>
*          =20
*********************************************************************=
 
You are cordially invited to submit = proposals for=20 organising
associated workshops with the ATVA 2009 conference
(http://www.iist.unu.edu/atva09).=20 The available dates for
workshops are from **11th to 13th** = October 2009,=20 i.e.
before the conference. The workshop topics should be
generally in line=20 with the interests of ATVA community,
i.e. theoretical and practical = aspects of automated analysis
, verification and synthesis. Research = topics in emerging
application fields like pervasive = computing,=20 security,
biological systems and = multicore programming=20 are
especially welcome.
 
 
The ATVA organisers offer:
 
- Workshop rooms and equipment for=20 presentation
-=20 Local organisation including registration service, hotel
  reservation management and arrangement of coffee
  breaks and = lunches
- Discount on main conference = registrations
- Links from the conference webpages to workshop =
  webpages and help in publicising the workshops
 

We expect workshop proposals to include:
 
- Workshop title and a short scientific summary of its topic
- = Proposed=20 date (and duration) and the expected number
  of participants
- Organizing committee and potential = invited=20 speakers
- Procedures for participant and paper selection and = plan
  for proceedings publication.
 
 
Workshop proposals should be submitted = no later=20 than
**March 15, 2009**. Decision and notification will be
given within a=20 fortnight.

 
Proposal submission and further = enquiries should be=20
addressed to:
 
Dr. Xu Wang (wx AT = iist.unu.edu)
ATVA Workshop Chair

****************************************************************= ***********
------=_NextPart_000_019D_01C99CEF.7BF9E020--