[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[CFP] Application of Concurrency to System Design, ACSD 2007



                             ACSD 2007

7th International Conference on Application of Concurrency to System Design

                         http://www.acsd.sk

                   *** SECOND CALL FOR PAPERS ***
                   *** submission is now open ***

        *** Deadline for paper submission: 21 January 2007 ***
         (This deadline is STRICT and will NOT be extended.)

Dates and Venue

  10-13 July 2007, Bratislava, Slovakia

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-fertilizing 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 Chips, massively parallel architectures,
    networks on 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.

  * Special session on networked systems: concurrency issues in ad-hoc, mobile
    and wireless networking, sensor networks, communication protocols, cross-
    layer optimization, resource, power and Quality of Service management,
    fault-tolerance, concurrency-related security issues.

  * Special session on concurrency in Business Process Management: business
    process modeling, simulation and verification, (distributed) workflow
    execution, business process (de-)composition, interorganizational and
    heterogeneous workflow systems, computer-supported collaborative work
    systems, web services

  * Special session on synthesis and control of concurrent systems:
    (compositional) modeling and design, (modular) synthesis and analysis,
    distributed simulation and implementation, (distributed) controller
    synthesis, adaptive systems, supervisory control

Invited Speakers

  Conference keynote: Rishiyur Nikhil (Bluespec Inc., USA)

  Special session keynotes:
  - Networked systems:
      Lothar Thiele, Swiss Federal Institute of Technology (ETH), Switzerland
  - Concurrency in Business Process Management:
      Wil van der Aalst, Eindhoven University of Technology, The Netherlands
  - Synthesis and control of concurrent systems:
      Philippe Darondeau, INRIA, France

Programme Committee Co-Chairs

  Twan Basten (Eindhoven University of Technology, The Netherlands)
  Sandeep Shukla (Virginia Tech, USA)

General Chair

  Gabriel Juhás (Slovak University of Technology Bratislava, Slovakia)

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)

Programme Committee

  Twan Basten (Eindhoven University of Technology, The Netherlands, co-chair)
  Sandeep Shukla (Virginia Tech, USA, co-chair)
  Jonathan Billington (University of South Australia, Australia)
  Marius Bozga (VERIMAG, France)
  Manfred Broy (Technische Universität München, Germany)
  Benoît Caillaud, (IRISA, France)
  Jörg Desel (Katholische Universität Eichstätt-Ingolstadt, Germany)
  Stephen Edwards (Columbia University, USA)
  Marc Geilen (Eindhoven University of Technology, 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)
  Gabriel Juhás (Slovak University of Technology, Slovakia)
  Mark Josephs (London South Bank University, UK)
  Sri Kanajan (General Motors Research, USA)
  Victor Khomenko (University of Newcastle upon Tyne, UK)
  Erwin de Kock (Philips Research, The Netherlands)
  Fabrice Kordon (University Paris 6, France)
  Antonín Kucera (Masaryk University in Brno, Czech Republic)
  Thomas Kunz (Carleton University, Canada)
  Marta Kwiatkowska (University of Birmingham, UK)
  Charles Lakos (University of Adelaide, Australia)
  Johan Lilius (TUCS and Abo Akademi University, Finland)
  Ricardo Machado (Universidade do Minho, Portugal)
  John Moondanos (INTEL, USA)
  Enric Pastor (Universitat Politecnica de Catalunya, Spain)
  Doron Peled (University of Warwick, UK)
  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)
  Jean-Pierre Talpin (IRISA, France)
  Yosinori Watanabe (Cadence, USA)
  Alex Yakovlev (University of Newcastle upon Tyne, UK)
  Tomohiro Yoneda (National Institute of Informatics, Japan)
  Wlodek Zuberek (Memorial University of Newfoundland, Canada)

Regular Papers

  Submitted papers should be in IEEE Computer Society Press 2-column format
  (ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct.pdf), with
  no more than 10 pages. 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 *21 January 2007*. 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. More
  information can be obtained through the conference web-pages.

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 21 January 2007. 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 Martin Hornanský
  (martin.hornansky@xxxxxxxx).

Tutorials

  ACSD will feature some half-day tutorials, to introduce topical subjects
  related to research topics covered by ACSD at the level of PhD students.
  Tutorial submissions should survey the state-of-the-art in the subject area.
  Submissions for tutorials should be no more than 5 pages in IEEE CS Press
  format and should be submitted by 21 January 2007. Tutorial submissions will
  be reviewed by the programme committee. For facility arrangements and
  questions, please contact Jaroslav Fogel (jaroslav.fogel@xxxxxxxx).

Proceedings

  Proceedings containing accepted regular papers, invited papers, tool papers,
  and tutorials are planned to 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 2007.

Special Issue Fundamenta Informaticae

  Best papers of ACSD will be considered for publication in extended and
  revised form in a special issue of the journal Fundamenta Informaticae.

Organizing Committee

  Gabriel Juhás (general chair)
  Jaroslav Fogel (tutorial chair)
  Martin Hornanský (tool demonstrations)
  Fedor Lehocki (financial matters)
  Peter Melísek (web pages and technical support)
  Zuzana Sabíková (secretary)
  Zuzana Sevcíková (communication)

Sponsoring and Cooperation

  Slovak University of Technology Bratislava, Slovakia

Important Dates

  - Deadline for paper submission: 21 January 2007
    This deadline is STRICT and will NOT be extended
  - Notification of acceptance: 19 March 2007
  - Deadline for final version: 15 April 2007
  - Conference: 10-13 July 2007