Conference centre "RESORT MIERLO" ("De Brug"),
Mierlo, April 7-9, 1999.
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.
Arrival and registration (11.00 -12.00)
12.00 - 13.30 Lunch
Opening
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
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
Triple Session: Process Algebra for Performance Modelling
09.15 - 10.00 Ed Brinksma: Performance and Formal Design - A Process Algebraic
Perspective
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
Closing
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 |
|
||||
Associated members and associated research schools |
|
||||
Other participants |
|
Please remit the amount due, to our bankaccount with the ABN/AMRO. Account number: 60.27.60.690, 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