Har lett meg vill på NTNUs hjemmesider etter når semesteret startet til høsten, uten å finne noe informasjon. Det er tiden for å planlegge en sommerferie, så; er det noen som vet når semesteret starter? 15. august?