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.
Additional source review: awaiting review. Published wording is shown below.
Some conditions may need additional evidence or clarification. These are prototype interpretations, not ANU decisions or degree-completion checks.
Requisite and Incompatibility
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.
You will need to contact the School of Computing to request a permission code to enrol in this course.
Learning Outcomes
Upon successful completion, students will have the knowledge and skills to:
Demonstrate a broad knowledge in the advanced topic and its role and applications in modern computing systems
Critically evaluate the scientific literature related to the advanced topic and/or applications of the advanced topic in modern computing systems
Plan and execute project work and/or a piece of research and scholarship in the advanced topic
Reflect on current approaches of the advanced topic and evaluate their limitations
Published offerings
Future offerings are indicative. Only recognised 2027 sessions with a published class number are offered in the enrolment demo.
| Year | Session | Class number | Class start date | Last day to enrol | Census date | Class end date | Mode Of Delivery | Class Summary |
|---|---|---|---|---|---|---|---|---|
| 2027 | Second Semester | 10079 | 26 Jul 2027 | 02 Aug 2027 | 31 Aug 2027 | 29 Oct 2027 | In Person | N/A |
| 2028 | Second Semester | 10841 | 24 Jul 2028 | 31 Jul 2028 | 31 Aug 2028 | 27 Oct 2028 | In Person | N/A |
Complete offering text
ANU utilises MyTimetable to enable students to view the timetable for their enrolled courses, browse, then self-allocate to small teaching activities / tutorials so they can better plan their time. Find out more on the Timetable webpage. The list of offerings for future years is indicative only. Class summaries, if available, can be accessed by clicking on the View link for the relevant class number. 2027 2028 Second Semester Class number Class start date Last day to enrol Census date Class end date Mode Of Delivery Class Summary 10079 26 Jul 2027 02 Aug 2027 31 Aug 2027 29 Oct 2027 In Person N/A Second Semester Class number Class start date Last day to enrol Census date Class end date Mode Of Delivery Class Summary 10841 24 Jul 2028 31 Jul 2028 31 Aug 2028 27 Oct 2028 In Person N/A
Source evidence (2 saved copies)
Matching copies share this record. Their original file locations and checksums are retained.
assets/Courses/Computational Foundations/8000/Advanced Topics in Formal Methods and Programming Languages/Advanced Topics in Formal Methods and Programming Languages - ANU.html
Published ANU page · saved page URL
SHA-256: 593b38f70dbdb4ec088da0a5821d39c5ebc485e15db2390d527ab617f6dc7f55assets/Courses/Cyber Security/8000/Advanced Topics in Formal Methods and Programming Languages/Advanced Topics in Formal Methods and Programming Languages - ANU.html
Published ANU page · saved page URL
SHA-256: ea6df5f9e3ef7dcb75fae0c809ef3954bd1f22c1e670539536f177eed1916466