AMAST Mail 1996
[Prev][Next][Index]
Program: FORTE/PSTV'96
!!! Deadline for early registration is *August 26, 1996*!!!
------------------------------------------------------------------------
_____ ___ ____ _____ _____ ______ ____ _______ ___ ___ __
| ___/ _ \| _ \_ _| ____| / / _ \/ ___|_ _\ \ / ( ) _ \ / /_
| |_ | | | | |_) || | | _| / /| |_) \___ \ | | \ \ / /|/ (_) | '_ \
| _|| |_| | _ < | | | |___ / / | __/ ___) || | \ V / \__, | (_) |
|_| \___/|_| \_\|_| |_____/_/ |_| |____/ |_| \_/ /_/ \___/
FORTE/PSTV'96
PROGRAM and CALL FOR PARTICIPATION
IFIP TC6/WG6.1 Joint International Conference on
FORMAL DESCRIPTION TECHNIQUES (IX)
for Distributed Systems and Communication Protocols, and
PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION (XVI)
Kaiserslautern, Germany, October 8-11, 1996
URL: http://www.informatik.uni-kl.de/aggotz/forte.pstv96
FORTE/PSTV'96 will address Formal Description Techniques (FDTs)
applicable to communication protocols and distributed systems (such as
Lotos, SDL, Estelle, ASN.1, TTCN, Z, automata, process algebras,
logics). The conference will be a forum for presentation of the state
of the art in theory, application, tools and industrialization of FDTs,
and will provide an excellent orientation for newcomers. For the first
time, the hitherto separate conferences FORTE and PSTV will be combined
into a joint edition.
The conference offers the presentation of 24 research papers,
4 industrial usage reports, 5 tutorials and a number of tool
demonstrations. Invited talks will be given by Andre Danthine
(University of Liege, Belgium), Manfred Broy (TU Munich, Germany), Ed
Brinksma (University of Twente, The Netherlands), and Lothar Mackert
(IBM, Germany). Tutorials will be held on October 8 only. Tool
presentations will take place in parallel with the conference
presentations on October 9 to 11, 1996. Participants will receive the
final proceedings published by Chapman & Hall, the official publisher
of IFIP TC6/WG6.1 proceedings, at the conference.
FORTE/PSTV'96 is organized by the University of Kaiserslautern
and sponsored by IFIP TC6/WG6.1. Financial supporters are: Deutsche
Forschungsgemeinschaft (DFG), Siemens, Deutsche Telekom, SUN
Microsystems, Q-Labs, and the Stadtsparkasse Kaiserslautern.
GENERAL INFORMATION
===================
Location
--------
FORTE/PSTV'96 will be held at the DORINT Hotel, St.-Quentin-Ring 1,
Kaiserslautern, Germany.
Registration Information
------------------------
The deadline for early registration is *August 26, 1996*. Please use the
registration form including information on fees and coverage below.
Travel Information
------------------
You may find general information (map, train schedules) on how to come
to Kaiserslautern on the FORTE/PSTV'96 WWW home page (the URL is
http://www.informatik.uni-kl.de/aggotz/forte.pstv96). Coming from
overseas, you may take a plane to Frankfurt/Main airport. In the
airport, you will find a train station and a ticket office which will
also help you finding an appropriate train connection. Trains run
frequently, travel time is about 2 hours. Coming from France, you may
employ a direct train from Paris to Kaiserslautern. A taxi from the
train station to the DORINT Hotel is about DEM 10.
Accommodation Information
-------------------------
A block of rooms has been reserved for FORTE/PSTV'96 participants at
the DORINT Hotel Kaiserslautern until *August 26, 1996*. After that
date, reservations will be accepted on a space available basis. The
conference rates are DEM 111 (single occupancy) and DEM 178 (double
occupancy) including breakfast and taxes. Please indicate that
you attend FORTE/PSTV'96 when making your reservation. Please use the
DORINT Hotel Registration Form below.
Alternatively, accommodation may be booked through the Tourist
Information Office at Kaiserslautern (Tel. +49 631 19433,
Fax +49 631 365-2723). Please indicate FORTE/PSTV'96 when making your
reservation, and the price category (DEM 30-50 (some rooms without
shower!); DEM 50-80; DEM 80-100; > DEM 100).
Since there will be other events held at Kaiserslautern at the same
time, it is recommended that reservations be made as early as possible.
Venue
-----
Kaiserslautern is a traditional trade centre situated on an old Roman
road. Contemporary political developments have moved the town from the
centre of the region to the heart of Europe. Having slightly over
100,000 inhabitants, Kaiserslautern offers the facilities and flair of
a city, but on the other hand, it has managed to retain the personal
touch of a provincial town. The vast green national park known as the
Pfaelzerwald, the largest continuous stretch of forest in Germany,
reaches to the very edge of the town. Today, the large number of
practice-oriented technology and research experts at the University of
Technology and Natural Sciences, together with companies of worldwide
reputation, form a vital factor of dynamic development at
Kaiserslautern.
Further Information
-------------------
Jan Bredereke, University of Kaiserslautern, P.O. Box 3049,
D-67653 Kaiserslautern, Germany
Tel.: +49 631 205-3287 (Jan Bredereke),
-3426 (Reinhard Gotzhein)
-3956 (Fax)
E-mail: forte.pstv96@informatik.uni-kl.de
URL: http://www.informatik.uni-kl.de/aggotz/forte.pstv96
_______________________________________________________________________
_______________________________________________________________________
PROGRAM
=======
Tuesday, October 8, 1996: Tutorial Day
======================================
8:00 - 9:00 Registration
9:00 - 10:30 Tutorial Presentations (Tracks 1 & 2)
10:30 - 11:00 Coffee Break
11:00 - 12:30 Tutorial Presentations (Tracks 1 & 2)
12:30 - 14:00 Lunch
14:00 - 15:30 Tutorial Presentations (Tracks 1 & 2)
15:30 - 16:00 Coffee Break
16:00 - 17:30 Tutorial Presentations (Track 1)
19:00 Conference Reception
Track 1
-------
9:00 - 12:30 (Track 1)
"Formal Methods for Multimedia and Broadband Systems"
S. Fischer, University of Montreal, Canada
S. Leue, University of Waterloo, Canada
Formal methods have been applied successfully to the specification of
"traditional" communication protocols, services and network
applications. With the development of high-speed networks such as ATM
or FDDI new distributed applications have emerged. These impose
requirements on the communication subsystem that are different from
those on traditional systems: many of them are related to real-time
aspects of the network or end-system performance (e.g. throughput,
delay or synchronization). Furthermore, to meet application level
performance requirements, highly efficient techniques to implement
communication software have been developed.
We show how formal description techniques (in particular SDL and
Estelle) can be used for the specification and implementation of
broadband communication systems such as high-speed TCP/IP, XTP, ATM
protocols and distributed multimedia systems. In the first part we
concentrate on deterministic, real time-related Quality of Service
(QoS) requirements. We identify a set of "typical" QoS parameters for
various components of Broadband and Multimedia communication systems.
Then we show how these requirements can be specified using two
different approaches: a real-time extension of Estelle (called
Real-Time Estelle), and the complementary use of SDL and Metric
Temporal Logic specifications. In the second part we present
efficient, optimizing code generation and implementation techniques
for Estelle and SDL specifications. We show that basing the
implementation on formal techniques is especially helpful when
automating it in a tool environment.
Intended audience:
Software engineers and scientists with an interest in the development
of software for BBC & MM systems.
14:00 - 17:30 (Track 1)
"Formal Approaches to Managing Feature Interactions"
E. J. Cameron, Bellcore, USA
B. Cohen, City University London, UK
This tutorial begins with an illustrative collection of feature
interactions selected to emphasize various aspects of the feature
interaction problem, as well as to illustrate the challenges faced by
anyone attempting to formally address this problem. Next, we present
and analyze various of the popular approaches to formalizing features
and attempting to automatically detect interactions among them. These
approaches are classified according to the types of interactions they
potentially could detect, and the parts of the software lifespan they
address. Finally, we present sources of interactions that aren't
successfully addressed by any published approach and suggest
potential ways to address them. Feature interactions from fields
other than telephony will be also presented.
Intended audience:
The tutorial is intended for an audience with a good understanding of
formal methods and an intuitive feel for telephone services. While on
a serious topic, it will be presented in an entertaining style.
Track 2
-------
9:00 - 10:30 (Track 2)
"Stochastic Process Algebras - Between LOTOS and Markov Chains"
H. Hermanns, U. Herzog, V. Mertsiotakis, University of
Erlangen-Nuremberg, Germany
This tutorial will introduce the audience to the benefits of
Stochastic Process Algebras as an approach for the structured design
and analysis of both the functional behaviour and performance
characteristics of parallel and distributed systems. This is achieved
by integrating stochastic modelling and analysis into process
algebras like CCS or LOTOS.
After advocating the use of Stochastic Process Algebras as a
modelling technique we recapitulate the foundations of classical
process algebras. Then, we will introduce additional means to model
the stochastic behaviour of a system, using the Stochastic Process
Algebra TIPP. We outline the steps that allow every TIPP
specification to be interpreted as a Continuous Time Markov Chain.
This Markov Chain can subsequently be analyzed by powerful and well
investigated performance evaluation algorithms.
We will show how notions of equivalent behaviour - substantial for
process algebras - stand in a new light for Stochastic Process
Algebras. In particular we will discuss the impact of stochastic
versions of Milner's strong bisimulation and observational congruence
on performance analysis of TIPP models.
A large repertoire of case studies, as well as recent results and the
implications of the formal development for tool support will also be
discussed.
11:00 - 12:30 (Track 2)
"Partial Order Models for Quantitative Extensions of LOTOS"
J.-P. Katoen, University of Twente, The Netherlands
D. Latella, CNUCE, Italy
The study of formal methods for the functional specification, design,
and analysis of distributed systems has been an important research
topic over the past decade. More recently, formal methods have been
extended in order to incorporate quantitative aspects of system
behaviour, like those dealing with time, probability and
stochasticity.
Quantitative extensions of interleaving models have been investigated
thoroughly. However, in the final stages of the design trajectory,
the global state assumption of the interleaving approach hampers us
to faithfully model the distribution aspects of a system.
Partial-order models are considered to be more appropriate here.
In this tutorial we will show how quantitative extensions of
partial-order models can be obtained, how they relate to several
existing interleaving approaches, and, in particular, how they can be
used as semantical models for real-time (with urgency), probabilistic
and stochastic-timing extensions of LOTOS. These models are
introduced by means of small examples rather than elaborating on
their mathematical background.
Some examples are also expressed in other models, such as labelled
transition systems and Petri nets. This presentation allows a
comparison and evaluation of the relative merits of the partial order
approach in the light of small examples.
Intended audience:
The tutorial is particularly addressed to researchers as well as
system designers who are interested in the formal link between formal
system specification and verification techniques and performance
analysis.
14:00 - 15:30 (Track 2)
"Message Sequence Charts (MSC'96)"
E. Rudolph, Technical University of Munich, Germany
J. Grabowski, University of Luebeck, Germany
P. Graubmann, Siemens AG, Germany
MSC is a trace language which in its graphical form admits a
particularly intuitive representation of system runs in distributed
systems while focussing on the description of message interchange
between communicating entities and their environment. The MSC
recommendation Z.120 (MSC'92) was approved for the first time at the
ITU meeting Geneva 1992. A new revised MSC recommendation Z.120
(MSC'96) was approved at the closing session of the study period in
April 1996.
Whereas in MSC'92 main emphasis was put on the elaboration of basic
concepts and a corresponding formal semantics, in the new MSC version
- MSC'96 - structural language constructs, essentially composition
and object oriented concepts, play a dominant role. With these new
concepts, the power of MSC is enhanced considerably in order to
overcome the traditional restriction of MSC to the specification of
only a few selected system runs.
MSCs have been used informally before standardization mainly for the
purpose of overview specifications. Due to standardization, the
importance of MSCs for software engineering has increased
considerably. Accordingly, MSCs are used in nearly all stages of the
software life cycle, most frequently in connection with SDL. Within
the tutorial the use of MSC is demonstrated by means of one typical
example.
Intended audience:
The intended audience primarily consists of participants who have
already some experience in MSC'92 and SDL but the tutorial should
also offer an introduction to newcomers. The tutorial is intended to
be practice oriented.
Wednesday, Oct. 9, 1996: Conference Presentations
=================================================
7:45 - 8:45 Registration
8:45 - 9:00 Welcome and Opening
9:00 - 10:00 Invited Talk
"Video Dial Tone Services and the ATM Environment"
A. Danthine, University of Liege, Belgium
10:00 - 10:30 Coffee Break
10:30 - 12:30 Session 1: tools and tool support
"Computer-Assisted Verification of an Algorithm for Concurrent
Timestamps"
T. P. Petrov, A. Pogosyants, S. J. Garland, N. A. Lynch, MIT, USA
"Design and Optimization of High-Performance Protocols with the DO-IT
Toolbox"
A. Mitschele-Thiel, P. Langendoerfer, R. Henke, Universities of
Erlangen-Nuremberg, Cottbus and Magdeburg, Germany
"Tool Support for Algebraic Specifications of Data in SDL-92"
N. Mansurov, A. Ragozin, A. Chernov, I. Mansurov, Russian Academy of
Sciences, Russia
"Automating Performance Optimization by Heuristic Analysis of a
Formal Specification"
P. Hoschka, INRIA, France
12:30 - 14:00 Lunch
14:00 - 15:00 Invited Talk
"Formal Description Techniques - How Formal and How Descriptive are
they?"
M. Broy, Technical University of Munich, Germany
We discuss formal description techniques (FDTs) that are applied in
practice in software and system engineering with respect to their
formality, descriptiveness and technical usefulness. We identify
shortcomings in the scientific and semantic foundations of FDTs. We
formulate requirements for FDTs. We demonstrate how a family of
complementary description techniques can be developed on a basis of a
mathematical system model that provides a methodological foundation
for the modular specification and development of systems.
15:00 - 15:15 Coffee Break
15:15 - 16:45 Session 2: FDT-application
"Using Formal Methods in the Development of Protocols for Multi-User
Multimedia Systems"
S. Kleuker, University of Oldenburg, Germany
"Formal Verification of Communication Protocols"
M. A. S. Smith, MIT, USA
"Applications of Fair Testing"
E. Brinksma, A. Rensink, W. Vogler, University of Twente, The
Netherlands, Universities of Hildesheim and Augsburg, Germany
16:45 - 17:00 Coffee Break
17:00 - 18:30 Session 3: FDT-based system and protocol engineering
"Fault Models for Testing in Context"
A. Petrenko, N. Yevtushenko, G. v. Bochmann, University of Montreal,
Canada, and Tomsk State University, Russia
"EPER: Efficient Packed Encoding Rules for ASN.1"
H. Horiuchi, T. Kuroki, S. Obana, K. Suzuki, KDD, Japan
"Relating Conformance Test Coverage to Formal Specifications"
R. Groz, O. Charles, J. Renevot, France Telecom - CNET, France
Thursday, Oct. 10, 1996: Conference Presentations
=================================================
8:30 - 10:00 Session 4: performance modelling and analysis
"Performance Modelling from Formal Specifications"
M. Buetow, M. Mestern, C. Schapiro, P. S. Kritzinger, University of
Cape Town, South Africa
"The QUEST-Approach for the Performance Evaluation of SDL-Systems"
M. Diefenbruch, J. Hintelmann, B. Mueller-Clostermann, University of
Essen, Germany
"A Formal Description Language for the Modelling and Simulation of
Timed Interaction Diagrams"
L. Braga, R. Manione, P. Renditore, CSELT, Italy
10:00 - 10:30 Coffee Break
10:30 - 12:30 Session 5: real-time and probability aspects
"Model Reduction of Modules for State-Event Temporal Logics"
M. Lawford, W. M. Wonham, J. S. Ostroff, Universities of Toronto and
York, Canada
"Time-Action Alternating Model for Timed LOTOS and its Symbolic
Verification of Bisimulation Equivalence"
A. Nakata, T. Higashino, K. Taniguchi, Osaka University, Japan
"A Timed Semantics for SDL"
S. Moerk, J. C. Godskesen, M. R. Hansen, R. Sharp, Technical University
of Denmark at Lyngby and Tele Danmark Research and Development,
Denmark
"Implementation of Multimedia Systems based on a Real-time Extension
of Estelle"
S. Fischer, University of Montreal, Canada
12:30 - 14:00 Lunch
14:00 - 15:00 Invited Talk
"Using Formal Methods: if you're so smart how come you ain't rich?"
E. Brinksma, University of Twente, The Netherlands
The appreciation of formal methods as useful tools for the design and
analysis of communicating systems is subject to considerable
variation of opinion. They are seen as a solution by some, and a
problem by others. They have been hailed as the answer to the
software crisis by some and others have detested them for their
obvious inapplicability. Some think their days are yet to come, for
others they are part of a now forsaken paradigm. In our presentation
we will analyse the reasons for these contradictory views. By
reviewing some successful and failed applications of formal methods
we will try and find out under what conditions the application of
formal methods is profitable.
15:00 - 15:15 Coffee Break
15:15 - 17:15 Session 6: verification and validation
"A New Scheme for Memory-Efficient Probabilistic Verification"
U. Stern, D. L. Dill, Stanford University, USA
"Direct Verification of Bisimulations"
M. Llamas, J. Quemada, M. J. Fernandez, Universities of Vigo and
Madrid, Spain
"Finitely Representing Infinite Reachability Graphs of CFSMs with
Graph Grammars"
Y.-M. Quemener, T. Jeron, IRISA, France
"Model Checking Based on Occurrence Net Graph"
J.-M. Couvreur, D. Poitrenaud, CEDRIC-IIE and University of Paris VI,
France
17:30 Bus departure for conference banquet
(return around midnight)
Friday, Oct. 11, 1996: Conference Presentations
===============================================
9:00 - 10:00 Invited Talk
"Network Computing"
L. Mackert, IBM, Germany
10:00 - 10:30 Coffee Break
10:30 - 12:30 Session 7: industrial usage reports
"Validation-Based Test Sequence Generation for Networks of Extended
Finite State Machines"
S. Huang, D. Lee, M. Staskauskas, Lucent Technologies Inc. and Bell
Laboratories, USA
"Using SDL for the Specification, Simulation and Implementation of an
Advanced OSI Data-Link Protocol on an Embedded Microcontroller
System"
W. Kellerer, A. Iselt, R. Riek, Technical University of Munich and
Rohde & Schwarz, Germany
"Specification and Verification of the PowerScale(TM) Bus Arbitration
Protocol: An Industrial Experiment with LOTOS"
G. Chehaibar, H. Garavel, L. Mounier, N. Tawbi, F. Zulian, Bull and
Inria, France and Italy
"Combined Application of SDL-92, OMT, MSC and TTCN"
E. Inocencio, M. Ricardo, INESC, Portugal, and H. Sato, T. Kashima,
NEC, Japan
12:30 - 14:00 Lunch
14:00 - 15:30 Session 8: extensions of FDTs and semantical foundations
"On the Introduction of Exceptions in E-LOTOS"
H. Garavel, M. Sighireanu, Inria, France
"From LOTOS to Petri Nets through Iexpansion"
D. Larrabeiti, J. Quemada, S. Pavon, Technical University of Madrid,
Spain
"Comparing LOTOS and Z Refinement Relations"
J. Derrick, H. Bowman, E. Boiten, M. Steen, University of Kent at
Canterbury, UK
15:30 Closing and Farewell
_______________________________________________________________________
_______________________________________________________________________
Conference Chairperson
Reinhard Gotzhein
University of Kaiserslautern, Germany
Conference Organization Chairperson
Jan Bredereke
University of Kaiserslautern, Germany
Program Committee
Gregor v. Bochmann Univ. of Montreal, Canada
Tommaso Bolognesi CNUCE, Italy
Howard Bowman Univ. of Kent at Canterbury, UK
Jan Bredereke Univ. of Kaiserslautern, Germany
Ed Brinksma Univ. of Twente, The Netherlands
Stan Budkowski INT, France
Ana Rosa Cavalli INT, France
Samuel T. Chanson Univ. of Sci. and Tech., Hong Kong
Jean-Pierre Courtiat LAAS-CNRS, France
Piotr Dembinski Acad. of Science, Poland
Wolfgang Effelsberg Univ. of Mannheim, Germany
Ulrich Herzog Univ. of Erlangen, Germany
Teruo Higashino Univ. of Osaka, Japan
Dieter Hogrefe Univ. of Luebeck, Germany
Gerard Holzmann AT&T, USA
S. Purush Iyer North Carolina State Univ., USA
Jan Kroon KPN Research, The Netherlands
Peter Ladkin Univ. of Bielefeld, Germany
Guy Leduc Univ. of Liege, Belgium
Stefan Leue Univ. of Waterloo, Canada
Luigi Logrippo Univ. of Ottawa, Canada
Jan de Meer GMD FOKUS, Germany
Elie Najm ENST, France
Juan Quemada Technical Univ. of Madrid, Spain
Harry Rudin IBM, Switzerland
Richard Tenney Univ. of Massachusetts at Boston, USA
Ken Turner Univ. of Stirling, UK
Son T. Vuong Univ. of British Columbia, Canada
Organization Team (all University of Kaiserslautern)
Barbara Erlewein
Birgit Geppert
Christian Peper
Frank Roessler
Joachim Thees
=======================================================================
FORTE/PSTV'96 HOTEL RESERVATION FORM
DORINT Hotel, Kaiserslautern
=======================================================================
A block of rooms has been reserved for FORTE/PSTV'96 participants.
Please indicate that you attend FORTE/PSTV'96 when making your
reservation. Please handle your reservation directly with the hotel.
Please call, write or fax your reservation *by August 26, 1996*.
Reservations received *after August 26, 1996* will be accepted on a
space available basis only.
DORINT Hotel Kaiserslautern
z.Hd. Frau Hoffmann
St.-Quentin-Ring 1
D-67653 Kaiserslautern, Germany
Tel.: (+49) 631 2015-421
Fax: (+49) 631 27640
Please book accommodation for:
Last name: ...........................................................
First names: ...........................................................
Affiliation: ...........................................................
Address: ...........................................................
Postal code: ...................... City: ..............................
Country: ...........................................................
Phone: ...................... Fax: ..............................
The DORINT Hotel offers special rates for FORTE/PSTV'96 participants.
The rates are DEM 111 (single room) and DEM 178 (double room) per night
including breakfast and taxes. The special rate may also be available
some days before and after the conference on request.
Room desired: [ ] Single [ ] Non-Smoker
[ ] Double [ ] Smoker
Arrival date: ..................... Departure date: .....................
Total (in DEM): ..............
All major credit cards are accepted.
................... ..........................................
Date Signature
=======================================================================
FORTE/PSTV'96 REGISTRATION FORM
=======================================================================
Please complete and sign this form, and send it by mail or fax to:
Jan Bredereke
FORTE/PSTV'96 Organization Committee
University of Kaiserslautern
Postfach 3049
D-67653 Kaiserslautern, Germany
Fax: (+49) 631 205-3956
Please use one form per person and write in block letters.
I will attend the FORTE/PSTV'96 meeting at Kaiserslautern.
Last name: .........................................................
First names: .........................................................
Affiliation: .........................................................
Address: .........................................................
Postal code: ...................... City: ............................
Country: .........................................................
Phone: ...................... Fax: ............................
Email: .........................................................
Your name and affiliation as they should appear on your badge:
Name: .......................... Affiliation: .........................
Registration Fees (in DEM)
--------------------------
on or before after
August 26 August 26
Tutorial: 350 400 ..........
Conference: 590 690 ..........
Full: 750 850 ..........
Student(1): 350 400 ..........
Additional banquet ticket: 120 120 ..........
Additional final proceedings: 90 110 ..........
----------
TOTAL FEE (in DEM): ..........
==========
(1) Please attach proof of student status (will also be requested at
the welcome desk). Students must be enrolled full-time for
Bachelor or Master courses.
* All fees are in German Mark (DEM), payable in advance.
* Early registration deadline is *AUGUST 26, 1996*.
* Tutorial fee covers: tutorial admission, tutorial notes, lunch and
refreshments on October 8, 1996
* Conference fee covers: conference admission, final proceedings,
reception on October 8, 1996, lunches and refreshments on October 9
to 11, 1996, conference banquet on October 10, 1996
* Full fee covers: same as tutorial plus conference registration fees
* Student fee covers: same as tutorial plus conference registration
fees, except conference banquet on October 10, 1996
Methods of payment (all payments in German Mark (DEM), only):
I would like to pay the registration fee for FORTE/PSTV'96 by
[ ] eurocheque (must accompany registration form): in DEM,
payable to FORTE/PSTV'96
[ ] bank transfer (account number: 128 049 798; account
name: FORTE/PSTV'96; name of bank: Stadtsparkasse
Kaiserslautern; German bank code (BLZ): 540 501 10; swift
code: KLTSDE55BIC; fees to be charged to the participant;
reference to participant's name and affiliation required!)
[ ] cheque (must accompany registration form): in DEM, drawn
to a German bank, payable to FORTE/PSTV'96, fees to be charged
to the issuer of the cheque
[ ] credit card: [ ] MasterCard/Eurocard [ ] Visa
Card holder's name ..........................................
Credit card number ..........................................
Expiration date ..........................................
Card holder's signature ..........................................
(Sorry, no other credit cards accepted. For security reasons,
credit card information should not be sent by email.)
Cancellation by mail or fax is possible subject to a fee of DEM 100
if received by September 23, 1996. After that date, no refunds will
be made. A substitute participant can be named at any time.
Please specify your dietary requirements for lunch and conference
banquet:
Please specify any other requirements:
................... ..........................................
Date Signature
[
AMAST Mail 1996
|
Latest Update |
AMAST Mail Meta-Index |
AMAST
]