In this problem session, we will introduce the rewriting perspective on type inference and explore potential extensions.