Data: 30 de julho, terça-feira
Horário: 11 horas
Local: Sala 2077, do ICEx
Título: The Hows and Whys of Higher-Order SMT
Resumo: SMT solving for higher order logic has been around for a few years and many challenges remain to tackle. In this talk, I will present an assessment of the current state of research in higher-order SMT and focus on the challenge of quantifier instantiation, following a conflict-based approach inspired from first-order logic.
Bio: Sophie Tourret é pesquisadora permanente no Inria-Nancy, da França, e pesquisadora associada ao grupo de Automação de Lógica do MPII na Alemanha.
(https://www.mpi-inf.mpg.de/departments/automation-of-logic/people/sophie-tourret)
