Exercise sessions for the course Formal Systems and their Applications at KULeuven.