Meetings/Workshops on Automated Theorem Proving in France

Select a location
1
ISSAC 2022 — 47th International Symposium on Symbolic and Algebraic Computation
04 Jul 2022 - 07 Jul 2022 • Lille, France
Abstract:
The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier conference for research in symbolic computation and computer algebra. ISSAC 2022 will be the 47th meeting in the series, which started in 1966 and has been held annually since 1981. The conference presents a range of invited speakers, tutorials, poster sessions, software demonstrations and vendor exhibits with a center-piece of contributed research papers.
Topics:
All areas of computer algebra and symbolic computation are of interest at ISSAC 2022.
Event listing ID:
1449241
2
AITP 2022 — Conference on Artificial Intelligence and Theorem Proving
04 Sep 2022 - 09 Sep 2022 • Aussois, France
Abstract:
The Conference on Artificial Intelligence and Theorem Proving (AITP) is a yearly meeting where researchers in the areas of artificial intelligence, automated reasoning, machine learning, computer-understandable mathematics and proof assistants come to discuss how to progress with automation of reasoning, mathematics and science.
Event listing ID:
1449253


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!

Last updated: 15 October 2021