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.7 required=5.0 tests=MAILTO_TO_SPAM_ADDR, SPF_SOFTFAIL 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 D8798BC69 for ; Thu, 15 Nov 2007 11:45:06 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAABSyO0fAXQImh2dsb2JhbACOfwEBAQgKKYEP X-IronPort-AV: E=Sophos;i="4.21,419,1188770400"; d="scan'208";a="4513523" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 15 Nov 2007 11:45:06 +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 lAFAj39V016585 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 15 Nov 2007 11:45:06 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAABSyO0eA8OpViGdsb2JhbACOfwEBARIpgQ8 X-IronPort-AV: E=Sophos;i="4.21,419,1188770400"; d="scan'208";a="19333333" Received: from cheviot1.ncl.ac.uk ([128.240.234.85]) by mail4-smtp-sop.national.inria.fr with ESMTP; 15 Nov 2007 11:45:09 +0100 X-Newcastle-MailScanner-Watermark: 1195728280.26788@BLKmG1NAl8hYDUbG5wO2LQ Received: from quarrel.campus.ncl.ac.uk (quarrel.ncl.ac.uk [10.8.234.173]) by cheviot1.ncl.ac.uk (8.13.1/8.13.1) with ESMTP id lAFAid3o010166 for ; Thu, 15 Nov 2007 10:44:39 GMT Received: from SANMAIL01.campus.ncl.ac.uk ([10.8.238.7]) by quarrel.campus.ncl.ac.uk with Microsoft SMTPSVC(6.0.3790.3959); Thu, 15 Nov 2007 10:44:38 +0000 X-MimeOLE: Produced By Microsoft Exchange V6.5 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Subject: Call for Papers: ACSD 2008 - Xian, China Date: Thu, 15 Nov 2007 10:44:39 -0000 Message-ID: X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: Call for Papers: ACSD 2008 - Xian, China Thread-Index: AcgndIWUTEMz57agTky+TQOUcIJDmQ== From: "maciej koutny" To: X-OriginalArrivalTime: 15 Nov 2007 10:44:38.0790 (UTC) FILETIME=[85677A60:01C82774] X-Newcastle-MailScanner-Information: Please contact Postmaster@newcastle.ac.uk for more information X-Newcastle-MailScanner: Found to be clean X-Newcastle-MailScanner-MCPCheck: X-Newcastle-MailScanner-From: maciej.koutny@newcastle.ac.uk X-NCL-Spam-Status: No X-Miltered: at discorde with ID 473C232F.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; co-located:01 mscs:01 synthesis:01 synchronous:01 synchronous:01 ad-hoc:01 synthesis:01 modular:01 irisa:01 universitat:01 politecnica:01 catalunya:01 lavagno:01 politecnico:01 torino:01 [Apologies for cross-postings] =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= *** CALL FOR PAPERS *** 8th International Conference on Application of Concurrency to System = Design ACSD 2008 *** Deadline for paper submission: 4 January 2008 *** =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= Dates: 23-27 June 2008 Venue: Xidian University, Xi'an, China Email: acsd2008@xidian.edu.cn Web: http://ictt.xidian.edu.cn/acsd2008/Pages/ACSD_main.jsp ACSD 2008 will be co-located with 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency and the two conferences will share invited speakers as well as the satellite workshops and tutorials: http://ictt.xidian.edu.cn/atpn-acsd2008/Pages/main.jsp Conference Focus The International Conference on Application of Concurrency to System = Design (ACSD) serves as a forum for disseminating theoretical results with application potential and advanced methods and tools for the design of complex concurrent systems. While there are already quite a few success stories in the field, there is still a strong need to bring theory and practice closer together. The conference aims at cross-fertilising both theoretical and applied research on topics including, but not limited = to, the following: * Design methods, tools and techniques based on models of computation = and concurrency (data-flow models, communicating automata, Petri nets, process algebras, state charts, MSCs, etc.), (performance) analysis, verification, testing and synthesis. * Hardware / software co-design, platform-based design, = component-based design, refinement techniques, hardware / software abstractions, co-simulation and verification. * Synchronous and asynchronous design, asynchronous circuits, globally asynchronous locally synchronous systems, interface design, = multi-clock systems, functional and timing verification. * Concurrency issues in systems-on-a chip, massively parallel = architectures, networks-on-a-chip, task and communication scheduling, resource, = memory and power management, fault-tolerance and quality of service issues. * (Industrial) case studies of general interest, gaming applications, consumer electronics and multimedia, automotive systems, = (bio-)medical applications, Internet and grid computing, etc. * Concurrency issues in ad-hoc, mobile and wireless networking, sensor networks, communication protocols, cross-layer optimization, = resource and power management, fault-tolerance, concurrency-related security = issues. * Business process modelling, simulation and verification, = (distributed) workflow execution, business process (de-)composition, = interorganisational and heterogeneous workflow systems, computer-supported collaborative = work systems, web services. * Synthesis and control of concurrent systems, (compositional) = modelling and design, (modular) synthesis and analysis, distributed simulation and implementation, (distributed) controller synthesis, adaptive = systems, supervisory control. ACSD Keynote Speaker=20 Mike Kishinevsky (Intel, Hillsboro, Oregon, USA) General Chair Zhenhua Duan (Xidian University, China) Program Committee Co-Chairs Jonathan Billington (University of South Australia, Australia) Maciej Koutny (University of Newcastle upon Tyne, UK) Steering Committee Alex Yakovlev (University of Newcastle upon Tyne, UK), Chair Beno=EEt Caillaud (IRISA, France) Jordi Cortadella (Universitat Politecnica de Catalunya, Spain) J=F6rg Desel (Katholische Universit=E4t Eichst=E4tt-Ingolstadt, = Germany) Alex Kondratyev (Cadence, USA) Luciano Lavagno (Politecnico di Torino, Italy) Antti Valmari (Tampere University of Technology, Finland) Regular Papers Submitted papers should be in IEEE Computer Society Press 2-column = format (ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct.pdf). *** Both long papers (7 to 10 pages) and short papers (5 to 6 pages) can = be=20 submitted.=20 Authors submitting long papers should indicate in their submission=20 whether they would be prepared to reduce the length of their = submissions=20 to 6 pages on the recommendation of the programme committee. *** The cover page should include the corresponding author, physical and e-mail addresses, phone and FAX numbers, and an abstract of at most 60 words. The deadline for submission of regular = papers is *4 January 2008*. Paper submission will be handled electronically. Submitted papers should describe original work that has not been = previously published and is not under review for publication elsewhere.=20 Tool Papers and Demonstrations Submissions for tool demonstrations should be no more than 5 pages in = IEEE CS Press format and should be submitted by *4 January 2008*. Tool = papers will be reviewed by the programme committee. Acceptance of a tool paper = implies that a tool demonstration should be given at the conference. For = facility arrangements and questions, please contact Xiaobing Wang (xbwang@mail.xidian.edu.cn). Submissions=20 =20 Both regular and tool papers should be submitted to ACSD 2008 via Easy = Chair: *** http://www.easychair.org/conferences/?conf=3DACSD-08 *** More information will be provided through the conference web site (see = above). Proceedings The proceedings, containing invited papers and accepted regular and = tool papers, will be published by IEEE Computer Society Press. Best Paper Award A best paper award will be given to the author(s) of the best regular = paper presented at ACSD 2008. Special Issue Fundamenta Informaticae The best papers of ACSD will be considered for publication in extended = and revised form in a special issue of the journal Fundamenta = Informaticae. Organising Committee Zhenhua Duan (general chair) Xinbuo Gao (co-chair) Shouzhi Wang (co-chair) Bin Yu (publicity chair) Xiaobing Wang (tool exhibition chair) Sponsorship and Cooperation National Natural Foundation of China Shaanxi Province Computer Federation Institute of Computing Theory and Technology, Xidian University International Cooperation and Exchange Office, Xidian University Important Dates - Deadline for paper submission: 4 January 2008 - Notification of acceptance: 1 March 2008 - Deadline for final version: 11 April 2008 - Tutorials & Workshops: 23-24 June 2008 - Conference: 25-27 June 2008 Program Committee Wil van der Aalst (TU Eindhoven, The Netherlands)=20 Twan Basten (TU Eindhoven, The Netherlands) Jonathan Billington (University of South Australia, Australia, co-chair) Marius Bozga (VERIMAG, France) Manfred Broy (Technische Universit=E4t M=FCnchen, Germany) Gianfranco Ciardo (University of California at Riverside, USA)=20 J=F6rg Desel (Katholische Universit=E4t Eichst=E4tt-Ingolstadt, Germany) Zhenhua Duan (Xidian University, China) Stephen Edwards (Columbia University, USA) Marc Geilen (TU Eindhoven, The Netherlands) Keijo Heljanko (Helsinki University of Technology, Finland) Petr Jancar (Technical University of Ostrava, Czech Republic) Ryszard Janicki (McMaster University, Canada) Kurt Jensen (University of Aarhus, Denmark) Mark Josephs (London South Bank University, UK) Gabriel Juh=E1s (Slovak University of Technology, Slovakia) Victor Khomenko (University of Newcastle upon Tyne, UK) Erwin de Kock (NXP Semiconductors, The Netherlands) Fabrice Kordon (University Paris 6, France) Maciej Koutny (Newcastle University, UK, co-chair Anton=EDn Kucera (Masaryk University in Brno, Czech Republic) Marta Kwiatkowska (Oxford University, UK) Charles Lakos (University of Adelaide, Australia) Johan Lilius (TUCS and Abo Akademi University, Finland) Lin Liu (University of South Australia, Australia)=20 Ricardo Machado (Universidade do Minho, Portugal) Huaikou Miao (Shanghai University, China) Rocco De Nicola (Universita` degli Studi di Firenze, Italy)=20 Doron Peled (University of Warwick, UK) Elisabeth Pelz (Universit=E9 Paris 12, France) =20 Wojciech Penczek (Polish Academy of Science and University of Podlasie, = Poland) Laure Petrucci (Universit=E9 Paris 13, France) S. Ramesh (GM Research Lab, India) Jean-Fran=E7ois Raskin, (Universit=E9 Libre de Bruxelles, Belgium) Anders Ravn (Aalborg University, Denmark) Sandeep Shukla (Virginia Tech, USA) Jean-Pierre Talpin (IRISA, France) P.S. Thiagarajan (National University of Singapore, Singapore) Irek Ulidowski (Leicester University, UK) =20 Walter Vogler (Universit=E4t Augsburg, Germany)=20 Jinyun Xue (Jiangxi Normal University, China) Tomohiro Yoneda (National Institute of Informatics, Japan) Bin Yu (Xidian University, China) Wenhui Zhang (ISCAS, China) Hong Zhu (Fudan University, China) Wlodek Zuberek (Memorial University of Newfoundland, Canada)