categories - Category Theory list
 help / color / mirror / Atom feed
* Special Volume of MSCS In Honor Of Phil Scott
@ 2024-06-10 20:59 Richard Blute
  0 siblings, 0 replies; only message in thread
From: Richard Blute @ 2024-06-10 20:59 UTC (permalink / raw)
  To: Categories mailing list

[-- 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<>
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 (
Thomas Ehrhard (
Richard Garner (
Simon Henry (

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<>   |   Leave group<>   |   Learn more about Microsoft 365 Groups<>

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

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2024-06-10 21:04 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-06-10 20:59 Special Volume of MSCS In Honor Of Phil Scott Richard Blute

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).