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.
|07:30 - 08:30
|09:00 - 10:00
|Introduction by David Aspinall
|Institutions for Logics of Patterns
|10:00 - 10:30
|10:30 - 12:30
|Observations on Observational Abstraction
|CoFI with Don
|Consistency in Rewriting
|12:30 - 14:00
|14:00 - 15:30
|Extending ML: Fun with Modules
|15:30 - 16:00
|16:00 - 17:30
|From proof carrying code to deep specifications
|Specification Meets Program Transformation: How International Collaboration Made Science
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.