Lectures

Name Staff Day Start Time End Time Weeks Room
1UGA Sebastian Sequoiah-Grayson
Tue 11:00 13:00 1-5,7-10 OMB 150
Thu 11:00 13:00 1-5,7-10 H13-E M032
1UGB Sebastian Sequoiah-Grayson
Tue 11:00 13:00 1-5 Online
Tue 11:00 13:00 7-10 Online
Thu 11:00 13:00 1-5,7-10 Online

Tutorial and Laboratory Blocks

Name Staff Day Start Time End Time Weeks Room
T14A Tue 14:00 16:00 1-5 Gold G01
Tue 14:00 16:00 7-10 BongoK17G7
T16A Tue 16:00 18:00 1-5 Gold G01
Tue 16:00 18:00 7-10 BongoK17G7
W10A Wed 10:00 12:00 1-5 Sqhouse208
Wed 10:00 12:00 7-10 BongoK17G7

Back to top

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