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.

The registration fee includes

• Admission to all sessions
• Conference materials.
• Coffee breaks, lunch, and dinner as mentioned on the conference program.
• Conference banquet
• Accommodation from Sunday 2 July to Friday 7 July

Contact for registration inquiries

For general information concerning registration process and payments, please contact:
Lurdes Catalino
Email: lurdes.catalino@abreu.pt
Phone: (+351) 22 204 3570 (call to Portugal national fixed network)

Contact for other inquiries

Email: conftca2023@gmail.com