Follow this link to get to the current website of the research seminar "Trends in Operating Systems".