Skip to content Search
Search our website:

Carsten Fuhs invited speaker at Satisfiability Modulo Theories workshop

Posted: Tuesday, 28 June 2016 12:00

Carsten Fuhs has been invited to speak at the 14th International Workshop on Satisfiability Modulo Theories (SMT '16) held on 1-2 July in Coimbra, Portugal. He will give an overview on "SMT Techniques and Solvers in Automated Termination Analysis".