2IMF00 (2019-GS2) Seminar formal system analysis