[TYPES/announce] Call for papers: Festschrift for Prof. Alan Mycroft

[Dominic Orchard]

Call for papers: Festschrift for Prof. Alan Mycroft

https://urldefense.com/v3/__https://dorchard.github.io/mycroftfest__;!!IBzWLUs!REipEjJ3LNuuE9c-CFVisCEFAYn913hGYBzibjUNIyL2bdTSkmN-BzHflmrnF70RVhsTyF2p6hn_zFPeJSiqA_nsT8Hiec3lloE$ 
Submission deadline: 7th March 2024

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.

The festschrift follows a symposium held at the University of Cambridge in
December 2023 where a number of talks were contributed by Alan's
collaborators, colleagues, and former students. This call for papers is an
open call; you do not need to have had a talk at the symposium or a paper
in the informal proceedings of the symposium. Please share with anyone you
think would be interested or who has had a connection with Alan and/or his
work in the past.

Any questions, please contact the festschrift editors Dominic Orchard <
d.a.orchard at kent.ac.uk>, Tomas Petricek <tomas at tomasp.net>, Jeremy Singer <
jeremy.singer at glasgow.ac.uk>.

Submission details: https://urldefense.com/v3/__https://dorchard.github.io/mycroftfest__;!!IBzWLUs!REipEjJ3LNuuE9c-CFVisCEFAYn913hGYBzibjUNIyL2bdTSkmN-BzHflmrnF70RVhsTyF2p6hn_zFPeJSiqA_nsT8Hiec3lloE$ 
Deadline: 7th March 2024 (AoE)
Notification: 28th June 2024 (approximately)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20231206/86fad885/attachment.htm>