• COMP6721 uses webCMS3 mainly for the course outline only.

    Posted by Enzo Lee Solano Friday 19 May 2023, 12:55:57 PM, last modified Saturday 20 May 2023, 01:02:46 PM.

    Here the course outline can be found; but assignments, quizzes, submission procedures are all done via Moodle, at

    (In particular, for this course, homework submissions are not via "give".)

Upcoming Due Dates

There is nothing due!

Back to top

COMP6721 23T2 ((In-)Formal Methods --- the lost art) is powered by WebCMS3
CRICOS Provider No. 00098G