McMaster University, Department of Computing and Software, Software Quality Research Laboratory
ACSD 2004 Application of Concurrency to System Design June 2004.  Hamilton, Ontario, Canada.
Published by: IEEE Computer Society Press IOS Press Excursion to: Niagara Falls
Sponsors: Software Quality Research Laboratory, McMaster University Faculty of Engineering, McMaster University CITO Intel Motorola
Papers Satellite events
Electronic submissions of papers

Topics of Interest

Original papers on the following list of topics are solicited:
  • methods for design of synchronous or asynchronous systems based on models of concurrency (data-flow, communicating automata, Petri nets, process algebras, statecharts, MSCs etc.)
  • Correct-by-construction design methods and integration of verification techniques with the design process.
  • Synchronous / asynchronous design and communication interfaces: Globally Asynchronous Locally Synchronous systems.
  • Hardware / software co-design from common specifications.
  • Concurrency issues in Systems on Chips (in particular, use of formal methods for communication protocol design and verification).
  • Design examples.
  • Design tools.
  • Asynchronous Interfaces: tools, techniques, and implementations
    special session chaired by Alex Yakovlev
    (a follow-up to AINT 2000, see
  • Automotive Systems: modelling, design, and verification special session chaired by Jorg Desel
Initial contact for satellite workshop proposals
January 5, 2004 (final)
Deadline for paper submissions
January 5, 2004 (final)
Due date for the final workshop proposals
February 6, 2004 (final)
Notification of acceptance of papers
March 3, 2004
Final papers due
March 28, 2004
Early Registration Before
May 1, 2004
Registration Deadline
May 31, 2004
© 2003-2004 McMaster University, Department of Computing and Software.

Contact e-mail: | McMaster's Privacy Policy