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=1.9 required=5.0 tests=AWL,HTML_MESSAGE,SPF_SOFTFAIL, SUBJ_ALL_CAPS autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 15D39BBAF for ; Tue, 10 Mar 2009 21:36:04 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlQCAExstkmB6ggUmWdsb2JhbACCUZJdAQEBAQEICwoHERy8fYJKAYFBBocT X-IronPort-AV: E=Sophos;i="4.38,337,1233529200"; d="scan'208,217";a="36367134" Received: from hermes1.dur.ac.uk ([129.234.8.20]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 10 Mar 2009 21:36:03 +0100 Received: from DURMAIL1.mds.ad.dur.ac.uk (durmail1b.dur.ac.uk [129.234.8.154]) by hermes1.dur.ac.uk (8.13.8/8.13.7) with ESMTP id n2AKZhXf030964 for ; Tue, 10 Mar 2009 20:35:47 GMT Received: from EXDUR3.mds.ad.dur.ac.uk ([129.234.8.22]) by DURMAIL1.mds.ad.dur.ac.uk with Microsoft SMTPSVC(6.0.3790.3959); Tue, 10 Mar 2009 20:35:47 +0000 X-MimeOLE: Produced By Microsoft Exchange V6.5 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C9A1BF.CA6DD9EE" Subject: TASE 2009 - CALL FOR POSTER PRESENTATIONS Date: Tue, 10 Mar 2009 20:35:46 -0000 Message-ID: <1C7F51B7A4A4F54389A69794AD79A24D0199C6A0@EXDUR3.mds.ad.dur.ac.uk> X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: TASE 2009 - CALL FOR POSTER PRESENTATIONS Thread-Index: Acmhv8pt91wiO5VeSF+xv+IB43z5mw== From: "CRACIUN F." To: Cc: "IEEE-TASE-2009 C.S." X-OriginalArrivalTime: 10 Mar 2009 20:35:47.0907 (UTC) FILETIME=[CB56F930:01C9A1BF] X-DurhamAcUk-MailScanner-ID: n2AKZhXf030964 X-DurhamAcUk-MailScanner: Found to be clean X-Spam: no; 0.00; logics:01 model:01 logics:01 model:01 2009:98 2009:98 citations:98 citations:98 W6:98 abstract:01 abstract:01 slides:01 slides:01 short:01 short:01 This is a multi-part message in MIME format. ------_=_NextPart_001_01C9A1BF.CA6DD9EE Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable TASE 2009 - CALL FOR POSTER PRESENTATIONS ****************************************** * 3rd IEEE International Symposium on * Theoretical Aspects of Software Engineering * (TASE 2009) * 29-31 July 2009, Tianjin, China * http://www.dur.ac.uk/ieee.tase2009 * * For more information email: IEEE.TASE2009@durham.ac.uk ********************************************************** TASE 2009 will include a poster session during the conference. =20 The session aims to give students and researchers an opportunity to present their research to the community, and to get responses from other researchers. SCOPE: Poster presentations are sought in all theoretical aspects of software=20 engineering, including (but not limited to): * Requirements Engineering * Specification and Verification * Program Analysis * Software Testing * Model-Driven Engineering=20 * Software Architectures and Design * Aspect and Object Orientation * Embedded and Real-Time Systems * Software Processes and Workflows * Component-Based Software Engineering * Software Safety, Security and Reliability=20 * Reverse Engineering and Software Maintenance * Service-Oriented Computing=20 * Semantic Web and Web Services * Type System and Theory * Program Logics and Calculus * Dependable Concurrency=20 * Software Model Checking SUBMISSION PROCESS: A Poster proposal consists of: - a 50 word or less short abstract that summarizes the content of=20 the poster - a set of keywords describing the technical area of the work - a two-page extended abstract, suitable for inclusion in the=20 TASE 2009 conference proceedings. All abstracts must adhere=20 to the two-column IEEE format. =20 All Poster proposals are to be submitted by email=20 to IEEE.TASE2009@durham.ac.uk. The file containing the=20 two-page extended abstract must be in .pdf or .ps format.=20 =20 Upon acceptance, at least one of the authors must register with=20 the TASE2009 conference in order to have their extended abstract=20 included in the conference proceedings. Once registered, a=20 bulletin board space of A1 paper size (594 mm wide and 841 mm high)=20 will be provided for each presentation. In addition to the = camera-ready=20 version of the extended abstract, the authors are also requested to=20 submit their poster of A1 paper size (594 mm wide and 841 mm high) for backup. An A1 poster sample template is available at=20 http://www.dur.ac.uk/ieee.tase2009/poster.a1.ppt for authors to download. The authors can prepare 8 individual slides,=20 save them in .jpg format and then place them on the above A1 sample. The Poster presenter will need to print out their Poster in advance=20 and bring it to the conference for the Poster session. =20 POSTER CONTENT:=20 A small selection committee led by the Poster Chair will evaluate the=20 poster proposals based on their contributions and on how effectively=20 they communicate those contributions. All posters should include=20 the following information:=20 - The purpose and goals of the work. - Any background and motivation information needed to understand the = work. - A summary of the contribution and/or results, in sufficient detail = for a=20 viewer to understand the work and/or results; especially key = details,=20 results and contributions, or the anticipated contributions if the = work=20 is at an early stage. - The relationship to other related efforts, where appropriate.=20 - Where to find additional information. This should include=20 (but is not restricted to): a web site where viewers can go to find = additional information about the work, how to contact the authors=20 (including email addresses), citations for any papers, books, or = other=20 materials that provide additional information.=20 =09 POSTER COMPETITION: A poster competition will be organised during the poster session. A = panel of=20 experts will be formed as referees for the competition. Awards will be = given to the winners of the competition.=20 IMPORTANT DATES: Poster proposals submission: April 22, 2009 Acceptance/rejection notification: May 6, 2009 Camera-ready version and Poster due: May 13, 2009 TASE 2009 Conference: July 29-31, 2009 CONTACT: For questions or requests, please contact the TASE 2009 poster chair, Florin Craciun (IEEE.TASE2009@durham.ac.uk). Please mention "poster = session" in the subject of your email. ------_=_NextPart_001_01C9A1BF.CA6DD9EE Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable TASE 2009 - CALL FOR POSTER PRESENTATIONS

TASE 2009 - CALL FOR POSTER PRESENTATIONS

******************************************
* 3rd IEEE International Symposium on
* Theoretical Aspects of Software Engineering
* (TASE 2009)
* 29-31 July 2009, Tianjin, China
* http://www.dur.ac.uk/ieee.tas= e2009
*
* For more information email: IEEE.TASE2009@durham.ac.uk
**********************************************************

TASE 2009 will include a poster session during the conference. 
The session aims to give students and researchers an opportunity to
present their research to the community, and to get responses from
other researchers.

SCOPE:

 Poster presentations are sought in all theoretical aspects of = software
 engineering, including (but not limited to):

  * Requirements Engineering
  * Specification and Verification
  * Program Analysis
  * Software Testing
  * Model-Driven Engineering
  * Software Architectures and Design
  * Aspect and Object Orientation
  * Embedded and Real-Time Systems
  * Software Processes and Workflows
  * Component-Based Software Engineering
  * Software Safety, Security and Reliability
  * Reverse Engineering and Software Maintenance
  * Service-Oriented Computing
  * Semantic Web and Web Services
  * Type System and Theory
  * Program Logics and Calculus
  * Dependable Concurrency
  * Software Model Checking

SUBMISSION PROCESS:

 A Poster proposal consists of:
  - a 50 word or less short abstract that summarizes the content = of
    the poster
  - a set of keywords describing the technical area of the work
  - a two-page extended abstract, suitable for inclusion in the
     TASE 2009 conference proceedings. All abstracts = must adhere
     to the two-column IEEE format.
  
  All Poster proposals are to be submitted by email
  to IEEE.TASE2009@durham.ac.uk. The file containing the
  two-page extended abstract must be in .pdf or .ps format.
 
  Upon acceptance, at least one of the authors must register = with
  the TASE2009 conference in order to have their extended = abstract
  included in the conference proceedings. Once registered, a
  bulletin board space of A1 paper size (594 mm wide and 841 mm = high)
  will be provided for each presentation. In addition to the = camera-ready
  version of the extended abstract, the authors are also requested = to
  submit their poster of A1 paper size (594 mm wide and 841 mm = high) for
  backup. An A1 poster sample template is available at
       http://www.dur.= ac.uk/ieee.tase2009/poster.a1.ppt
  for authors to download. The authors can prepare 8 individual = slides,
  save them in .jpg format and then place them on the above A1 = sample.
  The Poster presenter will need to print out their Poster in = advance
  and bring it to the conference for the Poster session. 

POSTER CONTENT:

 A small selection committee led by the Poster Chair will evaluate = the
 poster proposals based on their contributions and on how = effectively
 they communicate those contributions. All posters should = include
 the following information:
   - The purpose and goals of the work.
   - Any background and motivation information needed to = understand the work.
   - A summary of the contribution and/or results, in = sufficient detail for a
     viewer to understand the work and/or results; = especially key details,
     results and contributions, or the anticipated = contributions if the work
     is at an early stage.
   - The relationship to other related efforts, where = appropriate.
   - Where to find additional information. This should = include
     (but is not restricted to): a web site where = viewers can go to find
     additional information about the work, how to = contact the authors
     (including email addresses), citations for any = papers, books, or other
     materials that provide additional = information.
       
POSTER COMPETITION:

 A poster competition will be organised during the poster session. = A panel of
 experts will be formed as referees for the competition. Awards = will be given
 to the winners of the competition.

IMPORTANT DATES:

 Poster proposals submission: April 22, 2009
 Acceptance/rejection notification: May 6, 2009
 Camera-ready version and Poster due: May 13, 2009
 TASE 2009 Conference: July 29-31, 2009


CONTACT:

 For questions or requests, please contact the TASE 2009 poster = chair,
 Florin Craciun (IEEE.TASE2009@durham.ac.uk). Please mention = "poster session"
 in the subject of your email.

------_=_NextPart_001_01C9A1BF.CA6DD9EE--