Logic List Mailing Archive

CfP Festschrift for John N. Crossley (Log. J. IGPL), Deadline: 1 Jun 2022

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 
university 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@janespurr.net), the executive editor of the journal, 
with a copy to Guillermo Badia (the guest editor, g.badia@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.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam