This summerschool is an initiative of the European Educational Forum (EEF), a consortium of European interuniversitary research schools. EEF currently involves 25 universities in Denmark, the Netherlands, Finland, Italy and the United Kingdom. The common denominator of the research schools is the training of Ph.D. students and young researchers. The aim of the EEF is to organize training activities directed at Ph.D. students and young researchers from all over Europe.
The design and analysis of various types of systems, like embedded systems or communication protocols, require insight in not only the functional, but also in the real-time and performance aspects of applications involved. Various traditional techniques for modelling and analysis of these quantitative aspects are known and widely used in practice. Some prominent modelling techniques for which efficient analytic techniques exist, are Markov chains, Queueing Networks, and Stochastic Petri Nets.
Traditionally, there has always been a clear separation between the functional and performance aspects of systems, and as a result different communities have constructed and analysed their own, largely unrelated models for the aspects under their responsibility. In modern systems, though, the difference between functional and performance features is getting blurred, and both features are becoming of comparable interest. Thus, it would be beneficial to be able to check how changes in functionality affect performance issues, and vice versa. In addition, one would like to have a better control over the relation between the models that are used for qualitative and quantitative analysis, and avoid the use of different models for different aspects that are mutually incompatible. A single framework where both aspects could be defined, would therefore be advantageous for several reasons.
Research in formal methods has recognised the need for the additional support of quantitative aspects like probability and real-time, and various initiatives have been taken to accomplish this. On the one side, extensions of existing specification techniques like process algebras allow for the automatic generation of performance models, and support the hierarchical modelling of complex systems. On the other hand, quantitative extensions of efficient analytic techniques like model checking, allow for the automated derivation of performance and reliability measures.
The main goal of the summer school is to report on the-state-of-the-art of the research and tool development aiming at the integrated modelling and analysis of qualitative and quantitative aspects of reactive systems, such as stochastic Petri nets, stochastic process algebras, discrete event systems etc. The school is intended in the first place for PhD students, but we do anticipate attendance by interested researchers from academia and industry. To provide the necessary background also lectures in basic models and methods from both the field of performance evaluation and that of formal methods will be included.
The is available here (in Postscript).
Registration is closed.
The cost for living expenses will be 397 Euro (covering breakfast, lunch, dinner, refreshments, and social event) and accommodation from July 3 until July 7. This arrangement is based on a single room. In case you want to share a double room the costs are 307 Euro.
There is also the possibility to book a room for Sunday 2nd July (all prices in Euro):
| type of room | single | double |
|---|---|---|
| budgetroom | 48 | not available |
| standard room | 64 | 78 |
| luxurous room | 91 | 105 |
The participation fee for the summerschool is 185 Euro. These costs include working material (handouts) and a copy of the final course notes that will be published as volume 2090 in the series of Lecture Notes in Computer Science, Springer, after the summerschool.
(Note: 1 Euro is about 1 US dollar).
Registration is closed, the school is fully booked.
A number of scholarships is available for participants. These grants are funded by the European Union's IHP program. According to EU regulations, young researchers (aged 35 years or under) on postgraduate or postdoctorate level who are nationals of EU member states or associated states (and work there) can apply for a grant. The size of the grants will depend on the number of qualified applicants, and the travel distance. In case your age lies slightly above 35 years, there are some exceptions on the EU regulations that might apply to you; for details please contact fmpa2k@cs.utwente.nl.
In case you meet the aforementioned qualifications and want to apply for a scholarship please send a letter that includes your motivation to attend the summerschool, together with a letter of recommendation by the home department or institution, and a brief cv to:
|
Ms. J. Lammerink Euro Summerschool FMPA 2000 University of Twente Faculty of Computer Science P.O. Box 217 7500 AE Enschede The Netherlands Tel. +31 53 4893767 Fax. +31 53 4893247 Email fmpa2k@cs.utwente.nl |
The deadline for application is closed.
| Golden Tulip Val-Monte Oude Holleweg 5 6572 AA Nijmegen - Berg en Dal The Netherlands Tel. +31 24 6842000 Fax. +31 24 6843353 Email gt-valmonte@hotelnet.nl |
The Netherlands by plane
The only Dutch international airport Amsterdam Airport Schiphol has nonstop connections
to most major hubs.
Nijmegen by train
The Dutch Railway Company NS provides twice an hour a service from Schiphol
to Nijmegen with one change in Duivendrecht. The ride takes
approximately 1 hour 30 minutes. Some useful schedules
There are a number of tickets for foreign visitors like the Euro-Domino ticket. These are significantly cheaper than plain tickets. You will have to ask for it at the station.
Berg en Dal by car
If you find one of the two roundabouts (Keizer Karel and Keizer
Trajanus Plein) in Nijmegen Centrum, follow first the signs "Kleve"
then the signs "Berg en Dal". Stay on this street (Berg en Daalseweg
and Oude Kleefsebaan, see map ) for a while, and you will find the workshop
hotel in Berg en Dal on the left-hand side.
Berg en Dal by treintaxi
The treintaxi at Nijmegen Centraal Station provides services to the
conference hotel in Berg en Dal. Tickets are available in the station
for NLG 7 (
3.20) per
person.
Berg en Dal by bus
Line 6 to Beek provides a service to Berg en Dal four times each hour on
workdays. Tickets ("strippenkaarten") are available at the station (15 strippen =
NLG 12.00 (5.45)) or in the
bus (3 strippen = NLG 4.50 (
2.05)). A journey from Nijmegen to Berg en Dal costs three "strippen".
This page was last updated on 13 May '02 by Holger Hermanns and Joost-Pieter Katoen.
