Notices

  • Urgent request - 2pm today

    Posted by Sebastian Sequoiah-Grayson Wednesday 24 June 2026, 12:29:53 PM, last modified Wednesday 24 June 2026, 12:32:38 PM.

    Hi everyone! An urgent request with regard to ACS acfredition. If any of you are on campus and freee today at 2pm, and if you are doing either CS, Advanced CS, or any doubble degree with CS or Advanced CS, then please do come to Room 113 in K17 for a quick and fun Q& A.

    Many many thanks!!

  • I might be late today

    Posted by Sebastian Sequoiah-Grayson Thursday 18 June 2026, 09:35:11 AM.

    Greetings everyone! Today is Engineering Australia accreditation day (Tuesday was ACS). I am on a panel from 10-11. I should be on time for the lecture but if I am a little late then this is why. The tutors will do a little dance to keep you entertained :

  • I might be late today

    Posted by Sebastian Sequoiah-Grayson Thursday 18 June 2026, 09:34:51 AM.

    Greetings everyone! Today is Engineering Australia accreditation day (Tuesday was ACS). I am on a panel from 10-11. I should be on time for the lecture but if I am a little late then this is why. The tutors will do a little dance to keep you entertained :

Upcoming Due Dates

There is nothing due!

Back to top

COMP2111 26T2 (Foundations of Formal Methods) is powered by WebCMS3
CRICOS Provider No. 00098G