Previous Colloquia and Seminars

Testing Preorders and Failure Semantics for (disjunctive) Modal Transition Systems

Research Group Advanced Model-Based Engineering and Reasoning

Location: M4.13 (CPD room) Merz Court
Time/Date: 1st July 2015, 10:30 - 11:30

Economics-Driven Software Architecture

Location: CLT 7.01
Time/Date: 22nd June 2015, 14:00 - 15:00

Formal Methods in the Physical World

Research Group Interdisciplinary Computing and Complex BioSystems

Location: CLT 7.01
Time/Date: 16th June 2015, 16:00 - 17:00

A behavioural model for the discussion of resilience, elasticity, and antifragility

Location: CLT 7.01
Time/Date: 16th June 2015, 14:00 - 15:00

Order Graphs, cross-layer, significance-driven modelling – workshop and tutorial

Research Group Advanced Model-Based Engineering and Reasoning

Location: CLT. 1.15
Time/Date: 12th June 2015, 14:00 - 17:00

Avionics and Airborne Computers: What Could Possibly Go Wrong?

Research Group Advanced Model-Based Engineering and Reasoning

Location: DAYSH 1.29 (please note an unusual venue!)
Time/Date: 10th June 2015, 14:00 - 16:00

Measuring Program Progress using Information Theory

Location: CLT 7.01
Time/Date: 9th June 2015, 14:00 - 15:00

Privacy-preserving and expressive encrypted data share/search

Location: CLT 7.01
Time/Date: 28th May 2015, 14:00 - 15:00

Four levels of Visualization

Location: CLT 7.01
Time/Date: 12th May 2015, 14:00 - 15:00

rss iconwrite news icon

Showing 6 to 15 of 349.
Pages: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 Next