Courses COMP4011
COMP4011Advanced Topics in Formal Methods and Programming Languages
- 6 units
- 4000-level
- Rules as P&C publishes them for 2027
- Read from P&C on 30 September 2026 ↗
- See it on the course map
When it runs
From the class tab of the P&C page · future years are indicative2026
No Semester 1Semester 2
2027
No Semester 1Semester 2
2028
No Semester 1Semester 2
What P&C says
12 units of 3000 and/or 4000 level COMP courses. Additional Prerequisite courses for the Advanced Topic will be listed on the SoCo website when the course topic is announced. Students who meet the pre-requisites can request a permission code following the instructions Enrolling in CECC courses.Open COMP4011 on P&C (2027) ↗
How the planner reads it
All of these, in an earlier semester of your plan:
- 1 · UNITS12 units of 3000 or 4000-level COMP courses
Left for you to check
The planner can't check these, so a plan never passes or fails on them:
- “Additional Prerequisite courses for the Advanced Topic will be listed on the SoCo website when the course topic is announced. Students who meet the pre-requisites can request a permission code following the instructions Enrolling in CECC courses.”