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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 83356BBCA for ; Mon, 31 Mar 2008 17:44:06 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAN+j8EfAXQIn/2dsb2JhbACpRw X-IronPort-AV: E=Sophos;i="4.25,583,1199660400"; d="scan'208";a="9010771" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 31 Mar 2008 17:44:06 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m2VFhxtI025363 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 31 Mar 2008 17:44:06 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhICABek8EeE5YMQdGdsb2JhbACRRgGYAA X-IronPort-AV: E=Sophos;i="4.25,583,1199660400"; d="scan'208";a="10885157" Received: from rhodium.liacs.nl ([132.229.131.16]) by mail3-smtp-sop.national.inria.fr with ESMTP; 31 Mar 2008 17:44:03 +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 m2VFhv5R009693 for ; Mon, 31 Mar 2008 17:44:02 +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 m2VFhtQm005852 for ; Mon, 31 Mar 2008 17:43:57 +0200 Received: (from kleijn@localhost) by silver.liacs.nl (8.13.8/8.13.8/Submit) id m2VFhttd005850 for caml-list@inria.fr; Mon, 31 Mar 2008 17:43:55 +0200 From: Jetty Kleijn Message-Id: <200803311543.m2VFhttd005850@silver.liacs.nl> Date: Mon, 31 Mar 2008 17:43:55 +0200 To: caml-list@inria.fr Subject: Call for Presentations CHINA 2008 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 47F106BF.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; co-located:01 model:01 synthesis:01 rewriting:01 logics:01 locality:01 lncs:01 authors':01 xi'an:98 homepages:98 biological:98 membrane:98 romania:98 hao:98 abstract:01 ======================== 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)