Author: amb24

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

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.

 

Event details

  • Where: Cole 1.33a
  • Format: Seminar

DHSI Seminar Series

Room 222 – Physics and Astronomy

“Cross cutting technological theme – imaging and sensing”

12:05 Michael Mazilu: Introduction              

12:15  Malte Gather and Nils  Kronenberg: Developing cell forces mapping for clinical diagnosis

12:45 Vivienne Wild and  Milena Pawlik: Analysing images of galaxies     

13:15  Coffee Break      

13:25 David Harris-Birtill : Automated Remote Pulse Oximetry     

 

 

Event details

  • When: 25th August 2017 12:00 - 14:00
  • Where: Physics Bldg
  • Format: Seminar

DHSI Seminar Series (Digital Health Science Initiative)

“Addiction”

Seminar Room 1 School of Medicine

12:00: Alex Baldacchino- Introduction

12:15: Ognjen Arandjelović & Aniqa Aslam- Understanding Fatal and Non-Fatal Drug Overdose Risk Factors in Fife: Overdose Risk (OdRi) tool

12:45: Damien Williams & Fergus Neville- Transdermal alcohol monitoring

13:15: David Harris-Birtill & David Morrison- Narco Cat – waste water analysis in substance misuse – a novel epidemiological tool

13:15 – 14.00: All Questions & Opportunities

Event details

  • When: 14th June 2017 12:00 - 14:00
  • Where: N Haugh, St Andrews
  • Format: Seminar

Dr. Ornela Dardha’ talk: Session Types Revisited

Event Location: School of Medicine, Seminar room 1

Abstract:
Session types are a formalism to model structured communication-based programming. A session type describes communication by specifying the type and direction of data exchanged between two parties. We show that session types are encodable in more primitive and foundational pi-calculus types. Besides providing an expressivity result, the encoding: (i) removes redundancies in the syntax of session types, and (ii) yields standard properties of session types as straightforward corollaries, exploiting the corresponding properties of standard typed pi-calculus. The robustness of the encoding is tested on a few extensions of session types, including subtyping, polymorphism, and higher-order communications. In this talk we present the encoding, some of its applications and recent developments.

 

Event details

  • When: 4th July 2017 14:00 - 15:00
  • Where: N Haugh, St Andrews
  • Format: Seminar

Simon Fowler Seminar: First-Class Distributed Session Types

Session types codify communication patterns, giving developers guarantees that applications satisfy predefined protocols. Session types have come a long way from their theoretical roots: recent work has seen the implementation of static analysis tools; embeddings into a multitude of programming languages; and the integration of session types into languages as a first-class language construct.

Work at Edinburgh has concentrated on the latter. Lindley and Morris have extended the experimental functional programmming language Links with session-typed hannels in a multithreaded setting.

Distribution, however, brings challenges such as failure and the need for distributed channel delegation algorithms. In this talk, I will demonstrate and discuss the design and implementation of session types in Links. I will describe my recent work on adding support for distribution to Links, allowing the creation of session-typed, multi-user web applications.

Finally, I will describe recent, in-progress, work on a static type system and semantics allowing the controlled relaxation of the requirement of *linearity* (that
every endpoint must be used exactly once) to that of affinity (that every endpoint must be used at most once) in order to account for the question of users leaving a session midway through, and describe how the system still retains core metatheoretic pro

Event details

  • When: 5th June 2017 13:00 - 14:00
  • Where: Cole 1.33a
  • Format: Seminar