Previous Colloquia and Seminars

Compositional Lipid Assemblies as Evolving Protocells

Research Group Interdisciplinary Computing and Complex BioSystems

Location: CLT 701
Time/Date: 28th October 2014, 16:00 - 17:00

A component-based approach to programming language semantics

Location: CLT701
Time/Date: 28th October 2014, 14:00 - 15:00

Can C++ be made as safe as SPARK

Location: CLT701
Time/Date: 14th October 2014, 14:00 - 15:00

The Fourth Paradigm: Data-Intensive Scientific Discovery

Location: Room 701, Claremont Tower
Time/Date: 14th October 2014, 10:00 - 11:00

Big Data Analytics Talk

Location: Devonshire G21/22
Time/Date: 10th October 2014, 14:00 - 15:00

Verification of medical user interface software using formal methods technologies

Location: CLT701
Time/Date: 9th September 2014, 14:00 - 16:00

Taming Concurrency by Thinking Locally

Location: CLT701
Time/Date: 2nd September 2014, 14:00 - 15:00

In-transit analytics on distributed Clouds: applications and architecture

Location: CLT701
Time/Date: 27th August 2014, 14:00 - 15:00

Verification of Safety-Critical Java Programs

Location: 602A
Time/Date: 12th August 2014, 14:00 - 15:00

rss iconwrite news icon

Showing 1 to 10 of 317.
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 Next