Celebration for Don Sannella's 60th birthday

Sunday 23 April 2017

A special workshop and dinner is being organised in honour of Don Sannella's 60th Birthday. It will be held at ETAPS 2017, Uppsala, recognising Don's contribution as one of the founders of the conference series.

Special issue

We are also coordinating a special issue of Theoretical Computer Science. Submission is by invitation only, but if you would like to contribute and have not received an invite please contact us.

The deadlines for the special issue are as follows:

Submission: 7th July 2017
Notification of acceptance: 15th September 2017
Camera ready version due: 15th October 2017
Online publication: 7th December 2017 (Don's 61st birthday)

The papers should not exceed 10 pages in Elsevier's usual style for TCS (templates can be downloaded from the TCS website). Please contact us as soon as possible if you plan to provide fewer pages or need more space, or if you have a pressing need for more time.

You should be able to upload submissions to the TCS website directly; we will send out details about this soon.

Confirmed speakers

  • Andrzej Tarlecki, University of Warsaw, Poland
    About Don
  • Bob Atkey, University of Strathclyde, UK
    Modular Datalog
  • Lennart Beringer, Princeton University, USA
    From proof carrying code to deep specifications
  • Rolf Hennicker, Ludwig-Maximilians-Universität München, Germany
    Observations on Observational Abstraction
  • Stefan Kahrs, University of Kent, UK
    Consistency in Rewriting
  • Peter Mosses, Swansea University, UK
    CoFI with Don
  • Fernando Orejas, Universitat Politècnica de Catalunya, Spain
    Institutions for Logics of Patterns
  • Claudio Russo, Microsoft Research, UK
    Extending ML: Fun with Modules
  • Martin Wirsing, Ludwig-Maximilians-Universität München, Germany
    Specification Meets Program Transformation: How International Collaboration Made Science

There will also be some video contributions from other colleagues and friends.


Please use the normal ETAPS registration process to register for the workshop.
We will hold a dinner in the evening at the Peppar Peppar restaurant, which has a separate registration page here.


07:30 - 08:30 Registrations
09:00 - 10:00 Session 1
Introduction by David Aspinall
Fernando Orejas Institutions for Logics of Patterns
10:00 - 10:30 Coffee break
10:30 - 12:30 Session 2
Rolf Hennicker Observations on Observational Abstraction
Peter Mosses CoFI with Don
Stefan Kahrs Consistency in Rewriting
12:30 - 14:00 Lunch
14:00 - 15:30 Session 3
Andrzej TarleckiAbout Don
Claudio RussoExtending ML: Fun with Modules
15:30 - 16:00 Coffee break
16:00 - 17:30 Session 4
Lennart BeringerFrom proof carrying code to deep specifications
Bob Atkey Modular Datalog
Martin WirsingSpecification Meets Program Transformation: How International Collaboration Made Science
Closing remarks
19:30 Dinner

Video contributions will be played throughout the day.


  • David Aspinall
  • Brian Campbell
  • Martin Hofmann
  • Ian Stark
  • Perdita Stevens

Please contact our administration staff with any queries.
The workshop is supported by the Laboratory for Foundations of Computer Science.