Future HIM Trimester Program Definability, decidability, and computability HIM Junior Trimester Program Computational multifidelity, multilevel, and multiscale methods HIM Trimester Program Advances in mechanism design