Abstract: Touch input and two-handed interaction were intensively studied in the mid 80′s but it’s taken 20 years for these ideas to emerge in the mainstream, with the advent of multi-touch interfaces. Gaze has been studied for almost as long as interaction modality and appears on the brink of wider use. This talk will present … Ubicomp, Touch and Gaze by Hans Gellersen
Dr. Roy Dyckhoff will give a talk titled, “Geometrisation of first-order logic”. Abstract: We show that every first-order theory T has a conservative extension G_T that is a geometric theory. Reasoning problems in T can therefore be replaced by problems in G_T, where the methods of geometric (aka ‘coherent’) logic are applicable. We discuss related … Geometrisation of first-order logic
Cybersecurity for Critical Infrastructure, or ‘how to break into a nuclear power station for fun & profit’ Dr Richard Gold, Cisco Systems, UK Cyber Security for Critical Infrastructures such as the power grid, oil & gas pipelines and dams has become a hot topic since the Stuxnet malware attack against the nuclear enrichment centrifuges in … Cybersecurity for Critical Infrastructure