Title: Semiclassical methods for many-body systems