Palestra – The Hows and Whys of Higher-Order SMT
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 […]
Palestra – The Hows and Whys of Higher-Order SMT Read More »
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