************************************************************************ 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=E9gio de Engenharia Inform=E1tica da Ordem dos Engenheiros Portuguesa In cooperation with * FME - Formal Methods Europe Proceedings published by * IEEE Computer Society Press 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. 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 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 J. Beister (Univ. of Keiserslautern, Germany) - beister@rhrk.uni-kl.de M. Bednarczyk (IPI PAN, Poland) - m.bednarczyk@ipipan.gda.pl M. Broy (Munich, Germany) - broy@informatik.tu-muenchen.de J. Billington (Univ. of South Australia, Australia) - j.billington@unisa.ed= u.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.d= e 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.Kleinjohann@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 Ebo Akademi Univ., Finland) - Johan.Lilius@abo.fi R. Machado (Univ. do Minho, Portugal) - rmac@dsi.uminho.pt N. Maranghello (USP, 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@verimag.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) 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