SELECT DISTINCT s.StudentName
FROM Students AS s
JOIN Ticket_Purchases AS tp
     ON s.StudentID = tp.StudentID
JOIN Events AS e
     ON tp.EventID = e.EventID
WHERE s.Faculty = 'IE'
  AND e.EventName = 'Spring Festival';