2IMF00 (2020-GS2) Seminar formal system analysis