JuliaCon 2022 (Times are UTC)
Se han guardado sus preferencias de configuración regional. Nos gusta pensar que tenemos un excelente soporte para el español en Pretalx, pero si encuentra problemas o errores, ¡contáctenos!
"Automated Geometric Theorem Proving in Julia"
Las evaluaciones son herramientas valiosas para que los ponentes mejoren su contenido y su presentación. ¡Por pequeña que sea la evaluación, ésta puede ser utíl! Favor de tomar el tiempo necesario para comunicar una retroalimentación constructiva.
Gracias, en conjunto con nuestros ponentes, ¡apreciamos tu retroalimentación!