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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id E7678BBCB for ; Wed, 2 Apr 2008 10:30:53 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AswCAOfg8keE5YMQdGdsb2JhbACRTwGaYA X-IronPort-AV: E=Sophos;i="4.25,592,1199660400"; d="scan'208";a="24489865" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 02 Apr 2008 10:30:53 +0200 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 m328UoXu009495 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 2 Apr 2008 10:30:53 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AswCAOfg8keE5YMQdGdsb2JhbACRTwGaYA X-IronPort-AV: E=Sophos;i="4.25,592,1199660400"; d="scan'208";a="24489862" Received: from rhodium.liacs.nl ([132.229.131.16]) by mail4-smtp-sop.national.inria.fr with ESMTP; 02 Apr 2008 10:30:50 +0200 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 m328Uiog013884 for ; Wed, 2 Apr 2008 10:30:49 +0200 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 m328UgjK011247 for ; Wed, 2 Apr 2008 10:30:44 +0200 Received: (from kleijn@localhost) by silver.liacs.nl (8.13.8/8.13.8/Submit) id m328UgbH011245 for caml-list@inria.fr; Wed, 2 Apr 2008 10:30:42 +0200 From: Jetty Kleijn Message-Id: <200804020830.m328UgbH011245@silver.liacs.nl> Date: Wed, 02 Apr 2008 10:30:42 +0200 To: caml-list@inria.fr Subject: CHINA 2008 PC CfPresentations 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 47F3443A.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 20,:98 homepages:98 cordially:98 xi'an:98 xi'an:98 homepages:98 biological:98 Dear PC members of CHINA, The deadline for the submission of formal, original contributions, March 20, has passed. We have received three such papers and these - which are also candidates for publication in ToPNoC - are to be reviewed now. (Notification May 1.) In case your expertise is needed you will be approached one of these days. A main objective of CHINA is to be a meeting place between East and West with opportunity to get to know each other's interests and motivations, to discuss ongoing work and get feedback. Thus also informal contributions which do not necessarily have to be original, are welcome. Such contributions can still be submitted until May 1, See the Call for Presentations below and http://homepages.cs.ncl.ac.uk/maciej.koutny/CHINA-2008.htm So, we cordially invite you, your students and colleagues to take part in this meeting and submit an extended abstract on any issue or application of your work on concurrency which you would like to discuss in Xi'an. See you in/at China! Jetty and Maciej ======================== CALL FOR PRESENTATIONS (informal contributions) ======================== 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 submission May 1, 2008 - Deadline for pre-proceedings June 1, 2008 - Workshop June 24, 2008 INVITED SPEAKER: Alex Yakovlev (Newcastle, UK) 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. Therefore, in addition to the formal submissions, informal contributions are still most welcome, in particular: presentations of ongoing work like Ph.D. research or 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.) Also posters presenting initial ideas are solicited. Extended abstracts of the accepted informal contributions will be included in the workshop proceedings and available at the meeting. 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 the email addresses given below) 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 should include a title and the authors' contact addresses and email. At least one of the authors of each accepted contribution should register and take part in the workshop to give the presentation. Contact: - Jetty Kleijn (The Netherlands), kleijn@liacs.nl - Maciej Koutny (United Kingdom), maciej.koutny@ncl.ac.uk 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)