Summer School on Experimental Methodology in Computational Science Research

The purpose of this summer school is to bring together interested computer scientists and other researchers who work in the broadly-defined area of “computational science”, and to explore the state-of-the-art in methods and tools for enabling reproducible and “recomputable” research. Reproducibility is crucial to the scientific process; without it researchers cannot build on findings, or even verify these findings. The development and emergence of new tools, hardware and processing platforms means that reproducibility should be easier than ever before. But to do so, we also need to effect “a culture change that will integrate computational reproducibility into the research process”.

The school will be hands on, comprising lectures, tutorials and practical sessions in topics including statistical methods, using cloud computing services for conducting and sharing reproducible experiments, methods for publishing code and data, legal issues surrounding the publication and sharing of code and data, and generally the design of experiments with replication in mind. Speakers include academics from mathematics, computer science and law schools, and other researchers and industrial speakers from Figshare, Microsoft Azure, the Software Sustainability Institute and more. Practicals will include the replication of existing experiments and a “hackathon” to improve tools for replication. The aim of the school will be to create a report that will be published in arXiv by the end of the week, and in a suitable journal later on.

For more information and to register please visit our web site at http://blogs.cs.st-andrews.ac.uk/emcsr2014/.

Event details

  • When: 4th August 2014 09:00 - 8th August 2014 17:00
  • Format: Summer School

Computational Social Choice: an Overview by Edith Elkind, University of Oxford

ABSTRACT
In this talk, we will provide a self-contained introduction to the field of computational social choice – an emerging research area that applies tools and techniques of computer science (most notably, algorithms, complexity and artificial intelligence) to problems that arise in voting theory, fair division, and other subfields of social choice theory. We will give a high-level overview of this research area, and mention some open problems that may be of interest to mathematicians and computer scientists.

Event details

  • When: 15th April 2014 - 15:00
  • Where: Maths Theatre B
  • Series: School Seminar Series
  • Format: Seminar

A slippery slope — the path to national health data linkage in Australia – John Bass

Abstract: Linkage of health-related data in Australia dates back to the late 1960’s with the first inspiration coming from the United Kingdom. Since then computers have developed at a barely believable rate, and technical considerations still exist but do not pose any serious problems. Progress has been slowed by the increasing need for better privacy and confidentiality. Further complications have resulted from living in a large and diverse country ruled by several highly parochial states as well as the federal government. This presentation tells the story from a viewpoint largely based in Perth, Western Australia. In 1984 this city had a population of less than a million, and the nearest city/town of more than 20,000 people was Adelaide, more than 1,650 miles away by road. In our context, this was a benefit as much as a hindrance, and Perth has been very much the epicentre of data linkage.

Bio: After an early career in marine zoology combined with computing, John Bass has been at the leading edge of health-related data linkage in Australia since 1984. Early work on infant mortality in Western Australia resulted in a linked dataset that became the cornerstone of the Telethon Institute for Child Health Research. He then implemented the Australian National Death Index in Canberra before returning to Perth as the founding manager of the Western Australian linked health data project — the first of its kind in the country. He designed and implemented the technical system of this group, which is widely recognised as the foremost data linkage unit in Australia. John stepped aside from his position in 2000 but has continued a close relationship with the project, designing and overseeing the implementation of genealogical links and then spending several years working with state and federal government to implement the first large-scale linkage of national pharmaceutical and general practice information. This involved the development of new best-practice privacy protocols that are now widely adopted across Australia. He was a core participant in developing a detailed plan for the implementation of a second state-based data linkage unit involving New South Wales and the Australian Capital Territory. In 2008 John moved to Tasmania, where he spent four years planning and paving the way for the implementation of a state-wide data linkage unit. He is now semi-retired, but still working on new developments in data linkage technology.

Event details

  • When: 13th May 2014 14:00 - 15:00
  • Where: Cole 1.33a
  • Format: Seminar

The Chomsky-Schutzenberger Theorem for Quantitative Context-Free Languages by Heiko Vogler, University of Dresden

