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

LFCS 'Away Day'

— filed under:

  • Upcoming events
When Apr 05, 2013
from 09:00 AM to 05:00 PM
Where Royal Botanic Garden Edinburgh
Add event to calendar vCal

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.

There will be two excellent external speakers talking about how theoretical computer science can have impact.

Andrew Birkett Andrew Birkett

Andrew Birkett is a software developer at, building global scale distributed systems.  He enjoys finding simple solutions to complex engineering problems, and is a firm believer in the amplifying effect of languages, abstractions and better tools.  He spends his spare time doing metalwork and cycling on a variety of two and one wheeled contraptions.

Talk title: The right tool for the job

Talk abstract:
Abraham Lincoln said "Give me six hours to chop down a tree and I will spend the first four sharpening the axe".   I've spent over 15 years building software systems and wrestling complexity in several different industries. Throughout this time I've also been a keen follower of academic research. I've done this because I believe that, in an increasingly complex world, building reliable software requires that we also build tools sharp enough for the task at hand.  In this talk, I will discuss some of the areas where I see industry muddling through, expending brute effort for want of a sharper axe.  I'll talk about the ideas which have had the biggest impact, and some of the ways in which good ideas can fail to hit the mark.


Joost-Pieter Katoen  Joost-Pieter Katoen

Joost-Pieter Katoen leads the Software Modeling and Verification Group at RWTH Aachen University and is part-time associated to the University of Twente. He is Head of the Computer Science Department in Aachen.  His research interests include model checking, concurrency theory, formal semantics and probabilistic models. He is member of the steering committee of QEST, FORMATS, TACAS, and ETAPS (deputy chair), senior member of the ACM, and member of the IFIP WGs 1.8 and 2.2. With Christel Baier, he published a comprehensive textbook on ``Principles of Model Checking"

Talk title: Towards Trustworthy Aerospace Systems using Formal Methods

Talk abstract:

During the last five years, we have attempted to exploit concurrency theory and computer-aided verification to the engineering of aerospace systems.  In this talk, we will report on the experiences and lessons learnt from this challenging adventure, as well as highlight some of the technical aspects.
The design process of on-board critical embedded systems involves a wide range of approaches and techniques for system-level aspects such as correctness, dependability and safety, as well as performance. We will present a general-purpose modeling and specification formalism based on the AADL standard, together with the main ingredients of an advanced tool-set that supports a rich palette of formal analysis techniques such as probabilistic model checking, bounded model checking, and its application to a satellite design project at the European Space Agency.


 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 Botanic Gardens.

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 will close at 5pm on Wednesday 20th March 2013.

You can reserve your place here


Document Actions