UniAgendaStay curious

Topics Agenda In numbers Saved NL

UniAgendaStay curious

Not-for-profit, out of a love of science.

Agenda In numbers Topics Sources About Privacy Cookies Terms Contact Unsubscribe

© 2026 UniAgenda

We only remember your cookie choice, so we don't have to ask you every time. Saved events and filters stay in this browser. Statistics and marketing only switch on if you allow them.

UniAgenda TU DelftCheckable, Stronger Constraint Solvers: Certification and Clausal-Arithmetic Unification

Back to the agenda

9Dec17:30

PhD defence TU Delft Delft

Checkable, Stronger Constraint Solvers: Certification and Clausal-Arithmetic Unification

PhD defence of M.L. Flippo

Aula · Delft

Official title: Doctoral defence M.L. Flippo

Delft University of Technology

More information at the universityDirections