[PVS] [verimag-news ] ACSD 2006 -- Call for Papers

[Marius Bozga <Marius.Bozga@imag.fr>]

                               ACSD 2006

     Sixth International Conference on Application of Concurrency to
                             System Design

                     http://www.cs.abo.fi/acsd2006

                      Preliminary Call for Papers

           *** Deadline for paper submission: 1 december 2005 ***


Dates and Venue

   27-30 june 2006, Åbo Akademi University, Turku, Finland

   Co-located with the International Conference on Application and Theory of
   Petri Nets (http://www.cs.abo.fi/atpn2006)

Conference Focus

   The International Conference on Application of Concurrency to System
Design (ACSD) serves as a forum for disseminating theoretical results
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 types
of research on the following topics:

   * 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).

Chairs

   Kees Goossens (Philips, The Netherlands), programme committee co-chair
   Johan Lilius (TUCS and Åbo Akademi University, Finland), general chair
   Laure Petrucci (Université Paris 13, France), programme committee
co-chair

Steering Committee

   Alex Yakovlev (University of Newcastle upon Tyne, UK), Chair
   Benoît Caillaud (IRISA, France)
   Jordi Cortadella (Universitat Politècnica 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

   Kees Goossens (Philips, The Netherlands), co-chair
   Laure Petrucci (Université Paris 13, France), co-chair

   Twan Basten (Eindhoven University of Technology, The Netherlands)
   Jonathan Billington (University of South Australia, Australia)
   Marius Bozga (VERIMAG, France)
   Franck van Breugel (York University, Canada)
   Manfred Broy (Technische Universität München, Germany)
   Benoît Caillaud, (IRISA, France)
   Paul Caspi (VERIMAG, France)
   Werner Damm (Universität Oldenburg, Germany)
   Jörg Desel (Katholische Universität Eichstätt-Ingolstadt, Germany)
   Heiko Dörr (DaimlerChrysler Research, Germany)
   Stephen Edwards (Columbia University, USA)
   Radu Grosu (SUNY at Stony Brook, USA)
   Thomas Henzinger (EPFL Lausanne, Switzerland)
   Ryszard Janicki (McMaster University, Canada)
   Kurt Jensen (University of Aarhus, Denmark)
   Mark Josephs (London South Bank University, England)
   Gabriel Juhas (Slovak University of Technology, Slovakia)
   Sri Kanajan (General Motors Research, USA)
   Faraydon Karim (ST Microelectronics, USA)
   Michael Kishinevsky (INTEL, USA)
   Victor Khomenko (University of Newcastle upon Tyne, England)
   Erwin de Kock (Philips Research, The Netherlands)
   Fabrice Kordon (University Paris 6, France)
   Charles Lakos (University of Adelaide, Australia)
   Johan Lilius (TUCS and Åbo Akademi University, Finland)
   Ricardo Machado (Universidade do Minho, Portugal)
   John Moondanos (INTEL, USA)
   Enric Pastor (Universitat Politècnica de Catalunya, Spain)
   Doron Peled (University of Warwick, England)
   Wojciech Penczek (Polish Academy of Science and Univ. of Podlasie,
Poland)
   Jean-François Raskin, (Université Libre de Bruxelles, Belgium)
   Anders Ravn (Aalborg University, Denmark)
   Yosinori Watanabe (Cadence, USA)
   Alex Yakovlev (University of Newcastle upon Tyne, England)
   Tomohiro Yoneda (National Institute of Informatics, Japan)
   Wlodek Zuberek (Memorial University of Newfoundland, Canada)

Proceedings

   Proceedings will be published by IEEE Computer Society Press.

Papers

   Submitted papers should be in IEEE CS Press 2-column format (see links
   below), with no more than 10 pages. The cover page should include the
   corresponding author physical and e-mail addresses, phone, FAX numbers
   and a 60-word abstract. The deadline for submissions is *1 december
2005*.
   Paper submission will be handled electronically. More information will be
   available on the conference web-pages.

   Accepted papers will appear in the conference proceedings, published by
   IEEE Computer Society Press.

Tool Demos

   Submissions for tool demonstration should be no more than 2 pages (IEEE
   format) and sent to Jerker Björqvist (Jerker.Bjorqkvist@abo.fi) by 1
march
   2006.

Organizing Committee

   Johan Lilius (general chair)
   Jerker Björqvist (tool demo chair)
   Xinrong Zhou (workshop chair)
   Christel Engblom (secretary)
   Ulf Tigerstedt (technical support)

Sponsoring and Cooperation

   TBA

Important Dates

   - Deadline for paper submission: 1 december 2005
   - Deadline for tool demonstration submission: 1 march 2006
   - Notification of acceptance: 13 march 2006
   - Deadline for final version: 7 april 2006
   - Conference: 27-30 june 2006

Links

   * ACSD 2006 web page: http://www.cs.abo.fi/acsd2006
   * IEEE CS Press 2-column format:
     ftp://pubftp.computer.org/Press/Outgoing/proceedings/instruct.pdf



***
(un)subscribe the verimag-news mailing list by sending a mail to listes@imag.fr
with the following subject
 - for subscribing   : sub verimag-news 
 - for unsubscribing : uns verimag-news your-email-to-be-unsubscribed
 - for getting help  : help