Buenas tardes,
He verificado en la portada que serán presenciales.
Quería consultar si se requiere tener un equipo o laptop propio, o si se utilizaran las salas de máquinas. Además en este último caso si se anunciará de antemano la sala a utilizar (esto debido a eventuales diferencias que pueda haber por ejemplo respecto a la versión de Coq y demás herramientas a utilizar).
Saludos.