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.
There will also be some video contributions from other colleagues and friends.
|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|
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.