<div dir="ltr"><p>Call for papers: Festschrift for Prof. Alan Mycroft</p>
<p><a href="https://urldefense.com/v3/__https://dorchard.github.io/mycroftfest__;!!IBzWLUs!REipEjJ3LNuuE9c-CFVisCEFAYn913hGYBzibjUNIyL2bdTSkmN-BzHflmrnF70RVhsTyF2p6hn_zFPeJSiqA_nsT8Hiec3lloE$">https://dorchard.github.io/mycroftfest</a><br>
Submission deadline: 7th March 2024<br>

</p>
<p>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.<br>
</p>
<p>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.</p>
<p>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. <br>
</p>
<p>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.<br>
</p>
<p>Any questions, please contact the festschrift editors Dominic Orchard
 <<a href="mailto:d.a.orchard@kent.ac.uk">d.a.orchard@kent.ac.uk</a>>, Tomas Petricek 
<<a href="mailto:tomas@tomasp.net">tomas@tomasp.net</a>>, Jeremy Singer 
<<a href="mailto:jeremy.singer@glasgow.ac.uk">jeremy.singer@glasgow.ac.uk</a>>.<br>
</p>
<p>Submission details: <a href="https://urldefense.com/v3/__https://dorchard.github.io/mycroftfest__;!!IBzWLUs!REipEjJ3LNuuE9c-CFVisCEFAYn913hGYBzibjUNIyL2bdTSkmN-BzHflmrnF70RVhsTyF2p6hn_zFPeJSiqA_nsT8Hiec3lloE$">https://dorchard.github.io/mycroftfest</a><br>
Deadline: 7th March 2024 (AoE)<br>
Notification: 28th June 2024 (approximately)</p></div>