Personal tools
You are here: Home Events LFCS Away Day 2014

LFCS Away Day 2014

— filed under:

The LFCS Away Day will be an opportunity to spend time away from the Informatics Forum, listening to stimulating talks, taking part in networking and teambuilding activities and contemplating broader issues and research directions. This will be chance to spend one day thinking beyond your current research problem leading to the next publication.

  • Upcoming events
When Apr 25, 2014
from 09:00 AM to 05:00 PM
Where Scottish National Gallery of Modern Art
Contact Name
Contact Phone 0131 651 3442
Add event to calendar vCal

LFCS Away Day Programme


8.30-9.00              Arrival

9.00-9.15              Welcome

9.15-10.15           Talk: Johan Granström, "CAP for Programming Languages"

10.15-10.45         Coffee Break

10.45-11.15         Flash Talks

11.15-12.00         PhD student poster session

12.00-12.30         Mock REF Panel part 1

12.30-13.30         Lunch

13.30-14.30         Talk: Aravinda Korala, "PhDs in business"

14.30-15.30         Marketing at the LFCS activity/Free time to visit gallery

15.30-16.00         Mock REF Panel part 2

16.00-16.30         Wrap up and closing



Johan Granström, Google


The adoption of innovation often has an impact on non-technical aspects of the software engineering process. Researchers can use the seven “alphas” of the SEMAT kernel to identify areas in which the their innovation will have a non-technical impact, and thereby facilitate adoption. Alternatively, the “alphas” can be used to direct research towards areas that have a larger potential impact.

Programming language design is a field where several non-technical concerns need to be balanced against each other. Inspired by the CAP theorem for distributed systems, I conjecture that a programming language cannot simultaneously achieve Completeness, Abstraction, and Performance. Taking the whole software engineering process into account, which of these three properties are more valuable?


Johan Granström is a senior software engineer at Google Zürich, where he has contributed to several public launches and submitted fourteen patent applications since joining Google in 2011. He studied intuitionistic type theory under Per Martin-Löf, who invented the subject. His PhD thesis is published by Springer under the title "Treatise on Intuitionistic Type Theory". Johan is an active member of the academy: he has published several books and scientific papers; he is a reviewer for Zentralblatt MATH; he is a member of the STL research unit; he has delivered dozens of public lectures; and he is frequently consulted as a referee, both internally at Google and for external conference and journal publications.

Aravinda Korala, KAL

Aravinda is an alumni of Edinburgh University. Following his PhD in Computer Vision at the Dept of AI, he went on to form KAL ATM Software in Edinburgh. Aravinda will talk about his journey from PhD to forming today's global company that employs 100 people in 11 countries and has customers in 80.


 There will be opportunities to find out more about what your colleagues are working on. 

There will be excellent food and a relaxed atmosphere, all in the lovely setting of the Scottish National Gallery of Modern Art.

The Away Day is intended for all members of the LFCS but especially the PhD students. 

This year's second year poster event will take place during the Away Day.


Places are limited so do reserve you place as soon as possible. Reservations closing date: 16 April 2014.

You can reserve your place at Eventbrite here.



The Scottish National Gallery of Modern Art

 Modern Art Front


The Studio

 Modern Art Studio




There is no direct bus to The Gallery of Modern Art but you may take bus number 41 and take off at the Queensferry Road and walk along Queensferry Terrace/Belford Road. (8min) Map here.

Alternatively you may walk from the West End. (12 min) Map here.


Onsite car-parking available. Map here.


More information to follow.


Document Actions