Abstract: This talk will demonstrate how model checking based verification of compilers and runtime systems can increase the confidence of parallel execution of programming languages, using two case studies. As HPC…
Abstract: It is well known that older adults continue to lag behind younger adults in terms of their breadth of uptake of digital technologies, amount and quality of engagement in these tools and ability to critically…
Abstract: Two important aspects in hardware design are the safe routing of signals between modules, and ensuring that ports are correctly connected. Well-known hardware description languages such as SystemVerilog,…
Please note non-standard date and time for this talk Abstract: This talk will describe a range of our projects, utilising functional Near Infrared Spectroscopy (fNIRS) in HCI. As a portable alternative that’s more…
Speaker: Stephen Brewster (University of Glasgow) Venue: The Byre Theatre Timetable: 9:30: Lecture 1: The past: what is multimodal interaction? 10:30 Coffee break 11:15 Lecture 2: The present: does it work in practice?…