Previous Colloquia and Seminars

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

Wearable algorithms != Electronics + Algorithms

Research Group AMBER Concurrent Asynchronous Systems

Location: CPD (M4.13) Room, Merz Court
Time/Date: 17th July 2014, 14:00

From Weakest Link to Security Hero: Encouraging Good Security Behavior

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

Roundtable: Deliberative Democracy and Digital Technologies

Research Group Digital Interaction

Location: Culture Lab, Newcastle University
Time/Date: 11th July 2014, 12:00 - 13:30

Clojure, Classifications and Karyotypes

Location: Claremont 701, Claremont Tower
Time/Date: 25th June 2014, 13:30 - 14:30

The Bing Platform that Powers Cortana

Location: Daysh G.07
Time/Date: 16th June 2014, 13:00 - 14:00

Vehicular App Development: Opportunities and Challenges

Location: CLT 701
Time/Date: 13th June 2014, 14:00 - 15:00

rss iconwrite news icon

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