Previous Colloquia and Seminars

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

Identity-Based Encryption Secure against Selective Opening Chosen-Ciphertext Attack

Location: CLT. 701
Time/Date: 29th July 2014, 14:00 - 15:00

Eisbach: Isabelle Proof Methods for Proof Engineering

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

On the Parameterized Complexity of the Workflow Satisfiability Problem

Location: CLT701
Time/Date: 22nd July 2014, 14:00 - 15:00

rss iconwrite news icon

Showing 6 to 15 of 319.
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