Marina Waldén – författare

This book constitutes the thoroughly refereed post-proceedings of the 5th International Conference on High Performance Computing for Computational Science, VECPAR 2002, held in Porto, Portugal in June 2002. The 45 revised full papers presented together with 4 invited papers were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections on fluids and structures, data mining, computing in chemistry and biology, problem solving environments, computational linear and non-linear algebra, cluster computing, imaging, and software tools and environments.

The 5th edition of the VECPAR series of conferences marked a change of the conference title. The full conference title now reads VECPAR 2002 — 5th Int- national Conference on High Performance Computing for Computational S- ence. This re?ects more accurately what has been the main emphasis of the conference since its early days in 1993 – the use of computers for solving pr- lems in science and engineering. The present postconference book includes the best papers and invited talks presented during the three days of the conference, held at the Faculty of Engineering of the University of Porto (Portugal), June 26–28 2002. The book is organized into 8 chapters, which as a whole appeal to a wide research community, from those involved in the engineering applications to those interested in the actual details of the hardware or software implementation, in line with what, in these days, tends to be considered as Computational Science and Engineering (CSE). The book comprises a total of 49 papers, with a prominent position reserved for the four invited talks and the two ?rst prizes of the best student paper competition.

The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.