Why Homotopy type Theory (HoTT) matters – Professor Thorsten Altenkirch

Event details

  • When: 25th May 2018 11:00 - 12:30
  • Where: Cole 1.33a
  • Format: Seminar

Abstract:
Dependent types are a wonderful way to construct correct functional programming and specify interfaces as Edwin has shown in his nice book on type driven development using a welsh dragon. But shall we go further in the esoteric world of homotopy type theory? I will try to motivate this and I am looking forward to some discussions with people who have a more pragmatic attitude to dependent types.

The OpenMP and MPI refactoring with ParaFormance – Turkey Alsalkini

Event details

  • When: 17th May 2018 12:00 - 13:00
  • Where: Cole 1.33a
  • Format: Talk

Abstract:

The increasing complexity of codes with the growing number of cores that should be utilised make such codes hard to optimise and maintain. In this talk, we present the OpenMP and MPI refactoring implemented in the ParaFormance tool. This tool transforms the sequential code into parallel code able to run on shared memory machines. Further refactoring is implemented to adapt the source code to exploit a larger number of processors on large HPC clusters with message passing support. In addition, the resulting MPI code can be used by developers as a starting point for further optimisation. Both refactorings are preceded by an advanced safety checking which reports concurrency problems and gives hints and suggestions on how to fix them.

Professor Aaron Quigley to Join ACM Distinguished Speaker Program


Congratulations to Aaron on being appointed as a Distinguished Speaker for the Association for Computing Machinery (ACM). The esteemed Distinguished Speaker Program brings together international thought leaders from academia, industry, and government to give presentations to ACM chapters, members, and the greater IT community in a variety of venues and formats. The outreach program coordinates speaker lectures to consider the most important challenges in computing today and facilitates professional networking.

Aaron has developed four lectures for the DSP program here can deliver, these include:

Discreet Computing
Computing and interaction are changing the nature of humanity. As individuals our capabilities can be extended, our memories augmented and our senses attuned. Societies are being reshaped…

Global Human Computer Interaction
Global Human Computer Interaction is the study of HCI when considering global challenges, languages, concerns, cultures and different economic drivers. Digital technologies now underpin the…

Immersive Analytics
Human activity (in all its forms) can result in large volumes of data being collected and simply stored in the hope that one day it can be analysed and explored. From business to health…

Ubiquitous User Interfaces (UUI)
UbiComp or Ubiquitous Computing is a model of computing in which computation is everywhere and computer functions are integrated into everything. It can be built into the basic objects,…

Professor Quigley is Chair of Human Computer Interaction in the School of Computer Science at the University of St Andrews. His research interests include surface and multi-display computing, body worn interaction, human computer interaction, pervasive and ubiquitous computing and information visualisation.

SACHI research group in Canada for the annual CHI conference

  

This week members of the SACHI research group are in Canada for the annual CHI conference where they are presenting 8 papers and other research work.

Their research papers have been attracting media interest this week. The Times has covered their paper on Change blindness in proximity-aware mobile interfaces quoting Professor Quigley. 

         

 

App developers urged to cure phone ‘blindness

While the verge and Engadget has covered the best paper Project Zanzibar: A Portable and Flexible Tangible Interaction Platform.

Hui-Shyong Yeo contributed to this research while he was a research intern at Microsoft Research last summer in Cambridge.

 

The research group has put together a page which describes all the efforts at CHI 2018 here

Next year CHI 2019 will be in Scotland while CHI 2020 will be in Hawaii on its way to Asia in 2021.

Members of SACHI are already involved in the planning for 2019 as associate chairs for the program and are looking forward to CHI here in Scotland next year

SACHI at CHI 2018 in Montreal next week

 

 

 

The ACM Conference on Human Factors in Computing Systems (CHI) series of academic conferences is generally considered the most prestigious in the field of human-computer interaction. It is hosted by ACM SIGCHI, the Special Interest Group on Computer-Human Interaction. CHI has been held annually since 1982 and attracts thousands of international attendees. Next week members of SACHI will be at the CHI 2018 conference in Montreal where they will be presenting 6 full papers (1 best paper), 1 demonstration, 1 late-breaking work and other activities.

This work includes pointing all around you, the design of visualization tools,  physicalization, change blindness, multi-user interfaces, tangible interaction and augmented reality.

You can find the research papers, videos and more details on SACHI @ CHI2018 here.

Montreal, Canada

War Stories: Building new tech products in an uncertain world

Event details

  • Where: Cole 1.33a
  • Format: Seminar

Steven Drost (CodeBase Chief Strategy Officer) and Jamie Coleman (CodeBase CoFounder and Chair) will talk about the topics that are rarely discussed in an academic environment around startups, product management, jobs to be done and disruption. Discussing aspects of UX, HCI, AI and systems development this is the stuff that they wish every computer scientist and startup founder knew before trying to create an innovative new business.

What is CodeBase?

CodeBase is the UK’s largest startup incubator, home to around 100 technology companies in Edinburgh and Stirling. It brings together ambitious entrepreneurs, world-class technological talent and top investors, in a creative, collaborative environment designed for the new digital economy. We host a vibrant, open community of experts in a diverse range of fields, with hands-on mentorship, networking and world-class business support. http://www.thisiscodebase.com

Jamie and Steven are quite inspiring speakers and if you are looking for project partners, collaborators or just to learn how to develop your ideas commercially, this could be a good talk for you.

 

SRG Seminar: “Application of Bayesian Nonparametric in household human activity recognition” by Lei Fang

Event details

  • When: 12th April 2018 13:00 - 14:00
  • Where: Cole 1.33b
  • Series: Systems Seminars Series
  • Format: Seminar

Abstract

In this talk, I will talk about the possibility of using Bayesian nonparametric clustering, or Dirichlet Process Mixture model to solve human activity recognition problem. In particular, I will discuss how the technique can be useful when the activity labels are not annotated and/or the activity evolves over the time. This initial study is built on an existing work on using directional statistical models (von Mises-Fisher) distribution, called Hierarchical Mixture of Conditional Independent von Mises Fisher distribution (HMCIvMFs), for unknown events detection and learning. Markov chain Monte Carlo sampling based learning algorithm will be presented together with some initial experiment results.

SRG Seminar: “Introduction to Apache Mesos and the DataCenter Operating System” by Matt Jarvis

Event details

  • When: 24th April 2018 13:00 - 14:00
  • Where: Cole 1.33b
  • Series: Systems Seminars Series
  • Format: Seminar
Abstract
Data processing paradigms are undergoing a paradigm shift as we move more and more towards real time processing. Emerging software models such as the SMACK stack are at the forefront of this change, focused on a pipeline processing model, but are also introducing new levels of operational complexity in running multiple complex distributed systems such as Spark, Kafka and Cassandra. In this talk, I’ll introduce both Apache Mesos and DC/OS as a solution to this growing problem, and describe the benefits are of running these new kinds of systems for emerging cloud native workloads.
 
Bio
Matt Jarvis is Senior Director of Community and Evangelism at Mesosphere, engaging with the communities around DC/OS and Mesos. Matt has spent more than 15 years building products and services around open source software, on everything from embedded devices to large scale distributed systems. Most recently he has been focused on the open cloud infrastructure space, and in emerging patterns for cloud native applications.