Professor Alan Mycroft is well-known for his many pioneering contributions to programming language theory and applications, both design and implementation, ranging from compilation and optimization techniques and type systems, to parallel, concurrent and dataflow programming, but also for his work as a co-founder of the Raspberry Pi Foundation. To those who worked with Alan, he is renowned for his unstoppable enthusiasm about any challenging problem related to programming and computers, making him an inspiring teacher, mentor, and collaborator.
To celebrate Alan’s retirement, there will be a hybrid event in the early winter (1st December) with talks given from those contributing submissions both of a technical and personal nature. In early 2024 we will publish a Festschrift to mark the occasion (details below).
We solicit contributions to a festschrift celebrating the career and works of Professor Alan Mycroft on the occasion of his retirement from the University of Cambridge. The festschrift will be published as an issue of the Springer LNCS series.
Alan is well-known for his many pioneering contributions to programming language theory and applications, both design and implementation, ranging from abstract interpretation and static analysis; to compilation, optimization techniques, and type systems; to parallel, concurrent and dataflow programming, but also for his work as a co-founder of the Raspberry Pi Foundation and as the co-creator of the Norcroft C compiler. To those who have worked with Alan, he is renowned for his unstoppable enthusiasm about any challenging problem related to programming and computers, making him an inspiring teacher, mentor, and collaborator.
To celebrate Alan’s retirement, we solicit original contributions in all areas of programming language research, including clever hacker tricks, beautiful mathematical theories, practically useful programming techniques, novel language design ideas, and visions for the future of education and programming technology. Just as Alan does not fit any pre-existing well-defined box, we invite contributions outside the established boxes that cover a wide range of areas and use a wide range of styles. The criteria are academic interest, novelty, scientific quality, and a connection to Alan’s own work.
Submissions should follow the LNCS formatting guidelines and should be at least 6 pages, and not typically exceeding 25 pages. All submissions will be reviewed by at least three expert reviewers that will be appointed by the special issue editors, drawn from within the community.
Any questions please contact the festschrift editors Dominic Orchard d.a.orchard@kent.ac.uk, Tomas Petricek tomas@tomasp.net, Jeremy Singer jeremy.singer@glasgow.ac.uk.
The event will be on Friday the 1st of December in FW26 LT2 of the William Gates Building (Computer Laboratory), University of Cambridge.
Registration. Please register by the 10th November if you intend to join the event. If you did not register in time, do not worry, please just come (but be mindful that we should give priority for lunch + refreshements to those who signed up in time).
10:35-11:00 - Coffee
15:00-15:20 - (20 min) Programming systems deserve a theory too! (Tomas Petricek, Joel Jakubovic)