Next Wednesday P. Ventura (FaMAF-UNC) will talk about his PhD plan.
Título: Algoritmos para chequeo de definibilidad en una clase finita de estructuras finitas
Resumen: Se contarán algunos algoritmos basados en los lemas semánticos presentados por Campercholi y Vaggione para estructuras finitas, en particular para formulas abiertas.
(source)