Highly Deformable Mobile Devices & Future Mobile Phones by Johannes Schöning, Hasselt University

Speaker: Johannes Schöning, Hasselt University Date/Time: 2-3pm April 8th, 2014 Location: Maths Lecture Theatre B, University of St Andrews Title: Highly Deformable Mobile Devices & Future Mobile Phones Abstract: In the talk I will present the concept of highly deformable mobile devices that can be transformed into various special-purpose controls in order to bring physical Highly Deformable Mobile Devices & Future Mobile Phones by Johannes Schöning, Hasselt University

How human-human dialogue research can lead us to understand speech behaviours in human-computer dialogue: The case of lexical alignment by Benjamin Cowan, University of Birmingham.

Abstract: Dialogue is a dynamic social activity. Research has consistently shown that our dialogue partners impact our speech choices whereby we converge (or align) on aspects such as lexical choice and syntax. With the development of more natural computer dialogue partners and the increase of speech as an interaction modality in many devices and applications, How human-human dialogue research can lead us to understand speech behaviours in human-computer dialogue: The case of lexical alignment by Benjamin Cowan, University of Birmingham.

Ubicomp, Touch and Gaze by Hans Gellersen

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

Geometrisation of first-order logic

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

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