[TYPES/announce] Special Volume of MSCS In Honor Of Phil Scott

[Thomas Ehrhard]

Last year, our dear friend and colleague Phil Scott (1947-2023) passed 
away.  The journal Mathematical Structures In Computer Science, where 
Phil was an Associate Editor, is organizing a special volume in his honour.

Phil made seminal contributions to Logic and Category Theory, and played 
a pivotal role in the creation of the field of categorical proof theory. 
His book with Jim Lambek  "Introduction To Higher-Order Categorical 
Logic"  is still the standard text on the subject. Phil's research went 
well beyond these initial works: he made major contributions to 
theoretical computer science, linear logic, inverse semigroup theory and 
recursion theory.  He was always generous with his time, particularly 
with young researchers. Those of us who knew him personally will always 
think of him as a mentor, a friend and a genuinely kind soul.

Authors are invited to submit their manuscripts in electronic form. 
Please use the usual submission process to be found at

https://urldefense.com/v3/__https://mc.manuscriptcentral.com/mscs__;!!IBzWLUs!S3wlpoa_pIm30VOECrDdjpko_p-DoZ1te1_rxKmnSz0RsbyTal-LFSa9T89qqvs1loF3uTNZ9lMceQkNeALMI4YNEkMa5Rk$ 

Be sure to click on "Is this a special issue?" and then there will be a 
rolling menu in which they will choose the Phil Scott issue. Then choose 
one of the 4 editors.

The deadline for submission of papers is March 31, 2025.

Feel free to contact one of the editors below if there are any questions

The Guest Editors

Richard Blute (rblute at uottawa.ca)
Thomas Ehrhard (ehrhard at irif.fr)
Richard Garner (richard.garner at mq.edu.au)
Simon Henry (shenry2 at uottawa.ca)