From - Mon Mar 10 23:09:41 1997 Path: Radon.Stanford.EDU!news.Stanford.EDU!su-news-hub1.bbnplanet.com!cam-news-hub1.bbnplanet.com!news.bbnplanet.com!howland.erols.net!surfnet.nl!news.nic.utwente.nl!news.cs.utwente.nl!not-for-mail From: papm97@cs.utwente.nl (Albert Nymeyer) Newsgroups: comp.specification,comp.theory,comp.realtime,comp.software-eng,comp.software.testing,specification.misc,comp.protocols.misc Subject: CFP: PAPM97, Process Algebra and Performance Modelling Date: 6 Mar 1997 10:34:00 GMT Organization: University of Twente, Dept. of Computer Science Lines: 74 Distribution: inet Message-ID: <5fm6io$e3o@pandora.cs.utwente.nl> Reply-To: papm97@cs.utwente.nl NNTP-Posting-Host: einstein.cs.utwente.nl X-Server-Date: 6 Mar 1997 10:34:00 GMT Xref: Radon.Stanford.EDU comp.theory:11441 comp.realtime:16158 comp.software-eng:41090 comp.software.testing:14953 comp.protocols.misc:4594 Our apologies if you receive this announcement more than once. SECOND CALL FOR PAPERS ------- PAPM'97 ------- Fifth International Workshop on Process Algebra and Performance Modelling (Note: new dates) 26th-27th June 1997 University of Twente, Enschede, NL URL http://wwwtios.cs.utwente.nl/~papm97/ Performance models are typically developed by abstracting from the specification that is used for the qualitative analysis of a system. This task requires ingenuity and experience. Increasing complexity and magnitude of systems complicates the task considerably. There is therefore an interest in obtaining performance models in a compositional way. The characterisation of process algebras by powerful composition operators has led to the investigation of stochastic process algebras. These formalisms are extensions of process algebras like CSP, CCS, and LOTOS, where the time of occurrence of actions is determined by random variables. The aim of the workshop is to bring together researchers and practitioners interested in the development and application of process algebras to performance modelling. The focus is on the interplay between functional and performance analysis in a process-algebra setting. Topics at the workshop include: * process algebras and their application to performance modelling * the relationship between stochastic process algebras and other modelling paradigms * case studies * formal aspects of other approaches to performance modelling * timed and probabilistic extensions of other formal description techniques that are used for performance evaluation SUBMISSIONS AND PROCEEDINGS Authors are invited to submit a paper not exceeding 15 pages. Electronic submission via e-mail is encouraged, and should be sent to Albert Nymeyer as encapsulated postscript file. Alternatively, submissions may be sent by ordinary mail (three copies required). E-mail addresses of the author(s) should be included. The notification of acceptance will be per e-mail. As in previous years, there will be a post-workshop review of accepted papers. The workshop proceedings will be a technical report of the University of Twente, and will be available after the workshop. The organisers will contact editors for publishing the proceedings. IMPORTANT DATES * Deadline for submission 19 May 1997 * Notification to authors 2 June 1997 * Final version of submission due on 1 October 1997 --------------------------------------------------------------------- Albert Nymeyer tel: +31 (0)53 489 3767 Dept of Computer Science/TIOS fax: +31 (0)53 489 3247 University of Twente e-mail: papm97@cs.utwente.nl P.O. Box 217 7500 AE Enschede, The Netherlands http://wwwtios.cs.utwente.nl/~papm97/