Please note that this newsitem has been archived, and may contain outdated information or links.
17 May 2024, FOAM Seminar, Emir Demirovic
Speaker: Emir Demirovic (TU Delft)
Title: Decision trees in a formal world: machine learning (with constraints), controller verification, and unsatisfiability proofs for graph problems
Date: Friday 17 May 2024
Time: 15:00-16:15
Location: Room L3.33, ILLC Lab42, Science Park 900, Amsterdam
For more information, see
https://events.illc.uva.nl/FOAM/posts/talk14/
or contact Gregor Behnke at g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.