Conférences - Démonstration automatique de théorèmes - France

Sélecionner un pays
1
ISSAC 2022 — 47th International Symposium on Symbolic and Algebraic Computation
04 jul 2022 - 07 jul 2022 • Lille, France
Résumé:
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.
Sujets:
All areas of computer algebra and symbolic computation are of interest at ISSAC 2022.
Identifiant de l'évènement:
1449252
Sujets apparentés:
2
AITP 2022 — Conference on Artificial Intelligence and Theorem Proving
04 sep 2022 - 09 sep 2022 • Aussois, France
Résumé:
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.
Identifiant de l'évènement:
1449275


Conference-Service.com met à la disposition de ses visiteurs des listes de conférences et réunions dans le domaine scientifique. Ces listes sont publiées pour le bénéfice des personnes qui cherchent une conférence, mais aussi, bien sûr, pour celui des organisateurs. Noter que, malgré tout le soin que nous apportons à la vérification des données entrées dans nos listes, nous ne pouvons accepter de responsabilité en ce qui concerne leur exactitude ou étendue. Pensez donc à vérifier les informations présentées avec les organisateurs de la conférence ou de la réunion avant de vous engager à y participer!

Y'a pas de suivi | Y'a pas de pop-ups | Y'a pas d'animations
Dernière mise à jour: 15 Octobre 2021