ABSTRACT:
Weighted automata model quantitative aspects of systems like the consumption of resources during executions. Traditionally, the weights are assumed to form the algebraic structure of a semiring, but recently also other weight computations like average have been considered. Here, we investigate quantitative context-free languages over very general weight structures incorporating all semirings, average computations, lattices. In our main result, we derive the Chomsky-Schutzenberger Theorem for such quantitative context-free languages, showing that each arises as the image of a Dyck language and a recognizable language under a suitable morphism.

This is joint work with Manfred Droste (University of Leipzig)

BIOGRAPHY:
Prof. Dr.-Ing-habil. Heiko Vogler received the degree of Doktor in De Technische Wetenschappen at the Technische Hogeschool Twente, The Netherlands in 1986. He achieved the Habilitation in Computer Science at the RWTH Aachen in 1990, was associate professor at the University of Ulm from 1991-1994, and since 1994 he is full professor at the TU Dresden. He received the degree of Doktor honoris causa from the University of Szeged, Hungary in November 2013. His research interests are weighted tree automata and formal models for statistical machine translation of natural languages.

Event details

  • When: 7th April 2014 13:00 - 14:00
  • Where: Cole 1.33a
  • Format: Seminar

Doing Research in the Wild – Paul Marshall, UCL

Abstract: There has been
significant growth in interest in ‘research in the wild’ as an approach to
developing and understanding novel technologies in real world contexts.
However, the concept remains underdeveloped and it is unclear how it differs
from previous technology deployments and in situ studies. In this talk, I will
attempt an initial characterisation of research in the wild. I will discuss
some of the benefits of studying novel technologies in situ as well as some of
the challenges inherent in encouraging and studying sustained use.

Bio: Paul Marshall is a lecturer in interaction design in the UCL
Interaction Centre. His research interests focus on understanding how
ubiquitous computing technologies are used in everyday contexts such as the
home, in education or in public spaces. Prior to joining UCL he worked as a
post doc at the University of Warwick (2010-11) researching participatory
design approaches in healthcare and at the Open University (2006-10) where he
ran ethnographic and laboratory studies of shareable interfaces and sensory
extension devices. He completed a PhD project on learning with tangible
interfaces as part of the Equator project at the University of Sussex, and
prior to that a BSc (Hons) in psychology at the University of Edinburgh.

Event details

  • When: 1st April 2014 14:00 - 15:00
  • Where: Maths Theatre B
  • Series: School Seminar Series

St Andrews Programming Competition 2014

IMG_6817

The St Andrews Programming Competition 2014 is a friendly programming contest organised by the School of Computer Science for students belonging to all levels, coming from any background with any amount of programming experience. Team up with up to 3 members per team, compete for 3 hours by solving a set of programming problems using your favourite programming language and win £200 worth of prizes.

Generally, programming competitions are aimed at the best programmers, this is a first-of-its-kind competition where students from all levels with any amount of programming experience stand a chance to win a prize. Another unique aspect of this competition is that it has also open to members of staff from the School of Computer Science, making this a fun experience and a bonding opportunity for staff and students.

Students can use this opportunity gain valuable exposure to solving quick algorithmic programming questions – of the style that may come up in job interviews, where candidates are required to solve problems on the fly while being observed. Such interview practices are common among many companies nowadays including Google.

For more details and registration visit: http://goo.gl/I78Hyf
Facebook: www.facebook.com/stapc14
Twitter: @stapc14

If you have any questions, please email Shyam on smr20@st-andrews.ac.uk

The event, prizes and refreshments will be sponsored by AetherStore.

AetherStore_square color logo jpg

Event details

  • When: 7th April 2014 14:00 - 17:00
  • Where: Cole 0.35 - Subhons Lab

PhD Admissions Session, Thursday 13 March 2pm

There will be a short session for students (either 4th year or Masters) interested in applying for a PhD in the School of Computer Science.

The deadline for the University’s funded 7th Century scholarships is March 31, so this is a good time to be thinking about it if you are interested and have not already applied.

The session will consist of a short talk and time for Q&A with John Thomson and Ian Gent, who handle PhD admissions in the School.

