ACSD 2003 Call for Papers (EXTENDED DEADLINE 10th December 2002)
Johan Lilius IB
Note: EXTENDED DEADLINE 10th December 2002
CALL FOR PAPERS
ACSD 2003
International Conference on Application of Concurrency to System Design
18-20th of June 2003
Guimaraes, Portugal
http://get.dsi.uminho.pt/acsd03
************************************************************************
Co-sponsored by
* IFIP WG10.5 and SIG-ES
* OE/CEI - Colégio de Engenharia Informática da Ordem dos
Engenheiros Portuguesa
In cooperation with
* FME - Formal Methods Europe
* EU ACiD-WG
Proceedings published by
* IEEE Computer Society Press
Journal publication
* A selection of 6 papers will be published by Fundamenta Informaticae,
IOS Press, Netherlands
PURPOSE
The International Conference on Application of Concurrency to System
Design (ACSD) is being organized for the third time (see also ACSD
2001) to serve as a forum for disseminating advanced research results
on theory and practice of design of concurrent systems. While there
are a few success stories in this field, there is a real need to
provide practitioners with adequately sound and expressive tools, and
researchers with real motivations and examples. The aim of this
conference is to contribute towards this goal by bringing together
experts in a wide variety of fields related to complex concurrent
system design and analysis.
The scientific program will also include invited lectures covering the
areas of current interest, tool presentations and demonstration.
PROGRAM COMMITTEE CO-CHAIRS
Felice Balarin - Cadence Berkeley Labs, USA
Johan Lilius - Turku Centre for Computer Science and
Abo Akademi University, Finland
TOPICS OF INTEREST
* Formal and semi-formal models: Petri nets, Process Algebras, Temporal
Logics, Data Flow nets, Statecharts (both Harel's and UML),
Synchronous Languages, HDLs, etc.
* Formal methods for CAD and verification of concurrent systems: model
checking, asynchronous design, high-level synthesis, hardware/software
co-design, etc.
* Real-time and hybrid systems
* Discrete-event systems, communication protocols and interfaces
* Concurrency issues in designing Systems-on-Chip
* Case studies of concurrent systems design and verification
* Presentation of software tools supporting the above topics
PAPERS
Submitted papers should be no more than 15 pages in 11-point
font with a 60-word abstract, and should include a cover page with
authors' physical and e-mail addresses, phone and FAX numbers by 1st
December 2002.
Paper submission will be handled electronically at the
URL http://get.dsi.uminho.pt/acsd03/submissions.html
Accepted papers will be published by the IEEE Computer Society Press.
TOOL DEMOS
Submissions for tool demonstration should be no more than 2 pages and
sent to Felice Balarin (fel...@cadence.com) by 1st of February 2003.
The accepted tool descriptions will appear as an appendix in the
conference proceedings.
IMPORTANT DATES
Deadline for paper submission: 10th December 2002 (DEADLINE EXTENSION)
Deadline for tool demonstration submission: 1st February 2003
Notification of acceptance: 1st March 2003
Deadline for final version: 28th March 2003
PROGRAM COMMITTEE
F. Balarin (Cadence, USA) - fel...@cadence.com
J. Beister (Univ. of Keiserslautern, Germany) - bei...@rhrk.uni-kl.de
M. Bednarczyk (IPI PAN, Poland) - m.bedn...@ipipan.gda.pl
M. Broy (Munich, Germany) - br...@informatik.tu-muenchen.de
J. Billington (Univ. of South Australia, Australia) - j.bill...@unisa.edu.au
P. Caspi (VERIMAG, France) - paul....@imag.fr
J. Cortadella (UPC, Spain) - jor...@lsi.upc.es
J. Desel (Katlische Univ. Eichstatt, Germany) - joerg...@ku-eichstaett.de
H. Hsieh (Univ. of California - Riverside, USA) - ha...@cs.ucr.edu
R. Janicki (McMaster University, Canada) - jan...@mail.CAS.McMaster.CA
M. Josephs (SBU, UK) - mark.j...@sbu.ac.uk
M. Kishinevsky (Intel, USA) - mkis...@ichips.intel.com
B. Kleinjohann (C-Lab, Germany) - Bernd.Kl...@c-lab.de
A. Kondratyev (Cadence, USA) - ka...@cadence.com
R. Kurshan (Cadence, USA) - rkur...@cadence.com
L. Lavagno (Politecnico di Torino, Italy) - lav...@polito.it
J. Lilius (TUCS and Ebo Akademi Univ., Finland) - Johan....@abo.fi
R. Machado (Univ. do Minho, Portugal) - rm...@dsi.uminho.pt
N. Maranghello (USP, Brazil) - nor...@dcce.ibilce.unesp.br
A. Moreira (Univ. Nova de Lisboa, Portugal) - a...@di.fct.unl.pt
E. Pastor (Univ. de Catalunya, Spain) - en...@ac.upc.es
G. Rozenberg (Leiden Univ, Netherlands) - roze...@cs.leidenuniv.nl
S. Tripakis (VERIMAG, France) - stavros....@verimag.fr
A. Valmari (Tampere Univ. of Technology, Finland) - a...@cs.tut.fi
A. Yakovlev (Univ. of Newcastle upon Tyne, UK) - alex.y...@ncl.ac.uk
W. Yi (Uppsala, Sweden) - y...@docs.uu.se
T. Yoneda (Tokyo IT, Japan) - yon...@cs.titech.ac.jp
ORGANIZING COMMITTEE (Universidade do Minho, Portugal)
R. Machado (chair)
J. Fernandes (co-chair & finance)
M. Santos (local arrangements)
L. Santos (sponsors)
R. Jose (web & internet services)
I. Saraiva (publicity & media)
A. Esteves (travel & tourism)
INSTITUTIONAL LINKS
IFIP Link: B. Kleinjohann, C-LAB, Germany
FME Link: J. N. Oliveira, Universidade do Minho, Portugal
OE/CEI Link: J. M. Tribolet, INESC/IST, Portugal