IPA Spring Days on Probabilistic Methods

Conference centre "RESORT MIERLO" ("De Brug"),
Mierlo, April 7-9, 1999.

Probabilistic Methods

In recent years Probabilistic Methods have become a hot topic in Computer Science. One of the main motivations for this increased interest is the usefulness of these methods in areas where software has to meet strong constraints, like Embedded Systems. Moreover, probabilistic algorithms can provide solutions which are more efficient than their deterministic counterparts, or even provide solutions where deterministic methods fail.

Given these advantages, it is not surprising that Probabilistic Methods have surfaced in different places in the research within IPA, mainly in connection with Semantics, Algorithmics and Performance Analysis. Recently a number of Ph.D.-students working with Probabilistic Methods have founded a working group to stimulate cooperation. This group, called PROMISE, currenty contains Ph.D-students, post-docs and senior researchers from five different IPA-sites (KUN, TUE, UT, VU and CWI).

The program of the '99 Spring Days, composed by PROMISE, is intended to show the relevance and usefulness of Probabilistic Methods. To achieve this, it emphasizes the various applications these methods have found within IPA, rather than the methods themselves. The program is selfcontained: a tutorial introducing (or refreshing) the basic mathematical concepts underlying Probabilistic Methods is included.


Wednesday April 7

Arrival and registration (11.00 -12.00)

12.00 - 13.30 Lunch


13.30 Erik de Vink: Overview of Spring Days

Tutorial: Basic Concepts

14.00 Jan van der Wal: Introduction to Probabilistic Techniques

15.00 - 15.15 Coffee and Tea

Twin Session: Probabilistic Process Algebra

15.15 - 16.10 Jos Baeten: Process Algebra and Probabilistic Choice

16.15 - 17.00 Suzana Andova: ACP with Probability and Non-determinism with an Application to the PAR-protocol

17.00 - 18.00 Drinks

18.00 Dinner

Thursday April 8

Invited Lecture:

09.00 Christal Baier (Mannheim): Verification algorithms for probabilistic systems: an overview of the temporal logical approach

10.00 - 10.15 Coffee and Tea

Twin Session: Probabilistic Automata (KUN)

10.15 - 10.55 Frits Vaandrager: Gambling together in Monte Carlo: Step Refinements for Probabilistic Automata

11.00 - 11.45 Marielle Stoelinga: Gambling for leadership: Root contention in IEEE FireWire

12.00 - 13.30 Lunch

Twin Session: Correctness of Probabilistic Program (VU)

13.30 - 14.10 Erik de Vink: Semantical Modelling of Probabilistic Choice

14.15 - 15.00 Jerry de Hartog: Probabilistic Hoare Logic

15.00 - 15.15 Coffee and Tea

Session: Algorithmics (UU)

15.15 - 16.00 Job Smeltink: Market split: a class of small but hard problem

Session: Petri Nets (TUE)

16.05 - 16.50 Kees van Hee: Throughput Times in Stochastic Workflow Nets

17.00 - 18.00 Drinks

18.00 Dinner

20.00 - ... Social Event

Friday April 9

Triple Session: Process Algebra for Performance Modelling

09.15 - 10.00 Ed Brinksma: Performance and Formal Design - A Process Algebraic


10.00 - 10.15 Coffee and Tea

10.15 - 11.00 Pedro d' Argenio: Stochastic Process Algebras and Discrete

Event Simulation

11.00 - 11.45 Holger Hermanns: Compositional Performance Analysis of Telephony System


11.50 - 12.20 Erik de Vink: Summary of Spring Days

12.30 - 14.00 Lunch


Ph.D. students free
Speakers/organizers free
IPA members
single room 3 days dfl. 590,--
single room 1 day dfl. 200,--
shared room 3 days dfl. 530,50
shared room 1 day dfl. 180,--
Associated members and
associated research schools
single room 3 days dfl. 750,--
single room 1 day dfl. 260,--
shared room 3 days dfl. 690,--
shared room 1 day dfl. 230,--
Other participants
3 days dfl. 1.010,--
1 day dfl. 340,--

Please remit the amount due, to our bankaccount with the ABN/AMRO. Account number:, in the name of A.M.H.G. Oversteegen a/o V.A.J. Borghuis, Den Dolech 2, 5600 AM Eindhoven. Please mention participation "IPA Lentedagen 1999"




Holiday Inn Resort Mierlo
Arkweg 3-17, 5731 PD Mierlo.
tel.: +31 492 678911
fax : +31 492 664895
e-mail: algemeen@holiday-inn-resort.mierlo.nl