Trabajo de Lógica Computacional en Innsbruck
El Grupo de Lógica Computacional de la Universidad de Innsbruck (Austria) ha anunciado la oferta de una plaza para estudiante de doctorado.
El trabajo se realizará dentro del proyecto Improving Certifiers for Termination Proofs cuyo objetivo es el desarrollo de técnicas de terminación en Isabelle/HOL