The Logic Colloquium 2026 is the annual European summer meeting of the Association of Symbolic Logic (ASL) that will be held in conjunction with the British Logic Colloquium 2026.
The conference is hosted by the Logicians in the newly founded Robert Recorde Centre for Fundamental Studies and the Theoretical Computer Science group at Swansea. Robert Recorde was a Welsh Mathematician and Philosopher who invented the = sign.
Topics & Focus Areas
Computability in AnalysisPure and Applied Proof TheoryHistory of Logic and ComputingModel TheorySet TheoryType Theory
Official Conference Website
Visit the official website of Logic Colloquium 2026 for registration details, submission deadlines, and the full programme.
Related Jobs
Ottignies-Louvain-la-Neuve, Région Wallonne9
An academic in Mathematics/ Statistics/ Data Science applied to Economics
Université Catholique de Louvain
Ottignies-Louvain-la-Neuve, Région Wallonne5
A full-time academic position in Mathematics/ Statistics/ Data Science applied to Economics
Université Catholique de Louvain
Greater London, England2
Lecturer/Senior Lecturer in Actuarial Science
Queen Mary University of London
West Lafayette, Indiana2
Assistant or Associate Professor of Statistics in Sports Analytics
Purdue University