(New) 29 June - 3 July 2026, Logic Colloquium 2026 – European Summer Meeting of the ASL, Swansea [UK]
The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic. It 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.
The programme committee invites proposals for contributed talks. These can be on published or unpublished work, as well as work in progress. The abstracts of accepted talks will be published the Bulletin of Symbolic Logic, subject to one of the authors of the abstract being a member of ASL. Contributed abstracts should be submitted to Shannon Miller at <asl at uconn.edu> .