Previous Colloquia and Seminars

Making the cut: Cloud-based genome editing & CRISPR

Research Group Interdisciplinary Computing and Complex BioSystems

Location: CLT 7.01
Time/Date: 1st September 2015, 14:00 - 15:00

Large scale data integration in the context of biomedical datasets

Research Group Interdisciplinary Computing and Complex BioSystems

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

One VM to Rule Them All

Location: CLT 7.01.
Time/Date: 17th July 2015, 14:00 - 15:00

How to increase efficiency with the certification of process Compliance

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

Modelling of Reversibility in Concurrent Computation

Location: CLT 7.01.
Time/Date: 1st July 2015, 14:00 - 15:00

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

rss iconwrite news icon

Showing 1 to 10 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