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.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id E57D0BBC1 for ; Fri, 14 Mar 2008 17:49:59 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnsBAPJI2kfAXQInh2dsb2JhbACRAQEBAQgKKZgk X-IronPort-AV: E=Sophos;i="4.25,502,1199660400"; d="scan'208";a="9459991" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 14 Mar 2008 17:49:59 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m2EGnxjc026959 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 14 Mar 2008 17:49:59 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnsBAB9J2keE5YMQh2dsb2JhbACRAQEBAQgKKZgl X-IronPort-AV: E=Sophos;i="4.25,502,1199660400"; d="scan'208";a="23779967" Received: from rhodium.liacs.nl ([132.229.131.16]) by mail4-smtp-sop.national.inria.fr with ESMTP; 14 Mar 2008 17:49:58 +0100 Received: from silver.liacs.nl (silver.liacs.nl [132.229.131.19]) by rhodium.liacs.nl (8.13.0/8.13.0/LIACS 1.4) with ESMTP id m2EGnrYD025585 for ; Fri, 14 Mar 2008 17:49:58 +0100 Received: from silver.liacs.nl (localhost [127.0.0.1]) by silver.liacs.nl (8.13.8/8.13.8/SuSE Linux 0.8) with ESMTP id m2EGnoQ9026664 for ; Fri, 14 Mar 2008 17:49:53 +0100 Received: (from kleijn@localhost) by silver.liacs.nl (8.13.8/8.13.8/Submit) id m2EGno4Q026662 for caml-list@inria.fr; Fri, 14 Mar 2008 17:49:50 +0100 From: Jetty Kleijn Message-Id: <200803141649.m2EGno4Q026662@silver.liacs.nl> Date: Fri, 14 Mar 2008 17:49:50 +0100 To: caml-list@inria.fr Subject: CHINA 2008 Workshop 3rd CfP User-Agent: Heirloom mailx 12.1 6/15/06 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 47DAACB7.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.01; co-located:01 model:01 synthesis:01 rewriting:01 logics:01 locality:01 lncs:01 authors':01 xi'an:98 homepages:98 20,:98 biological:98 membrane:98 romania:98 hao:98 ===================== third CALL FOR PAPERS ===================== Apologies for multiple copies CHINA 2008 Workshop Concurrency metHods: Issues aNd Applications A satellite workshop of PETRI NETS 2008 co-located with ACSD 2008 June 24, 2008 Xi'an, China http://homepages.cs.ncl.ac.uk/maciej.koutny/CHINA-2008.htm Important Dates: - Deadline for submissions March 20, 2008 - Notification of acceptance/rejection May 1, 2008 - Deadline for pre-proceedings June 1, 2008 - Workshop June 24, 2008 INVITED SPEAKER: Alex Yakovlev (Newcastle, UK) Two types of submissions are solicited: (i) Original contributions: full papers or extended abstracts describing new and ongoing work which have not been submitted elsewhere or already published. (ii) Informal contributions: posters presenting initial ideas, or presentations significantly based on already published work (possibly in a language other than English) for which the authors seek feedback. (The latter under the condition that the prior work is adequately referenced, and there are no publisher's restrictions.) Extended abstracts of accepted contributions will be included in the workshop proceedings and available at the meeting. Some of the best, original contributions from the workshop will be invited to be submitted to a volume of the journal sub-series of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). These papers, revised according to the workshop reviewers' comments and the feedback received at the workshop, will go through a totally new round of reviewing as is standard practice for journal papers. OBJECTIVE The main objective of the workshop is to be a meeting place, in two ways. It is intended to be a forum to exchange ideas and experiences with different methods for the study of concurrent and distributed systems. In addition, it will also be a meeting place for researchers from China and neighbouring countries with the participants of the PETRI NETS and ACSD conferences. SCOPE The scope of the workshop is broad. Its goal is to discuss models of concurrency with an emphasis on issues relevant to certain application domains which have led or could lead to the addition of structural enhancements. The focus of the workshop will be on qualitative rather than quantitative aspects of concurrent systems. For the (enhanced) models under discussion, also analysis techniques, extended or even completely new, are to be considered. The meeting is deliberately not focussed on any particular model of concurrency, issue or application. Fundamental approaches as well as interdisciplinary applications may be discussed. Aspects which are of interest to the workshop (in combination with techniques for analysis, verification and synthesis) include: (i) Concurrency models: Petri nets, process algebras, cooperating automata, coordination languages, rewriting systems, discrete event systems, message sequence charts, temporal logics (ii) Issues: synchrony / asynchrony, mobility and security, locality and components, supervisory control, dynamic reconfiguration, resource access / testing, collaboration schemes, behavioural equivalence (iii) Application areas: asynchronous circuits, GALS systems, biological systems, membrane systems, mobile process networks, architecture, component based software, workflow systems, communication protocols SUBMISSION Prospective participants are asked to submit by email (to China-Chairs@liacs.nl) an extended abstract of at most 15 pages as PDF or PS and using the Springer LNCS-format (http://www.springer.de/comp/lncs/authors.html). Submissions will be reviewed by the Programme Committee, and they should include a title, the authors' contact addresses and email, and an abstract. Moreover, in the covering mail, it should be clearly stated whether the submission should be considered as an original paper. At least one of the authors of each accepted contribution should register and take part in the workshop to give the presentation. Contact: China-Chairs@liacs.nl - Jetty Kleijn (The Netherlands) - Maciej Koutny (United Kingdom) PROGRAMME COMMITTEE M.Bednarczyk (Poland) M.ter Beek (Italy) Y.Bin (China) M.Bonsangue (Netherlands) J.Carmona (Spain) T.Chothia (Netherlands) S.Christensen (Denmark) G.Ciobanu (Romania) J.-M. Colom (Spain) P.Darondeau (France) Z.Duan (China) S.Gnesi (Italy) L.Gomes (Portugal) A.Gordon (UK) S.Haddad (France) K.Hao (China) H.Hong (China) R.Janicki (Canada) E.Kindler (Denmark) H.Klaudel (France) J.Kleijn (Netherlands, chair) A.Kondratyev (USA) M.Koutny (UK, chair) Z.Liu (China) R.Lorenz (Germany) H.Miao (China) M.Mukund (India) G.Pappalardo (Italy) G.Paun (Spain) L.Pomello (Italy) W.Vogler (Germany) K.Wolf (Germany) A.Yakovlev (UK)