Special Volume of MSCS In Honor Of Phil Scott

Special Volume of MSCS In Honor Of Phil Scott

[Richard Blute]

[-- Attachment #1: Type: text/plain, Size: 2200 bytes --]



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<https://url.au.m.mimecastprotect.com/s/G2qjCGv0Z6fDRwPzfKJsb9?domain=mc.manuscriptcentral.com>
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)



You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 5993 bytes --]