UniAgendaBlijf nieuwsgierig

Onderwerpen Agenda In cijfers Bewaard EN

UniAgendaBlijf nieuwsgierig

Zonder winstoogmerk, uit liefde voor wetenschap.

Agenda In cijfers Onderwerpen Bronnen Over Privacy Cookies Voorwaarden Contact Afmelden

© 2026 UniAgenda

We onthouden alleen je cookiekeuze, zodat we het je niet elke keer opnieuw vragen. Bewaarde evenementen en filters blijven in deze browser. Statistieken en marketing gaan pas aan als je dat goed vindt.

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

Terug naar de agenda

9dec17:30

Promotie TU Delft Delft

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

Promotie van M.L. Flippo

Aula · Delft

Officiële titel: Doctoral defence M.L. Flippo

Technische Universiteit Delft

Meer informatie bij de universiteitRoute