TCA2023 — Conference on Theoretical and Computational Algebra 2023

The Conference on Theoretical and Computational Algebra 2023 will be held at the High-Performance Rowing Centre (Centro de Alto Rendimento de Remo), in Pocinho, in the Douro valley, Portugal, from Sunday 2 to Friday 7 July 2023. (Sunday 2 July is the arrival day, with only a welcome session and check-in to the venue late in the day; talks will be from Monday 3 to Thursday 6 July; departure day is Friday 7 July.) The goal of this conference is to bring together experts in both Algebra and Augmented Intelligence Theorem Proving (AgITP) with the aim of creating a foundation for interaction and mutual support between these two areas. Additionally, the conference will offer hands-on training sessions on some new AgITP tools. Each year, the conference will pay tribute to a distinguished mathematician. This year, we are honoured to celebrate the scientific life and achievements of Gracinda Gomes.

Topics: algebra, automated theorem proving, computational algebra