Ebben a teremben formális nyelvekről lehet tanulni. Ezeket a nyelveket matematikai bizonyításokhoz, illetve programozáshoz használják. A teremben lévő segítők szívesen válaszolnak az esetleges kérdésekre.
Az ELTE típuselmélet kutatócsoport honlapja