COMP8011 Advanced Topics in Formal Methods and Programming Languages
S26 units8000-level
This course offers students a unique opportunity for the advanced study of a special thematic area within the discipline of Theoretical Computer Science. The topics will vary from year to year in response to emerging theoretical and practical issues in the discipline, as well as the research interests and expertise of academics and sessional staff. They will be drawn from the broad areas of formal methods and programming languages, and could include (but not limited to) the following topics: computational logic, category theory, concurrency theory, type theory, semantics of programming languages, computer-assisted theorem proving, model checking, formal methods for security, and formal verification of hardware and software systems.
- 2024S2
- 2025S1 S2
- 2026S2
- 2027S2
Prerequisites in 2024
Read automatically from the handbook's wording
The handbook also asks for something this site can't check (a permission code, a GPA, group membership or "equivalent" study). Read the original below.
The handbook's wording, and when it changed
To enrol in this course you must have successfully completed 12 units of 6000-level COMP courses. A permission code will be needed to enrol to ensure students have the required background for each Advanced Topic.
To enrol in this course you must have successfully completed 12 units of 6000-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.
What it leads to in 2024
No course names COMP8011 in its 2024 prerequisites.