Call
for
Papers
|
Third International Conference on Application of Concurrency to System
Design (ACSD 2003)
CALL FOR PAPERS
18-20th of June 2003, Guimarães, Portugal
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
A selection of six papers of ACSD 2003 will also be published
in a special edition of "Fundamenta
Informaticae", IOS Press, Netherlands
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 Åbo 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. More information will be available
on the Conference web-pages.
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 (felice@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: 1st December 2002
New: Submission Deadline extended to Dec. 10th 2002!
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) - felice@cadence.com
M. Bednarczyk (IPI PAN, Poland) - m.bednarczyk@ipipan.gda.pl
M. Broy (Technical Univ. of Munich, Germany) - broy@informatik.tu-muenchen.de
J. Billington (Univ. of South Australia, Australia) - j.billington@unisa.edu.au
P. Caspi (VERIMAG, France) - paul.caspi@imag.fr
J. Cortadella (UPC, Spain) - jordic@lsi.upc.es
J. Desel (Katlische Univ. Eichstatt, Germany) - joerg.desel@ku-eichstaett.de
H. Hsieh (Univ. of California - Riverside, USA) - harry@cs.ucr.edu
R. Janicki (McMaster University, Canada) - janicki@mail.CAS.McMaster.CA
M. Josephs (SBU, UK) - mark.josephs@sbu.ac.uk
M. Kishinevsky (Intel, USA) - mkishine@ichips.intel.com
B. Kleinjohann (C-LAB, Germany) - bernd@c-lab.de
A. Kondratyev (Cadence, USA) - kalex@cadence.com
R. Kurshan (Cadence, USA) - rkurshan@cadence.com
L. Lavagno (Politecnico di Torino, Italy) - lavagno@polito.it
J. Lilius (TUCS and Åbo Akademi Univ., Finland) - Johan.Lilius@abo.fi
R. J. Machado (Univ. do Minho, Portugal) - rmac@dsi.uminho.pt
N. Marranghello (Unesp, Brazil) - norian@dcce.ibilce.unesp.br
A. Moreira (Univ. Nova de Lisboa, Portugal) - amm@di.fct.unl.pt
E. Pastor (Univ. de Catalunya, Spain) - enric@ac.upc.es
G. Rozenberg (Leiden Univ, Netherlands) - rozenber@cs.leidenuniv.nl
S. Tripakis (VERIMAG, France) - stavros.tripakis@imag.fr
A. Valmari (Tampere Univ. of Technology, Finland) - ava@cs.tut.fi
A. Yakovlev (Univ. of Newcastle upon Tyne, UK) - alex.yakovlev@ncl.ac.uk
W. Yi (Uppsala, Sweden) - yi@docs.uu.se
T. Yoneda (Tokyo IT, Japan) - yoneda@cs.titech.ac.jp
ORGANIZING COMMITTEE (Universidade do Minho, Portugal)
Ricardo J. Machado (chair)
João M. Fernandes (co-chair & finance)
Maribel Y. Santos (local arrangements)
Luís P. Santos (sponsors)
Rui J. José (web & internet services)
Íris S. Saraiva (publicity & media)
António J. 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
|