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

Call for Registration EEF-Summerschool on Formal Methods and Performance Analysis (FMPA 2000)


[we apologise for receiving multiple copies]

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 EEF-Summerschool on Trends in Computer Science


                   July 3-7 2000, Nijmegen, the Netherlands


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

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



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 
scho-
larship please send a letter that includes your motivation to attend the 
summer-
school, 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 ]