This event is convened by Dr Guillermo Badia (University of Queensland) to mark Professor John N. Crossley's 85th birthday. It will consist of a series of logic related talks delivered by students, collaborators and friends of Prof Crossley. Throughout his career, John Crossley made a deep mark in mathematical logic both as a teacher and a scientist. He started out as the first university lecturer in mathematical logic at the University of Oxford but a few years later moved to Monash University (Australia) and has been there ever since. 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). Several of his doctoral students 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.

There will be a special issue of the Logic Journal of the IGPL in honour of John Crossley with contributions from various students, collaborators and friends.