Congreso: Algebraic computing, soft computing, and program verification
El objetivo del congreso Algebraic computing, soft computing, and program verification es relacionar distintos grupos que usan métodos matemáticos en la construcción o verificación de programas.
El congreso se celebrará en Castro Urdiales del 21 23 de abril.