AMAST Mail 2000
[Prev][Next][Index]

CfReg FMPA 2000: Euro-Summerschool on Formal Methods and Performance Analysis

[we apologise for receiving multiple copies]


   !!! The deadline for scholarship applications is March 1, 2000 !!!   


FMPA-2k--FMPA-2k--FMPA-2k--FMPA-2k--FMPA-2k--FMPA-2k--FMPA-2k--FMPA-2k--FMPA-2k


                   FORMAL METHODS AND PERFORMANCE ANALYSIS


          The first Euro-Summerschool on Trends in Computer Science


                   July 3-7 2000, Nijmegen, the Netherlands 


 Supported by the European Commission, Research DG, Human Potential Programme,
           High-Level Scientific Conferences, HPCF-CT-1999-00186


    organised by the Formal Methods and Tools Group, University of Twente


              http://fmt.cs.utwente.nl/conferences/fmpa2k/ 



FMPA-2k--FMPA-2k--FMPA-2k--FMPA-2k--FMPA-2k--FMPA-2k--FMPA-2k--FMPA-2k--FMPA-2k



Aim and Scope of the Summerschool
=================================

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.


Preliminary Program
===================

1. Motivation 
-------------
     Formal methods for performance analysis (1.5 hs)
       Ulrich HERZOG, University of Erlangen-Nuremberg, Germany  

2. Background Performance Evaluation 
------------------------------------
     Markov chain models and analysis (3 hs)
       Boudewijn HAVERKORT, RWTH Aachen, Germany  
     Discrete event simulation (1.5 hs)
       Christos CASSANDRAS, University of Massachusetts at Amherst, USA  
     Non-Markovian analysis (1.5hs)
       Reinhard GERMAN, Technical University of Berlin, Germany  

3. Background Formal Methods 
----------------------------
     Process algebra (3 hs) 
       Ed BRINKSMA, University of Twente, Netherlands
     Petri nets and stochastic Petri nets (1.5 hs)
       Gianfranco BALBO, University of Torino, Italy  
     Model checking (3hs)
       Pierre WOLPER, University of Liege, Belgium  

4. Formal Methods & Performance Analysis 
----------------------------------------
     Stochastic activity networks and their analysis (3 hs)
       Bill SANDERS, University of Illinois at Urbana-Champaign, USA  
     Markovian process algebra (1.5 hs) 
       Holger HERMANNS, University of Twente, Netherlands 
     Non-Markovian process algebra (1.5 hs)
       Joost-Pieter KATOEN, University of Twente, Netherlands  
     Compositional and decompositional analysis (1.5 hs) 
       Jane HILLSTON, University of Edinburgh, UK 
     Structured and distributed analysis (1.5 hs) 
       Gianfranco CIARDO, University of William and Mary, USA 
     Model checking probabilistic and Markovian models (1.5 hs)
       Christel BAIER, University of Bonn, Germany  
     Verification of probabilistic distributed algorithms (1.5 hs)
       Roberto SEGALA, University of Bologna, Italy 

Registration
============

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 2th July (all prices in
Euro):

                    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 a volume in the series of Lecture Notes in Computer Science,
Springer, after the summerschool.

(Note: 1 Euro is about 1 US dollar).

The deadline for registration is April 1, 2000 (firm).  The summerschool can
host up to 80 participants.  In case the number of registrations is higher than
80 a first come first serve policy will be applied.  Registration forms can be
found on the web-page mentioned and send in electronically.

Scholarships
============

A number of scholarships is available for participants.  These grants are
funded by the European Union's IHP program.  According to EU regulations, young
resear- chers (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 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
    EEF Summerschool FMPA 2000
    University of Twente
    Faculty of Computer Science
    P.O. Box 217
    7500 AE Enschede
    The Netherlands

The deadline for application is March 1, 2000 (firm).  All applicants will be
notified about their application as soon as possible afterwards (on March 15,
2000 at the latest).


Venue
=====

The summerschool will be held in the Golden Tulip Val-Monte, Berg en Dal, The
Netherlands situated at a beautiful place close to the city of Nijmegen.
Nijmegen is situated in the eastern part of the Netherlands and can be reached
by train from Amsterdam Airport within 90 minutes.


Important dates
===============

Deadline for scholarships: March 1

Deadline for registration: April 1

Dates of summerschool: July 3-7


Further information
===================

Further, updated information can be obtained via the summerschool web-page at

                http://fmt.cs.utwente.nl/conferences/fmpa2k/ 

or by sending email to fmpa2k@cs.utwente.nl. 


Organisation committee
======================

Ed Brinksma
Holger Hermanns
Joost-Pieter Katoen
Joke Lammerink
[ AMAST Mail 2000 | Latest Update | AMAST Mail Meta-Index | AMAST ]