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.
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.
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 Tarlecki | About Don |
| Claudio Russo | Extending ML: Fun with Modules |
| 15:30 - 16:00 | Coffee break |
| 16:00 - 17:30 | Session 4 |
| Lennart Beringer | From proof carrying code to deep specifications |
| Bob Atkey | Modular Datalog |
| Martin Wirsing | Specification Meets Program Transformation: How International Collaboration Made Science |
| Closing remarks | |
| 19:30 | Dinner |
Video contributions will be played throughout the day.
Please contact our administration staff with any queries.
The workshop is supported by the Laboratory for Foundations of Computer Science.
