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 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 D4190BC6B for ; Thu, 1 Nov 2007 14:19:41 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAGFvKUeE5YMQh2dsb2JhbACOYAEBAQgKKYEU X-IronPort-AV: E=Sophos;i="4.21,358,1188770400"; d="scan'208";a="18835568" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 01 Nov 2007 14:19:41 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id lA1DJab8008237 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 1 Nov 2007 14:19:41 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAGFvKUeE5YMQh2dsb2JhbACOYAEBAQgKKYEU X-IronPort-AV: E=Sophos;i="4.21,358,1188770400"; d="scan'208";a="18835565" Received: from rhodium.liacs.nl ([132.229.131.16]) by mail4-smtp-sop.national.inria.fr with ESMTP; 01 Nov 2007 14:19:36 +0100 Received: from tin.liacs.nl (tin.liacs.nl [132.229.44.20]) by rhodium.liacs.nl (8.13.0/8.13.0/LIACS 1.4) with ESMTP id lA1DJUJX026985 for ; Thu, 1 Nov 2007 14:19:35 +0100 From: Jetty Kleijn Received: (from kleijn@localhost) by tin.liacs.nl (8.11.6/8.9.3) id lA1DJrT01098 for caml-list@inria.fr; Thu, 1 Nov 2007 14:19:53 +0100 Date: Thu, 1 Nov 2007 14:19:53 +0100 Message-Id: <200711011319.lA1DJrT01098@tin.liacs.nl> To: caml-list@inria.fr Subject: CHINA 2008 Workshop 1st CfP X-Miltered: at discorde with ID 4729D268.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 ===================== First 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. Home page: 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 Contact: China-Chairs@liacs.nl - Jetty Kleijn (The Netherlands) - Maciej Koutny (United Kingdom) 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. 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 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.) 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. 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. 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 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)