Logic List Mailing Archive

CfP: SI of Mathematical Structures In Computer Science in honour of Phil Scott, deadline: 31 March 2025

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://mc.manuscriptcentral.com/mscs

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@uottawa.ca)
Thomas Ehrhard (ehrhard@irif.fr)
Richard Garner (richard.garner@mq.edu.au) Simon Henry (shenry2@uottawa.ca)

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php