28 - 30 Aug 2024
International Symposium on Symbolic Computation in Software Science 2024
Horaires
09:00 AM-06:00 PM (expected)
Frais d'entrée
Check Official Website
Participation estimée
Delegates
Type d'événement
Conference
Description
Titre : Symposium International sur le Calcul Symbolique dans la Science des Logiciels 2024
Description : Le 10e Symposium International sur le Calcul Symbolique dans la Science des Logiciels est prêt à innover dans les aspects théoriques et pratiques du calcul symbolique au sein de la science des logiciels, en mettant un accent particulier sur l'intégration des méthodologies modernes d'intelligence artificielle. Cet événement distingué invite les universitaires, professionnels et chercheurs à explorer une gamme de sujets, tels que la synthèse de programmes, le raisonnement automatisé, la vérification formelle et la géométrie computationnelle, visant à encourager des développements révolutionnaires dans ces domaines.
Catégorie : Japon
Mots-clés : TI & Technologie, Intelligence Artificielle, Science, Logiciels, Théorique