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
G.u: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 Universit.a: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
(Universit.a:t Erlangen-N.u: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 (Universit.a:t Wien), G. Chiola (Universit.a' 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 (Universit.a! 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 (Universit.a: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 (Universit.a:t Dortmund)
EPOC - an Integrated Environment for Studying Concurrent Programs
S. Donatelli, G. Franceschinis (Universit.a' di Torino), N. Mazzocca, S.
Russo (Universit.a' 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 (Universit.a: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 (Universit.a' 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 (Universit.a' 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 Universit.a: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 (Universit.a:t Erlangen-N.u: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. Ha.sslinger, E. S. Rieger (Technische Universit.a: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. M.a:ter (Universit.a: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 (Universit.a:t Erlangen N.u: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 (Universit.a: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 (Universit.a: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 (Universit.a' 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 f.u: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 caf.e' 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-20.DGC, 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)
--------------------------------------------------------------------------
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 _________________ .
-------------------------------------------------------------------------
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 _________________ .