International Symposium on Symbolic Computation in Software Science 2024

Descripción

Título: Simposio Internacional sobre Cálculo Simbólico en Ciencia del Software 2024

Descripción: El 10º Simposio Internacional sobre Cálculo Simbólico en Ciencia del Software está destinado a liderar avances tanto en aspectos teóricos como prácticos del cálculo simbólico dentro del ámbito de la ciencia del software, poniendo un énfasis significativo en la integración de metodologías modernas de inteligencia artificial. Este distinguido evento invita a académicos, profesionales e investigadores a profundizar en una variedad de temas, tales como síntesis de programas, razonamiento automatizado, verificación formal y geometría computacional, con el objetivo de fomentar desarrollos innovadores en estas áreas.

Categoría: Japón

Etiquetas: TI & Tecnología, Inteligencia Artificial, Ciencia, Software, Teórico