Stochver meeting, Edinburgh, March 16th and 17th, 2000

Meeting venue The meeting will take place on Thursday 16th of March and Friday 17th of March in the Appleton Tower, Crichton Street, Edinburgh. The Appleton Tower can be located on the Central Area map for The University of Edinburgh. The room for the meeting is Room 3.10 in the Computer Science third floor suite. This is located next door to a laboratory of public access workstations which will be available for email access during the meeting.

Accommodation This hotel is located by the Tron Kirk where South Bridge meets High Street (see the Central Area map). It is close to both the Appleton Tower and Edinburgh Waverley train station. Hotel Ibis 6 Hunter Square EDINBURGH Scotland EH1 1QW Telephone: +44 (0)131 240 7000 Facsimile: +44 (0)131 240 7007 Email: H2039@accor-hotels.com Room price (single standard rate): £49.50 If you need help with booking accommodation please contact Dyane McGavin.

Provisional schedule of talks: Thursday March 16th 12:30 Lunch Pig's Bistro, 41 West Nicholson Street (see the Central Area map) 2:00 Joachim Meyer-Kayser A stochastic action-based logic 2:45 Edgar Frank A tool for the MTBDD-based generation and analysis of stochastic transition systems 3:30 Coffee break 4:00 Markus Siegle BDD versus Kronecker: common features and differences 4:45 Discussion and close

Provisional schedule of talks: Friday March 17th 10:00 Dave Parker Symbolic model checking of concurrent probabilistic systems using MTBDDs and Kronecker representation 10:45 Gethin Norman Modelling randomized distributed algorithms in PRISM 11:30 Coffee break 12:00 Marta Kwiatkowska Symbolic model checking of probabilistic timed automata 12:45 Lunch Bar Ce Lona, 2-8 West Crosscauseway (see the Central Area map) 2:15 Joanna Tomasik Amalgamation of transition sequences 3:00 Discussion and close