SICSA Summer School on Practical Types

The SICSA Summer School on Practical Types will give participants an overview of how types can be used in practice. Types have provided numerous benefits in programming language research, including language design and compiler construction, over the years and this trend looks set to continue into the future. But types have also found much wider practical application, e.g. in areas such as programme verification, termination checking, security, concurrency, software testing, resource analysis, systems biology, semi-structured data formats, databases, linguistics etc.

The school will consist of a series of 2-3 hour lectures covering introductory topics (e.g. type checking, domain specific languages, dependently typed programming), and more advanced topics such as those mentioned above. Thus we aim to cover how can types be used to classify and enhance our knowledge within specific domains of human activity, and how we can use modern functional programming languages to implement programs which take advantage of that type structure.

There will also be time in the program for participants, especially students, to present short talks about their own experience and works in progress.

Full details

Event details

  • When: 3rd August 2015 11:00 - 5th August 2015 17:00
  • Where: Cole 1.33
  • Format: Summer School

Seminar ‘TODAY’: Brand Objects and Gradual Contracts by Timothy Jones

The School of Computer Science welcomes Timothy Jones, a PhD student from Victoria University of Wellington,New ZealandTimothy Jones.

Abstract: Adding object branding to an existing structural system integrates nominal and structural typing without excessively complicating the type system. We have implemented brand objects to explicitly type objects, using existing features of the structurally typed language Grace, along with a static type checker which treats the brands as nominal types. We intend to extend this approach to arbitrary, gradually enforced contracts and investigate the language features necessary for their implementation.

Bio:

Grace

I am currently involved in the Grace programming language project, through the Hopper implementation of the language, as well as formalising the language’s semantics. You can find an online editor for Grace at grace/editor, and the Gribber music system (a Grace plugin for Gibber) at grace/gibber.

Haskell

I’m also an avid Haskeller. My most successful contribution is the http-media library, part of a larger attempt to simplify REST resources in the Snap web framework. I’ve tutored the Programming Languages (Haskell and Prolog) course at VUW for several years, as well as taught the Advanced Programming Languages course.

Event details

  • When: 23rd July 2015 14:00 - 15:00
  • Where: Cole 1.04
  • Format: Seminar

ELT Science Summer School @ Computer Science

High school pupils from across the world are given a taste of what studying computer science at a Scottish university involves. Pupils are guided through fun, hands-on programming activities. These sessions are part of the ELT Science Summer School

Event details

  • When: 3rd August 2015 14:00 - 7th August 2015 16:00
  • Where: Cole 0.35 - Jack Cole CS Student Lab
  • Format: Summer School

LIFT OFF to Success

This session is run as part of the LIFT OFF to Success (LO2S) programme and is aimed at giving school pupils an insight into what it would be like to study computer science at university.

During the session, pupils take part in a practical programming exercise, where they learn about software development techniques and gain experience writing and developing code.

Event details

  • When: 27th July 2015 15:00 - 17:00
  • Where: Cole 0.35 - Jack Cole CS Student Lab
  • Format: Summer School

LIFT OFF to Success

This session is run as part of the LIFT OFF to Success (LO2S) programme and is aimed at giving school pupils an insight into what it would be like to study computer science at university.

During the session, pupils take part in a practical programming exercise, where they learn about software development techniques and gain experience writing and developing code.

Event details

  • When: 6th July 2015 15:00 - 17:00
  • Where: Cole 0.35 - Jack Cole CS Student Lab
  • Format: Summer School

International Summer Programme @ Computer Science

High school pupils from across the world are given a taste of what studying computer science at a Scottish university involves. Pupils attend lectures in the morning and take part in fun, hands-on activities in the afternoon. These sessions are part of the Science Summer Programme at St Andrews.

Event details

  • When: 30th June 2015 09:30 - 1st July 2015 18:30
  • Where: Cole Bldg
  • Format: Summer School

June 22nd: Internet at 100 Symposium with Dr Vint Cerf

On Monday June 22nd we are organising a one day symposium entitled “The Internet at 100”. This event features a host of distinguished speakers and culminates with a talk by Dr Cerf, one of the “fathers of the internet” and now vice-president and chief internet evangelist at Google.

Internet at 100

The Internet is, of course, not 100 years old. It’s not even quite 50 years old but the talks at this event will look at its history, its current state and forward to what it might look like at 100. We are looking forward to a day of inspiring talks, time to network and socialise but also time to look back while we consider what might be for the Internet.

The full website for this event can be found here: http://www.cs.st-andrews.ac.uk/i@100/

Event details

  • When: 22nd June 2015 09:45 - 20:45
  • Where: N Haugh, St Andrews
  • Format: Symposium

School Seminar: Efficient Privacy Preserving Data Mining via Secure Computation by Dr Changyu Dong

The School of Computer Science welcomes the opportunity to hear from Dr Changyu Dong, from the Department of Computer and Information Sciences University of Strathclyde, who will be delivering his talk on ‘Efficient Privacy Preserving Data Mining via Secure Computation’. Chanyu Dong

Abstract: Loosely speaking, secure computation allows parties to compute a function jointly while keeping their inputs private. Participants of secure computation learns only the output of the function, but nothing about the others’ private inputs. An oblivious application of secure computation is privacy preserving data mining. Imagine a scenario in which Amazon and Facebook want to find correlations between their users’ activities. With current technology, this cannot happen because none of the companies is willing to disclose its own data to the other. Secure computation can remove this barrier because data remains private during  and after the computation. In the past, secure computation is considered to be only theoretical because of its inefficiency. Recently much effort has been made to make secure computation practical. In this talk, I will present some recent advancements in this area. I will first introduce Private Set Intersection (PSI), an important secure computation primitive, and how it can be realised efficiently. I will show how PSI can be applied to linking record in databases (private record linkage) and finding association rules. I will then show how fully homomorphic encryption, an emerging cryptographic technology, can be used in building efficient secure computation protocols, and in turn be used for privacy preserving data mining.

Bio: Changyu Dong is a lecturer at the University of Strathclyde. He obtained his PhD from the Department of Computing at Imperial College London in 2009. His research is in cyber security, specifically in applied cryptography. Since 2006, He has published 27 research papers in major journals and international conferences, including the most prestigious venues in security such as ACM CCS, ESORICS and Journal of Computer Security. He has served on and chaired program committees for many conferences and workshops, and is a regular invited reviewer for top international journals including Journal of Computer Security, IEEE Transactions on Dependable and Secure Computing and IEEE Transactions on Information Forensics and Security. Shortly after moving to Strathclyde in 2011, he started his research on efficient secure computation. This research direction has led to some breakthroughs in secure computing for Private Set Intersection and Private Information Retrieval protocols, which he applied in domains such as data mining.

Event details

  • When: 1st July 2015 14:00 - 15:00
  • Where: Cole 1.33a
  • Series: School Seminar Series
  • Format: Seminar

Codebase Open day

CodeBase Open Day

Friday 5 June 2015 – Friday 5 June 2015
13:00 – 16:00
Edinburgh

The CodeBase Open Day gives a chance for students, professionals and would-be developers and designers to learn more about amazing companies housed within the UK’s largest technology incubator.

It’s a chance to roam our corridors and drop in on companies for an informal chat and find out more about what they do .

Come and learn more about the 60 startups based within the building and explore what the startup scene has to offer. There will also be series of drop-in talks so those who attend get the opportunity to hear, first hand, what it’s like to work for some of the most exciting and interesting tech companies in Edinburgh.

Further details and ticket information: https://www.eventbrite.co.uk/e/codebase-open-day-tickets-16594864687

Event details

  • When: 5th June 2015 13:00 - 16:00