dinsdag 17 oktober 2023 14:30 - 15:30
Exploring Annotations for Deductive Verification
Voor meer informatie zie de Engelse website.
Meer events
wo 16 okt 2024 16:30 - 17:30Promotie Bernardo Palacios Muñiz | Impact of a Boiling Liquid: Droplets and Breaking Waves at Thermal Equilibrium
do 17 okt 2024 12:30 - 13:30Promotie Yue Ying | 3D Property Valuation in Vertical Cities
do 17 okt 2024 14:30 - 15:30Promotie Luka Koning | Fraud: Studies into Victimization and Prevention
do 17 okt 2024 16:30 - 17:30Promotie Martina Lamberti | Know the past to see the future: Memory and prediction in in-vitro cortical neurons
ma 21 okt 2024 16:30 - 17:30Promotie Alma Banigo | Hyaluronic acid and dextran hydrogels for tissue engineering applications