The Loria is proud to announce a colloquium presentation by Laura Kovács on Induction and synthesis in saturation-based theorem proving. Laura Kovács is a professor at the Faculty of Informatics […]