Effective and flexible SMT-streamlined software model checking
Approximate Bayesian inference based on dense matrices using INLA
Bachelor Info Day, get to know USI in half a day
XXVII Dies academicus
Events archive