[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*** Apologies for multiple copies due to cross-posting *** *** Please forward to colleagues who might be interested *** ---> IMPORTANT <--- =========================== FIRE =============================== Formal and Interdisciplinary methods in Resilience Engineering 23-25 May 2011 A research School organised by The Centre for Interdisciplinary Computational and Dynamical Analysis (CICADA) University of Manchester, UK Part of MaDe: Manchester Dependability Week http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/MaDe.html ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ “Safety is the sum of events that do not occur. While accident research has focussed on that occurred and try to understand why, safety research should focus on the accidents that did not occur and try to understand why” `` Resilience Engineering: concepts and precepts" ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ =========================== Structure =============================== 1 Course + 5 tutorials + 2 lectures: Course on ``Probabilistic Model Checking” By Prof. Joost-Pieter Katoen ; Duration: 4 hours Tutorial on ``Probabilistic Models and Tools for Information Security Decisions” By Prof. Aad van Moorsel ; Duration: 2 hours, Tutorial on ``Introduction to object-oriented Modeling and Simulation with Modelica using OpenModelica” By Dr. Mohsen Torabzadeh-Tari ; Duration: 2 hours, Tutorial on ``Solving discrete time control systems under severe uncertainty using imprecise probabilities” By Prof. Matthias Troffaes ; Duration: 2 hours, Tutorial on ``Algorithmic Game Theory” By Prof. Anna Philippou ; Duration: 2 hours, Lecture on ``The Road to Resilience: Autonomy, Fault Tolerance, Verification” By Dr. Manuela Bujorianu ; Duration: 1 hour, Lecture on ``Resilience Engineering: A Quick Tour” By Dr. Manuela Bujorianu ; Duration: 1 hour, Tutorial on ``Steering Computer Simulation Of Physical Systems” By Prof. John Brook ; Duration: 2 hours, =========================== Organisation =============================== Contact: Manuela Bujorianu, John Brooke and Helen Harper - CICADA; Place and time: 9.30 am - 5.00 pm Frank Adams rooms, Alan Turing Building, Manchester University Registration Registration website will be open soon. Registration fee will be around 30GBP. Payment can be also made at the site. The phD students can apply for fee waiving grant. If you would like to register your interest in the event, please contact Helen Harper (Helen.Harper at Manchester.ac.uk) in the first instance. Accommodation There are several hotels near to the Alan Turing Building. Please consult the school webpage for details.