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 -
View All JobsEssential
Essential
EssentialEssential
EssentialEssential
Essential
Essential
Essential
Essential
Professor, Mathematics (Temporary)
Lecturer or Senior Lecturer in Data Science
Professor [Open Rank]
Assistant Professor of Mathematical Sciences
Assistant Professor of Mathematical Sciences
Lecturer - Pure Mathematics
Senior Lecturer/Lecturer in Mathematics Education
Research Assistant Professor in Optimization and Operations Research / Statistics and Data Science / Financial Mathematics / Engineering and Computational Mathematics / Mathematical Science (several posts)
Teaching Assistant (Quantitative Reasoning with Data)
Postdoctoral Associate in Mathematical Analysis and Partial Differential Equations (PDEs)
Related Conferences in Mathematics
The 9th International Conference on Computational Harmonic Analysis 2026
–
Nashville, TN, United States
