Konferenzen  >  Mathematik  >  Algebra  >  Portugal

Wählen Sie ein Land aus
1
TCA2023 — Conference on Theoretical and Computational Algebra 2023
02. Jul 2023 - 07. Jul 2023 • Pocinho, in the Douro valley, Portugal
Zusammenfassung:
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.
Themen:
algebra, automated theorem proving, computational algebra
Eintrags-ID:
1551017


Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Kein Tracking | Keine Pop-ups | Keine Animationen
Stand vom 30. März 2023