donderdag 12 december 2019 16:30
DEDUCTIVE TECHNIQUES FOR MODEL-BASED CONCURRENCY VERIFICATION
Voor meer informatie zie de Engelse website.
Meer events
wo 24 apr 2024 13:00 - 14:00Talk: Ontketen uw data voor HPC en AI met het WEKA Data Platform
do 25 apr 2024 15:00 - 16:30eCMC Seminars: #1 Actieonderzoek
di 30 apr 2024 16:30 - 17:30Promotie Zahra Atashgahi | Advancing Efficiency in Neural Networks through Sparsity and Feature Selection
vr 3 mei 2024 12:30 - 13:30Promotie Rob Bemthuis | Emergent Behaviors in a Resilient Logistics Supply Chain
wo 8 - wo 15 mei 2024Erasmus+ Inspire Days