28 - 30 Aug 2024
International Symposium on Symbolic Computation in Software Science 2024
Horarios
09:00 AM-06:00 PM (expected)
Tarifas de Entrada
Check Official Website
Participación estimada
Delegates
Tipo de evento
Conference
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