A Formális módszerek tárgyból elkészítendő házi feladathoz felajánlott konzultációs időpontok megtalálhatók a tárgy házi feladatok oldalán. A konzultáció nem kötelező.
Formális módszerek tárgyból szorgalmi feladat megoldására 2013. április 4-ig lehet jelentkezni. Részletek a tárgy szorgalmi feladatra vonatkozó oldalán olvashatók.