Conferences  >  Mathematics  >  Algebra  >  Portugal

Select a location
1
TCA2023 — Conference on Theoretical and Computational Algebra 2023
02 Jul 2023 - 07 Jul 2023 • Pocinho, in the Douro valley, Portugal
Abstract:
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
Event listing ID:
1551006


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 30 March 2023