It will be in Jack Cole 1.33a, from 2pm to 2.30pm on Thursday 13 March 2014

Event details

  • When: 13th March 2014 14:00 - 14:30
  • Where: Cole 1.33a

Internet-of-Things (IoT) Technologies for Integrated Smart Cities Applications by Prof John Soldatos

Title: Internet-of-Things (IoT) Technologies for Integrated Smart Cities Applications

Abstract: The aim of this talk is to illustrate the use of Internet-of-Things (IoT) technologies as building blocks of smart city applications. As a first step the talk will present the pertinence of IoT and smart cities and accordingly it will introduce a range of smart city challenges that could be remedied based on recent advances in IoT technologies. Specifically, we will present how IoT/cloud convergence and IoT semantic interoperability can be used to facilitate the integration of existing silo developments in smart city developments, while at the same time providing new opportunities for innovative applications. The talk will also include the presentation of three practical smart city applications that make use of IoT technologies, notably applications in the areas of smart security, live news and urban planning. These applications are developed in the scope of (on-going) FP7 projects PROACTIVE (FP7-285320), SMART (FP7-287583) and VITAL (FP7- 608682-VITAL) and deployment in European cities (Santander (Spain), Camden/London (UK), Istanbul (Turkey)).

Short bio:
John Soldatos is an Associate Professor at the Athens Information Technology, whose current research interests span the areas of internet-of-things, cloud computing and their (IoT/cloud) convergence in the scope of smart city applications. He holds a BSc. Degree (1996) and a PhD degree (2000) both from the National University of Athens, Greece, and since 1995 he has had very active involvement in more than fifteen (EC co-funded) research projects in the areas of broadband networks, pervasive/cloud computing, and the internet-of-things. He is also the initiator and co-founder of open source projects AspireRFID (http://wiki.aspire.ow2.org) and OpenIoT (https://github.com/OpenIotOrg/openiot). As a result of his research activities, he has published more than 140 papers in international journals and conferences. He has also been an Adjunct Professor at the Information Networking Institute of the Carnegie Mellon University (2007-2010) and a Honorary Research Fellow of the School of Computing of University of Glasgow (March 2014 – May 2015).

Event details

  • When: 2nd April 2014 13:00 - 14:00
  • Where: Cole 1.33b
  • Format: Seminar

Cigna: Technology enabling Health & Well being provision across the Globe

Cigna – a global health services company is dedicated to helping those we serve to improve their health and well being. Cigna provides globally connected healthcare services with access to a global network of clinical providers through leveraging the use of pioneering and innovative technology. Find out how you can get engaged and join the team driving innovation in Healthcare!

Maths Lecture Theatre B
Time: 14:00 to 15:00
Date: Tuesday 4th March

Event details

  • When: 4th March 2014 14:00 - 15:00
  • Where: Maths Theatre B
  • Series: School Seminar Series
  • Format: Seminar

Data Matching Research at the Australian National University

Seminar by Peter Christen, Australian National University

Techniques for matching, linking, and integrating data from different sources are becoming increasingly important in many application areas, including health, census, taxation, immigration, social welfare, in crime and fraud detection, in the assembly of national security intelligence, for businesses and in bibliometrics, as well as in the social sciences.

Today, data matching (also known as entity resolution, duplicate detection, and data or record linkage) not only faces computational challenges due to the increasing size of data collections and their complexity, but also operational challenges as many applications move from static environments into real-time processing and analysis of potentially large and fast data streams, where real-time matching of records is required. Finally, with the growing concerns by the public of the use of their data, privacy and confidentiality often need to be considered when personal information is being linked and shared between organisations.

In this talk I will present a short introduction to data matching, describe these above discussed challenges, and provide an overview of three areas of research currently conducted in data matching at the Australian National University:

  1. Scalable real-time entity resolution on dynamic databases
  2. Scalable privacy-preserving record linkage techniques
  3. Efficient matching of historical census data across time

 

Event details

  • When: 12th February 2014 13:00 - 14:00
  • Where: Honey 103 - GFB
  • Format: Seminar