Received: from ani.univie.ac.at by vnet.IBM.COM (IBM VM SMTP V2R2) with TCP; Fri, 21 Jan 94 14:32:25 EST Received: by ani.univie.ac.at id AA06908 (5.65c8/IDA-1.4.4 for funk@vnet.IBM.COM); Fri, 21 Jan 1994 20:30:47 +0100 Date: Fri, 21 Jan 1994 20:30:47 +0100 From: Gabriele Kotsis Message-Id: <199401211930.AA06908@ani.univie.ac.at> To: funk@vnet.IBM.COM Subject: tools 1994 Content-Type: X-sun-attachment X-Charset: ASCII X-Char-Esc: 29 ---------- X-Sun-Data-Type: text X-Sun-Data-Description: text X-Sun-Data-Name: text X-Sun-Content-Lines: 1 ---------- X-Sun-Data-Type: default X-Sun-Data-Description: default X-Sun-Data-Name: prog X-Sun-Content-Lines: 814 Preliminary Program of the 7th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation May 3-6, 1994 Vienna, Austria Welcome from the Programme Chair The 7th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation is dedicated to a broad variety of contributions in performance evaluation, reliability and performability as key factors in the development and improvement of computer systems and computer networks. The conference will focus on methodologies, techniques and tools for performance and reliability analysis of centralized, distributed and parallel computer systems. These topics will be covered by tutorials, presentations of invited and submitted papers, poster presentations and tool presentations, respectively. Due to the high quality of the submitted papers the programme committee was able to shape an attractive conference, which takes place for the first time in Vienna, following the tradition of previous conferences. Steering Committee Programme Chair Gu:nter Haring Dept. of Applied Computer Science University of Vienna Lenaugasse 2/8 A-1080 Vienna, Austria Fax: +43 1 408 04 50 e-mail: haring@ani.univie.ac.at Tutorial Chair Raymond Marie IRISA/INRIA University of Rennes Campus Beaulieu 35042 Rennes Cedex, France Fax: + 33 99 38 38 32 e-mail marie@irisa.fr Local Arrangements Gabriele Kotsis Dept. of Applied Computer Science University of Vienna Lenaugasse 2/8 A-1080 Vienna, Austria Fax: +43 1 408 04 50 e-mail: gabi.ani.univie.ac.at Conference Programme at a Glance -----------|--------------|--------------|--------------|--------------| | Tue, May 3rd | Wed, May 4t | Thu, May 5th | Fri, May 6th | -----------|--------------|--------------|--------------|--------------| All Day | Book Exhib. | Book Exhib. | Book Exhib. | Book Exhib. | -----------|------------ -|--------------|--------------|--------------| 08.30-09.00| | Opening | | | -----------|--------------|--------------|--------------|--------------| 09.00-09.30| Tutorials | Invited Talk | Invited Talk | Invited Talk | 09.30-10.00| E,G,I | K.S. Trivedi | D. A. Reed | T. Bemmerl | -----------| (parallel) |--------------|--------------|--------------| 10.00-10.30| (sessions) | Methodology | Techniques | Tools III | -----------|--------------|--------------|--------------|--------------| 10.30-11.00| Break | Break | Break | Break | -----------|--------------|--------------|--------------|--------------| 11.00-11.30| Tutorials | Methodology | Techniques | Tools III | 11.30-12.00| E,G,I | Methodology | Techniques | Tools III | 12.00-12.30| (par.sess.) | Methodology | Techniques | Tools III | -----------|--------------|--------------|--------------|--------------| 12.30-14.00| Lunch Break | Lunch Break | Lunch Break | Lunch Break | -----------|--------------|--------------|--------------|--------------| 14.00-14.30| Tutorials | Tools I | Invited Talk | Workload Mod.| 14.30-15.00| A,F,H | Tools I | R. Puigjaner | Workload Mod.| 15.00-15.30| (par.sess.) | Tools I | Tools II | Workload Mod.| -----------|--------------|--------------|--------------|--------------| 15.30-16.00| Break | Break | Break | Break | -----------|--------------|--------------|--------------|--------------| 16.00-16.30| Tutorials | Tools and | Tools and | Case Studies | 16.30-17.00| B,C,D (17.30)| Posters | Posters | Case Studies | -----------|--------------|--------------|--------------|--------------| Evening |Welcome Cockt.| Reception | Conf. Dinner | | -----------|--------------|--------------|--------------|--------------| Tuesday, May 3rd 1994 09.00-12.30 Tutorial E Performance Issues of Real-Time Systems Design A. Llamosi, R. Puigjaner (Universitat de les Illes Baleares) Tutorial G Performance Evaluation of RAID Designs and Architectures A. K. Sahai Tutorial I Dependability Evaluation through Measurement and Models R. Iyer (University of Illinois), K. Trivedi (Duke University) 14.00-15.30 Tutorial A Measurement-based Approach to Workload Characterization M. Calzarossa, L. Massari (Univ. di Pavia) Tutorial F The Evaluation of Network Reliability Metrics G. Rubino (IRISA INRIA) Tutorial H Error Bound Analysis for Queueing Networks N. M. van Dijk (Free University) 16.00-17.30 Tutorial B Techniques for Modelling Transient System Performance or Small Numbers with Big Consequences N. J. Gunther (Pyramid Technology Corp.) Tutorial C The Use of Cyclic-Server Models for the Performance Analysis of Computer and Communication Systems B. R. Haverkort (University of Twente) Tutorial D Numerical Solution Methods for Large Finite Markov Chains U. R. Krieger (Deutsche Bundespost Telekom) Wednesday, May 4th 1994 09.00 - 10.00 Invited Talk Tools for Reliability and Performability: Problems and Perspectives K. S. Trivedi (Duke University) 10.00 - 12.30 Focus on Methodology Modelling Aspects of Model Based Dynamic QoS Management by Performability Manager L. J. N. Franken, R. H. Pijpers (PTT Research), B. R. H. M. Haverkort (University of Twente) Waiting Time Distributions for Processor Sharing Queues with State-Dependent Arrival and Service rates J. Braband (Technische Universita:t Braunschweig) Queueing Models of Parallel Applications - The Glamis Methodology H. Jonkers (Delft University of Technology) Automatic Scalability Analysis of Parallel Programs Based on Modeling Techniques A. D. Malony (University of Oregon), V. Mertsiotakis, A. Quick (Universita:t Erlangen-Nu:rnberg) 14.00 - 15.30 Focus on Tools I Simulation of ATM Computer Networks with Class M. Ajmone Marsan, R. Lo Cigno, M. Munafo (Politecnico di Torino), A. Tonietti (CSELT) NetSim - A Tool for Modeling the Performance of Circuit Switched Multicomputer Networks V. Gupta (Rutgers University), E. Schenfeld (NEC Research Institute) ATMSWSIM An Efficient, Portable and Expandable ATM SWitch SIMulator Tool J. Garcia-Haro, R. Marin-Sillue, J. L. Melus-Moreno (Polytechnic University of Catalonia) 16.00 - 17.00 Tools and Poster Presentations Thursday, May 5th 1994 09.00 - 10.00 Invited Talk Experimental Performance Analysis of Parallel Systems: Techniques and Open Problems Daniel A. Reed (University of Illinois) 10.00 - 12.30 Focus on Techniques A Model for Performance Estimation in a Multistreamed Superscalar Processor M. Serrano, W. Yamamoto, R. C. Wood, M. Nemirovsky (University of California) Accelerating the Evaluation of Parallel Program Performance Models using Distributed Simulation A. Ferscha (Universita:t Wien), G. Chiola (Universita' di Torino) An Algorithm for Off-Line Detection of Phases in Execution Profiles T. D. Wagner (Vanderbilt University), B. M. Carlson (Dakota State University) Experiences on SIMD Massively Parallel GSPN Analysis S. Caselli, G. Conte, F. Bonardi, M. Fontanesi (Universita! di Parma) 14.00 - 15.00 Invited Talk Performance Experiences of the Barcelona Olympic Games Computer System R. Puigjaner (Universitat de les Illes Balears), A. Carmona (Parlament de les Illes Balears), L. Domingo (IBM, Barcelona), R. Macau (Eritel, Barcelona), F. Rojo (Selesta, Barcelona) 15.00 - 15.30 Focus on Tools II P4 - The Parallel Program Performance Prediction Toolset H. Wabnig, G. Haring (Universita:t Wien) 16.00 - 17.00 Tools and Poster Presentations Friday, May 6th 1994 09.00 - 10.00 Invited Talk Performance Tools on Intel Scalable High Performance Computing Systems Thomas Bemmerl (Intel Corp., RWTH Aachen) 10.00 - 12.30 Focus on Tools III qcomp - A Tool for Assessing Online Transaction Processing Scalability N. Gunther (Pyramid Technology Corp.) QPN-Tool for Qualitative and Quantitative Analysis of Queueing Petri Nets F. Bause, P. Kemper (Universita:t Dortmund) EPOC - an Integrated Environment for Studying Concurrent Programs S. Donatelli, G. Franceschinis (Universita' di Torino), N. Mazzocca, S. Russo (Universita' di Napoli) The PEPA Workbench - A Tool to Support a Process Algebra based Approach to Performance Modelling S. Gilmore, J. Hillston (University of Edinburgh) 14.00 - 15.30 Focus on Workload Modeling On the Accuracy of Memory Reference Models K. Grimsrud, J. Archibald, R. Frost, B. Nelson (Brigham Young University) Automatically Estimating Networking Contention of Parallel Programs T. Fahringer (Universita:t Wien) Modelling of Communication Load in Multiprocessors C. Tron, B. Plateau (LGI-IMAG) 16.00 - 17.00 Focus on Case Studies Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds W.M.P. van der Aalst (Eindhoven University of Technology) Analyzing PICL Trace Data with MEDEA A. P. Merlo (Universita' di Pavia), P. H. Worley (Oak Ridge National Laboratory) Social Events Tuesday, May 3rd Welcome Cocktail, Hotel Penta, 19.00-20.00 Wednesday, May 4th Reception at the town hall of the City of Vienna Thursday, May 5th Conference Dinner List of Posters The Arithmetic Mean Method for Finding the Stationary Vector of Markov Chains M. Benzi (Universita' di Bologna), T. Dayar (North Carolina State University) Analytical Modelling of Combining Multistage Interconnection Networks P. Mohapatra (Iowa State University), S. Wong, C. R. Das (The Pennsylvania State University) A New Approach to the Approximation of Deterministic Time in Continuous Time Stochastic Models R. German (Technische Universita:t Berlin) Modelling of Algorithms and Processor Arrays Based on Cellular Automata V. Paliouras, E. D. Kyriakis-Bitzaros, T. Stouraitis, C. E. Goutis (University of Patras) Structured Markovian Performance Modelling with Automatic Symmetry Exploitation M. Siegle (Universita:t Erlangen-Nu:rnberg) Fast Approximate Computation of Response Time Distribution in Open Markovian Network of Queues V. Mainkar, K. S. Trivedi (Duke University), S. Woolet (IBM) Buffer Requirements for Communication Networks Analysed by Discrete Time Queueing Models G. Hasslinger, E. S. Rieger (Technische Universita:t Darmstadt) Specification Based Performance Evaluation of Distributed Systems for Telecommunications E. Chiocchetti, R. Manione, P. Renditore (CSELT) A Modular Approach to System Structure and Performance Specification C. J. Minkowitz (University of Stafford), V. Vetland (Politechnico di Milano), P. H. Hughes (Modicum LTD) Asymptotic Properties of Queueing Networks Sergio Coury, Peter Harrison (Imperial College) List of Presented Tools A Toolset to Support the Performance Modelling of Systems Described in SDL N. Xenios (BNR Europe Ltd.) This demonstration will show, how SDL and SES/workbench can be used together to develop a performance critical application and envince how the performance of different designs can be analysed. HIT; QPN; MACOM J. Ma:ter (Universita:t Dortmund) HIT, the HIerarchical modelling Tool, aims at facilitating the model-based performance evaluation of large, structured systems. Graphical and/or textual model specification is based on a HIT-specific, hierarchical and modularised modelling paradigm. Included model evaluation options cover exact and approximate analytical, numerical and simulative/statistical techniques. MACOM, a tool for Markovian Analysis Of COMmunication systems, addresses the model-based performance evaluation of communication systems. Graphical model specification is based on extended queueing networks, comprising in particular queueing and loss aspects. Model analysis is achieved by numerical solution of corresponding Finite Markov Chains. QPN-Tool, as combining Queueing and Petri Nets, provides for model-based system evaluation both functional and performance aspects. Graphical model specification is based on QPN-specific networks. Functional model analysis is accessible via a comprehensive set of Petri Net algorithms, quantitative model analysis utilises numerical Finite Markov Chain techniques. MENTOR - A Model Based Event Trace Evaluation Support System P. Dauphin (Universita:t Erlangen Nu:rnberg) Mentor is an expert system which assists in event trace evaluation of parallel and distributed programs by incorporating knowledge about the program under investigation. P4: Parallel Program Performance Prediction Toolset H. Wabing (Universita:t Wien) P4 is Task Graph based tool for performance modelling of parallel systems. It supports the separate and scalable specification of the algorithm, the ressources and the mapping. P3T: A Parameter Based Performance Prediction Tool T. Fahringer (Universita:t Wien) P3T is a static parameter based performance prediction tool under the Vienna Fortran Compilation system. SURF-2 S. Metge (LAAS-CNRS) SURF-2 is a software toolbox for evaluating hardware/software system dependability. The system behaviour is modeled either by Markov Chains or by generalized stochastic Petri Nets. System Modeling with XPSC R. Geist (Clemson University), S. Daniel (Data General Corp.) XPSC is a modelling tool based on stochastic Petri nets. Although solutions of models described in the XPSC language are outside the realm of purely analytic techniques, favorable solution times are provided via a multi-threaded simulation compiler. The Video Server Estimator Tool VSE 1.1 Y. N. Doganata (IBM T. J. Watson Research Center) VSE is an analytic tool which allows the user to perform cost/performance studies of video systems with hierarchical storage. UltraSAN Version 2: Architecture, Features, and Implementation W. H. Sanders, W. D. Obal, M. A. Qureshi, F. K. Widjanarko (University of Arizona) UltraSAN is an environment supporting model specification, construction and solution for the performance and dependability evaluation of computer systems and networks. Multiple simulation and analysis techniques as well as the solution of families of models with differing model parameter values are supported. List of Tutorials A Measurement-based Approach to Workload Characterization M. Calzarossa, L. Massari (Universita' di Pavia) Duration 1.5 hours Workload characterization represents the basis for all the performance studies dealing with some sort of parametrization. A workload can be described from different perspectives depending on the objectives of the study. When a system is under design, performance predictions are derived by means of modelling techniques. When the system is available, experimental approaches, dealing with the collection of data measured on the system under operation, are adopted. In such a case, it is necessary to identify the set of parameters to be measured together with the appropriate monitoring tools. Analysis techniques are then applied to the collected data in order to construct workload models. This tutorial will focus on the measurement-based approach. The phases of the workload characterization process will be pointed out by analyzing various types of system (e.g., parallel systems, networks). Case studies will also be described. B Techniques for Modelling Transient System Performance or Small Numbers with Big Consequences N. J. Gunther (Pyramid Technology Corporation) Duration 1.5 hours The state of computer system interactions can be represented in conventional queue-theoretic models by the time-dependent queue-length at critical resources e.g., processor, disk, memory, bus/interconnect. It turns out that certain queues can fluctuate about more than one stable length and hence there exits intermediate, UNSTABLE, states! Since queue-lengths directly determine such important macroscopic performance metrics as response times (e.g., virtual memory thrashing), it is essential to have both a qualitative and quantitative understanding of the DYNAMICS of these large transients. In conventional modelling approaches, large transient effects are difficult to capture and calculate. This tutorial will survey of a variety of modelling techniques applied to problems of stability in computer performance analysis. Case studies will include multiprogrammed computers, packet-based networks, multiprocessor and massively parallel systems. The emphasis will be on the modelling techniques and the gained insight rather than mathematical formalism. No sophisticated modelling knowledge will be assumed. A video of numerical simulations of these unstable processes will also be presented. C The Use of Cyclic-Server Models for the Performance Analysis of Computer and Communication Systems B. R. Haverkort (University of Twente) Duration 1.5 hours Over the last two decades, a large amount of effort has been put in the development of so-called cyclic-server or polling models. These models have been used widely for the analysis of communication systems like token rings and token buses, computer system scheduling mechanisms, as well as for the optimization of scheduled repairs of systems of various kinds. For relatively simple (highly symmetric) models closed-form solutions for average waiting times and average cycle times can be obtained. For more complex models, solutions can be obtained by numerically solving systems of (linear) equations or by numerically inverting Laplace transform solutions. For more intricate models, stochastic Petri nets can be used so as to allow for a numerical solution. Simulation can also be used in the solution process. The tutorial aims at giving a quick glimpse of the theory and application of cyclic-server models. A wide variety of cyclic-server models of increasing complexity will be presented, together with their most appropriate solution. The theory will be illustrated with a wide variety of applications. D Numerical Solution Methods for Large Finite Markov Chains U. R. Krieger (Deutsche Bundespost Telekom) Duration 1.5 hours Modeling and analysis of advanced computer and telecommunication systems by homogeneous discrete- or continuous-time Markov chains with finite state spaces is a standard performance evaluation technique. We sketch the interactive construction of the corresponding models by advanced software techniques of the tool MACOM and present efficient algorithms to compute the steady-state distributions of the underlying finite Markov chains. First, the mathematical background and a classification of numerical solution methods for finite Markov chains are presented. Then the most important direct methods are discussed. Furthermore, advanced point and block iteration procedures as well as efficient algebraic multigrid techniques are stated. Finally, solution methods for structured systems are sketched. Furthermore, a large bibliography for further study of the subject is provided. Throughout the course, we illustrate the use of these algorithms by several teletraffic models. All examples may be analyzed by MACOM which is available at the tool exhibition. E Performance Issues of Real-Time Systems Design A. Llamosi, R. Puigjaner (Universitat de les Illes Baleares) Duration 3 hours Performance constraints use to be verified only after completion of the system's implementation. As a result lots of effort are waisted in system's redesigning. In order to avoid such losses in efforts, delays and cost, the ability to estimate the performance ofthe system at the different design steps would be helpful. In this tutorial we shall expose the results on this field that we have achieved in the framework of the Esprit project COMPLEMENT. This effort cope with the extension of design methods with performance annotations so that the system performance constraints can be precisely defined, as well as the performance characteristics of proposed design components. Such descriptions should suffice for automatically building the performance model of the system and so, obtaining the desired estimations. Therefore covering the usual gap between the specification and design methods with respect to the performance evaluation techniques. Some case studies will be presented in order to illustrate the approach. Addressed to: Real-time designers and performance engineers involved in real-time systems. F The Evaluation of Network Reliability Metrics G. Rubino (IRISA INRIA) Duration 1.5 hours Network reliability theory is an important tool in the quantitative evaluation of communication systems and, more generally, in the system reliability area. The associated problems are computationally hard and a constant effort has been developed in designing efficient techniques to deal with them. The tutorial intends, first, to give a general introduction to the theory and, second, to present some basic approaches that enables the user to evaluate real size models. Moreover, we shall also analyze the problem of performing sensitivity analysis without changing the complexity order of the techniques used to compute the reliability. The considered methods have been used in the modelling of some real communication networks. In particular, the Monte Carlo approaches have allowed to evaluate systems with hundreds of components, even in the highly reliable case. G Performance Evaluation of RAID Designs and Architectures A. K. Sahai Duration 3 hours The concept of Redundant Array of Inexpensive Disks (RAID) was introduced to improve the performance and reliability of the storage systems. Several modified versions of RAID designs have also been proposed. With the advancement in the storage technology in the recent years, it is important to revisit the original RAID hypothesis and promises for a meaningful evaluation. This tutorialr addresses the overall evaluation of different RAID designs. The tutorial is divided in four parts. In the first part, an introduction and motivation for the RAID architecture is given. The second part presents analytical models to evaluate the performance of different RAID designs. The results are compared with simulation. It appears that the overall performance of a RAID system depends upon the particular workload and the operation flows of the storage subsystem. The third part discusses problems associated with RAID implementations, particularly in the mainframe systems. Performance, availability, cost and firmware complexity tradeoff issues are discussed. Finally, the fourth part concludes this tutorial. H Error Bound Analysis for Queueing Networks N. M. van Dijk (Free University) Duration 1.5 hours To evaluate the performance of a computer or communication network one may have several reasons to investigate the system under different (i) Input data (perturbations), (ii) Model asumptions (approximations), (iii) Circumstances or protocols (comparisons or bounds). Most notably, one may think of : Sensitivity analysis of arrival and service data, Numerical reductions by state space truncation, Approximative computations by ingnoring state dependencies, Simple performance bounds by protocol or system modifications. Error bounds on the effect of data inaccuracies, system modifications or state space truncations are thus of practical interest. A general framework and analytic tool is provided to conclude such error bounds in a purely analytic manner. As illustration several applications are given like explicit error bounds for : sensitivity of input parameters, the effect of breakdowns or link failures, the effect of time-slotting in service systems, the effect of transmission losses in communication networks, a comparison of open and closed networks with large populations. As also ilustrated by these applications, the error bounds may justify simple performance bounds. Similar results are obtainable for transient measures as illustrated by a reliability network. Further extension to non-exponential and transient networks seems promising. I Dependability Evaluation through Measurement and Models R. Iyer (University of Illinois), K. Trivedi (Duke University) Duration 3 hours We will review common analytic techniques for dependability evaluation including fault-trees, Markov reward and stochastic Petri net models. We will then review statistical methods of data analysis for the parameterization and validation of analytic models. In particular, coverage estimation methods will be discussed. Software tools for analytic, simulation and hybrid evaluation will be discussed. The tools to be discussed are: SHARPE, SPNP and DEPEND. Organization Institute of Applied Computer Science and Information Systems, University of Vienna in cooperation with: AICA Working Group on Performance Evaluation, Italy Asociacion de Tecnicos de Informatica (ATI), Spain CEPIS (The Council of Professional Informatics Societies) Dutch User Group of Queueing/Performance Analysis Software (QPASS) GI/ITG-Fachgruppe fu:r Messung, Modellierung und Bewertung von Rechnersystemen IFIP Task Group "Performance of Communication Systems" IFIP Working Group 7.3 (Computer System Modelling) IFIP Working Group 10.3 (Concurrent Systems) IFIP Working Group 10.4 (Dependable Computing and Fault Tolerance) OCG (Austrian Computer Society) The British Computer Society, Performance Engineering Specialist Group (BCS/PESG) Sponsors (preliminary list) Creditanstalt Bankverein IBM O:sterreich Oracle Sony Conference Information * Conference Site Penta Hotel Wien Ungargasse 60 A-1030 Vienna phone: +43-1-71175-0 fax: +43-1-71175-90 * Conference Language English No simultanous translation will be provided * Conference Proceedings The proceedings will be published in the Springer Lecture Notes Series: G. Haring, G. Kotsis (Editors): Proceedings of the 7th International Conference of Modelling techiques and Tools for Computer Performance Evaluation A special companion will be available only at the conference site that includes posters and tool presentations. Tutorial Proceedings are also available. * Registration The registration desk will be at the conference site and be opened as following: May 3rd: 8.00-20.00 May 4th: 8.00-18.00 May 5th: 8.00-12.00 Full and reduced conference registration include attendance to all sessions of the conference, a volume of the proceedings, three lunches (May 4-6), coffee breaks and social events. Student conference registration does not include social events, but can be booked separately (see accompanying persons). Tutorial registration includes attendance to the selected tutorials, tutorial proceedings, lunch (May 3rd) and coffee breaks. Accompanying persons can attend the social events at a special fee. Payment has to be remitted net of all bank charges in ATS to the following account: Creditanstalt Bankverein (BLZ 11000) 0964-57106/00. Payment with major credit cards is possible. Registration is valid only upon receipt of full payment. Cancellation is possible for 100% refund until March 4th, until April 24th for 75% refund, later cancellation will not be refunded. Early registration fees only upon receipt of payment before March 4th. For information concerning registration contact: Gabriele Kotsis, Dept. of Applied Computer Science, University of Vienna, Lenaugasse 2/8, A-1080 Vienna, Austria, Phone: +43 1 408 63 66 14, Fax: +43 1 408 04 50 , e-mail gabi@ani.univie.ac.at * Accomodation A certain number of rooms has been reserved for the participants of the TOOLS '94 in the conference Hotel Penta and the nearby Hotel Astra (five minutes walking distance). If you call or fax a reservation, be sure to identify yourself as a TOOLS '94 participant. You can also register by mail (registration forms are encosed). Other information is available via Wiener Fremdenverkehrsverband, Obere Augartenstrasse 40, A-1025 Vienna, Phone: +43-1-21114-0. May is peak season in Vienna, so be sure to book in time. Penta Hotel Wien Ungargasse 60 A-1030 Vienna phone: +43-1-71175-0 fax: +43-1-71175-90 Astra Hotel am Rennweg Rennweg 51 A-1030 Wien phone: +43-1-7132521 or 715 66 01 fax: +43-1-7145930 Vienna Vienna is the capital of Austria having 1.7 milllion inhabitants. It is the town of Waltz, the old residence of the Emperor and for millions of tourists the magic goal of nostalgic and romantic dreams. Old and new architecture have peacefully merged and can be seen everywhere in the town. Old and new art can be found in more than twenty museums. The Viennese cafe' is regarded as being the place of commodity. But first and foremost Vienna is the capital of music: no town in the world can claim to be the home of as many famous composers. So take your time at the Danube - Vienna has a lot to offer Vienna Information * Immigration: valid passport sufficient for most countries * Currency: Austrian Schilling (ATS, O:S) 1US$ >> 12 ATS, banks are open Monday to Friday 8.00-12.30 and 13.30-15.00, Thursday until 17.30, but there are also some exchange offices open on weekends, cashpoints for EC-cards and credit cards are widespread, eurocheques are welcome nearly everywhere, credit cards can be a problem in some shops. * Weather Conditions: Average temperature 15-20DGC, in the last years May was rather warm, but also rainy. * Transport: Public means of transport in Vienna are rather cheap and the quickest way of travelling in the city. There is a 24 hour ticket for 50ATS and a 72 hours ticket for 130ATS available at every tobacconist's or sales office of the "Wiener Verkehrsbetriebe". Leave your car at the hotel, garages are very expensive and there is no longtime parking in the city centre. Taxis are available via phone or at a taxi stand. The conference hotel is close to the train stations Rennweg and Wien Mitte, which is also a major crossing point for Underground connections. * Airport: The airport is outside the town, but there are regular bus and train connections into the town centre, a taxi into town can be expensive. * Sight Seeing and Shopping: Shops are open in Vienna Monday to Friday from 9.00 to 18.00 and on Saturdays from 9.00 to 12.00, May 7th is a long shopping Saturday until 17.00. Sight seeing tours will be arranged by your hotel. More information on Vienna is available from Wiener Fremdenverkehrsverband, Obere Augartenstrasse 40, A-1025 Vienna, Phone: +43-1-21114-0. * May is the time of the Vienna Festival. Separate program available. The opening ceremony takes place on May 6th at 9.15 pm in front of the town hall. --------------------------------------------------------------------------- REGISTRATION FORM TOOLS '94 Please complete and return by mail or fax (no E-Mail) to: G. Kotsis, Dept. of Applied Computer Science, University of Vienna, Lenaugasse 2/8, A-1080 Vienna, Austria Last Name ___________________________________________________________ First Name ___________________________________________________________ Company ___________________________________________________________ Address ___________________________________________________________ Phone ___________________________________________________________ Fax ___________________________ E-Mail ____________________________ Author o yes o no Vegetarian Meals Required o yes o no Conference Registration Early Late (after March 4th) Full registration ATS 5500,- ATS 6500,- Reduced registration * ATS 4500,- ATS 5500,- Student registration ** ATS 2000,- ATS 2600,- Tutorial Registration Early Late (after March 4th) ATS 1600,- ATS 1900,- Which tutorial(s) will you attend? o A o B o C o D o E o F o G o H o I Acompanying person(s) Reception ATS 200,- ATS 200,- Conference Dinner ATS 800,- ATS 800,- Welcome Cocktail free free _____________________________________________________________________ TOTAL ATS ______ ATS ______ * for members of all organizations within CEPIS (identification at registration desk) ** copy of student identity card required Payment by o credit card o remittance to bank account o VISA o Mastercard/Eurocard Creditanstalt Bankverein o Diners o American Express BLZ 11000 no.: ___________________________ 0964-57106/00 exp. date: ___________ (beg.date: ___________ Diners only) Date _______________________ Signature _________________________________ -------------------------------------------------------------------------- HOTEL REGISTRATION FORM TOOLS '94 PENTA HOTEL WIEN Ungargasse 60 A-1030 Vienna phone: +43-1-71175-0 fax: +43-1-71175-90 I herewith reserve the following room(s): _____ double room(s) for ATS 1790,- _____ single room(s) for ATS 1590,- per night including breakfast buffet for the period from _________________ to _________________ . Date _______________________ Signature _________________________________ ------------------------------------------------------------------------- HOTEL REGISTRATION FORM TOOLS '94 ASTRA HOTEL AM RENNWEG Rennweg 51 A-1030 Wien phone: +43-1-7132521 or 715 66 01 fax: +43-1-7145930 I herewith reserve the following room(s): _____ double room(s) for ATS 1480,- _____ single room(s) for ATS 990,- per night including breakfast buffet for the period from _________________ to _________________ . Date _______________________ Signature _________________________________