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.

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.