Formal and Interdisciplinary models
In Resilience Engineering
23-25 May 2011
A Research School
organised
by
The Centre for
Interdisciplinary Computational and Dynamical Analysis (CICADA)
Part of MaDe: Manchester Dependability Week
Structure Programme
Registration Background Abstracts Participants
Organisation
|
Lecturers
|
School
Directors: Manuela Bujorianu and John Brooke;
Logistics Director: Helen Harper;
MaDe General Chair: Dave
Broomhead
|
o Professor. Matthias Troffaes (Durham University, UK) o Dr. Mohsen Torabzadeh-Tari (Linköping University
Sweden) o Professor Aad van Moorsel (Newcastle University) o Professor Joost-Pieter Katoen (RWTH Aachen, DE) o
Dr. Manuela Bujorianu ( o
Professor. John
Brooke ( |
News
|
|
·
Free
registration for all students! ·
Online registration has been launched ·
Programme available ·
Some lecture slides available online |
|
Structure
1
Course + 4
tutorials + 2 lectures |
|
Course on ``Probabilistic Model Checking” By Prof. Joost-Pieter
Katoen ; Duration: 4 hours Info Slides I
Slides II Tutorial on ``Probabilistic Models and
Tools for Information Security Decisions” By Prof. Aad van Moorsel ; Duration: 2 hours, Info Tutorial on ``Introduction to
object-oriented Modeling and Simulation with Modelica using OpenModelica” By Dr. Mohsen Torabzadeh-Tari ; Duration: 2 hours, Info Slides Tutorial on ``Solving discrete time
control systems under severe uncertainty using imprecise probabilities” By Prof. Matthias Troffaes ; Duration: 2 hours, Info Slides Lecture
on ``The Road to Resilience: Autonomy, Fault Tolerance, Verification” By Dr. Manuela
Bujorianu ; Duration: 1 hour, Info Lecture on
``Resilience Engineering: A Quick Tour” By Dr. Manuela
Bujorianu ; Duration: 1 hour, Info Tutorial on ``Steering Computer Simulation Of Physical Systems” By Prof. John
Brook ; Duration: 2 hours, Info |
► Programme
Monday 23rd of May, 2011
9:30-10:00 Registration
10:00-10:10 Introduction: John Brooke
10:10-11:00 John Brooke
11:00-11:20 Coffee Break
11:20-12:10 John Brooke
12:10- 13:20 Lunch
13:20- 15:00 Matthias Troffaes
15:00-15: 20
Coffee Break
15:20 – 17:00 Aad van Moorsel
17:00-17:30 Discussions
and Questions
Tuesday
24th of May, 2011
9:20-11:00
Joost-Pieter Katoen
11:00-11:20
Coffee Break
11:20-12:
10 Joost-Pieter Katoen
12:10- 13:20 Lunch
13:20 - 14:10
Joost-Pieter Katoen
14:10-14:40 Discussions
and Questions
14:40-15:00 Coffee Break
15:00 – 17: 00 Modelica
17:00-17:30 Discussions
and Questions
Wednesday
25th of May, 2011
9:10-10:50 Anna Philipou - cancelled
10:50-11:10 Coffee Break
11:10:12:30 Manuela Bujorianu
► Registration
Registration
can be done online, on the site, or by email to to Sebastian.Rees at Manchester.ac.uk.
The number of available p laces is limited – therefore, make sure that you have
secured your place well in advance. Please feel free to contact Helen Harper
(Helen.Harper at Manchester.ac.uk) for any inquiry.
Due to
generous funding from EPSRC, Cicada and the School, the registration is FREE
for all students and the Cicada members. Otherwise, the fee is quite
reasonable: 25 GBP, covering the cost of lunches and beverages that will be
served on site.
► Book corner
The publishing house Springer UK will kindly organize a book
corner. The most recent research advances related to the event topics will be
available for immediate sale. As well, text books on Modelica, cyber physical
systems, and other topics.
Please, do not forget to bring your cheque book with you!
► Location
► Frank Adams rooms, Alan Turing Building. Directions to the Alan Turing
Building
► Accommodation
There are several hotels near to the
Copyright© Marius Bujorianu