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
Phone: (+351) 22 204 3570 (call to Portugal national fixed network)

Contact for other inquiries


Funded by national funds through the FCT - Fundação para a Ciência e a Tecnologia, I.P., under the scope of the projects UIDB/00297/2020 and UIDP/00297/2020 (NovaMath - Center for Mathematics and Applications).

[Banner adapted from Nelso Silva, "CP 1455 (50845194571).jpg", licence CC-BY-SA-2.0.]