Previous Colloquia and Seminars

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

Digital Interaction Group Talk by David Windridge

Research Group Digital Interaction

Location: Culture Lab
Time/Date: 18th July 2014, 12:00 - 12:30

Motion Detection Architectures in Nature and in CMOS

Research Group Concurrent Asynchronous Systems

Location: CPD (M4.13) room, Merz Court
Time/Date: 18th July 2014, 11:00 - 13:00

rss iconwrite news icon

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