===========================================================================
*** CALL FOR PAPERS ***
8th International Conference on Application of Concurrency to System Design
ACSD 2008
*** Deadline for paper submission: 4 January 2008 ***
===========================================================================
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
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ît Caillaud (IRISA, France)
Jordi Cortadella (Universitat Politecnica de Catalunya, Spain)
Jörg Desel (Katholische Universität Eichstätt-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
submitted.
Authors submitting long papers should indicate in their submission
whether they would be prepared to reduce the length of their submissions
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.
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
Both regular and tool papers should be submitted to ACSD 2008 via Easy Chair:
***
http://www.easychair.org/conferences/?conf=ACSD-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)
Twan Basten (TU Eindhoven, The Netherlands)
Jonathan Billington (University of South Australia, Australia, co-chair)
Marius Bozga (VERIMAG, France)
Manfred Broy (Technische Universität München, Germany)
Gianfranco Ciardo (University of California at Riverside, USA)
Jörg Desel (Katholische Universität Eichstätt-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ás (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ín 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)
Ricardo Machado (Universidade do Minho, Portugal)
Huaikou Miao (Shanghai University, China)
Rocco De Nicola (Universita` degli Studi di Firenze, Italy)
Doron Peled (University of Warwick, UK)
Elisabeth Pelz (Université Paris 12, France)
Wojciech Penczek (Polish Academy of Science and University of Podlasie, Poland)
Laure Petrucci (Université Paris 13, France)
S. Ramesh (GM Research Lab, India)
Jean-François Raskin, (Université 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)
Walter Vogler (Universität Augsburg, Germany)
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)
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
No comments:
Post a Comment