`FoLLI Affiliated Meeting @ CLMPS, August 4, 2015`

Organizers

Michael Moortgat, Utrecht University

Philip Scott, University of Ottawa

Confirmed speakers

Steve Awodey, Carnegie Mellon University

Wojciech Buszkowski, Adam Mickiewicz University, Poznan

Claudia Casadio, University of Chieti

Robin Cockett, University of Calgary

Bob Coecke, University of Oxford

Kosta Dosen, Mathematical Institute, Serbian Academy of Sciences and Arts

Michael Moortgat, Utrecht University

Glyn Morrill, Universitat Politecnica de Catalunya

Mehrnoosh Sadrzadeh, Queen Mary University of London

Philip Scott, University of Ottawa

Aim and scope

Joachim Lambek (Dec 5, 1922 – June 23, 2014), for more than 60 years, has been a profoundly inspirational mathematician, with groundbreaking contributions to algebra, category theory, linguistics, theoretical physics, logic and proof theory. As part of the 15th Congress of Logic, Methodology and Philosophy of Science (CLMPS 2015), FoLLI organizes an Affiliated Meeting on the legacy of Joachim Lambek. Talks at the meeting will present current research in the various areas where the impact of Lambek’s work can be felt, and highlight some remarkable convergences of methods and techniques across these fields, linking category theory, deductive systems, and models of computation.

The meeting consists of two parts.

I. Foundations: logic, mathematics

The first part of the meeting is devoted to the impact of Jim Lambek’s foundational ideas on category theory, algebra, logic, proof theory and the theory of computation on current work in these areas.

II. Applications: physics, linguistics

In his latest book, From Rules of Grammar to Laws of Nature (2014), Jim Lambek’s interests in the application of mathematical ideas range from the grammatical analysis of natural languages to the use of quaternions in special relativistic quantum mechanics. The second part of the meeting is devoted to current work on resource-logical themes in theoretical physics and formal linguistics, and the connections between these two disciplines via shared categorical structures.