UK5 days

Logic Colloquium 2026

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.

About This Event

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.

Visit Website

Related Conferences in Mathematics

Southern California Number Theory Day

San Diego, CA, United States

Arithmetic Statistics

Montreal, Canada

Southern Regional Number Theory Conference 2026

Baton Rouge, LA, USA

2026 Spring Western Sectional Meeting

Boise, ID, United States

The Ubiquity of Commutative Algebra

Marseille, France

THE 2026 GAINESVILLE INTERNATIONAL NUMBER THEORY CONFERENCE (ALLADI70)

Gainesville, FL, United States