CFP: Festchrift for John N. Crossley (Logic Journal of the IGPL, Deadline 1 June 2022)

[Guillermo Badia]

The Logic Journal of the IGPL will publish a special issue in honour of
Prof John N. Crossley on the occasion of his 85th birthday.   The volume
 will contain  invited  contributions by students and collaborators of Prof
Crossley in addition to any contributed submission that is found suitable
after the appropriate review process. The list of invited authors includes
Anil Nerode, Wilfrid Hodges, John Bell, Rod Downey, Rohit Parikh, Martin
Wirsing, Lloyd Humberstone, Geoff Sutcliffe and Pimpen Vejjajiva. The issue
will welcome submissions in the areas of history of logic, model theory,
recursion theory, set theory, modal logic, constraint
logic programming, and program extraction, particularly if they are related
to Crossley’s work.

John Crossley started his career at the University of Oxford as the first u
niversity lecturer in mathematical logic in that institution, a
position created with the help of Prof Sir Michael Dummett. Some
years later, Crossley moved to Monash University (Australia) to become a
Professor of Pure Mathematics (and later, Logic).  He is the main author
of Constructive Order Types (North-Holland, 1969) and has co-authored
various books, including Combinatorial Functors (Springer, 1974), Adapting
proofs-as-programs: The Curry-Howard Protocol (Springer, 2005) and What is
mathematical logic? (OUP, 1972). The latter is a very celebrated text and
the first introduction to mathematical logic produced in Australia. He was

editor of the Journal of the Australian Mathematical Societyand he has also
edited or co-edited half a dozen logic conference proceedings. He was the
chair of the Committee for Logic in Australasia of the Association
for Symbolic Logic for 16 years, a former president of the
Australasian Association for Logic, and one of the creators of the Asian
Logic Conference. John Crossley has had several doctoral students who have
gone to become very prominent logicians, most famously, Peter Aczel,
Wilfrid Hodges, John Bell and Rod Downey. According to the Math Genealogy
Project, Crossley has 216 academic descendants, more than any other
logician in Australia or New Zealand.

 The submission deadline will be 1 June 2022.  Please send your manuscript
to Jane Spurr (jane at janespurr.net), the executive editor of the journal,
with a copy to Guillermo Badia (the guest editor, g.badia at uq.edu.au). The
subject line of the e-mail should be “Submission for special issue on JNC
of the Logic Journal of the IGPL”. The journal submission requirements can
be found at: https://academic.oup.com/jigpal/pages/General_Instructions.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20211203/70dcd5e5/attachment-0001.html>