COS740 - Formal Methods (1)
Access to Campus
Note that access to campus is only possible once you have registered and you have an activated student card.
2016 Exam Perusals
Exam perusals for the Nov/Dec 2016 exams will take place 7 Feb 09:30 to 12:30 and 8 Feb 09:30 to 12:30, in IT 4-66.
COS700 Projects for COS740 Students
Students of COS740 are kindly reminded that there are COS700 research projects in Formal Methods available. In those projects, the task is typically to implement some support tools for an already existing Formal Method. Takers must be proficient coders, and must also feel at ease with logic and the mathematical symbols.
Class Representative is elected
Dear COS740 students, The class representative is elected: you can find his contact details on the right-hand-side of the COS740 web page.
Formal Methods in the Software Industry
If you are interested in the INDUSTRIAL RELEVANCE of Formal Methods, then please have a look at the "DeepSpec" Project ==> http://deepspec.org/about/
Assessment Scheme (up to approval by H.o.D.)
The envisaged ASSESSMENT SCHEME ---pending approval by Head of Department--- for COS740 this year is as follows. (Semester Weight : Exam Weight) = (6 : 4) Within the Semester, (Presentations Weight : Project Weight) = (3 : 7) whereby your total presentations mark will be the average of the marks obtained in all your individual presentations. With your thorough preparations for the presentations, you are already doing a good deal of your preparations for the final exam.
Special event, Tuesday 14 February
Students of COS740 are cordially invited to a special seminar by professor Valentin Goranko (University of Stockholm, Sweden) on the topic of LOGIC. Date: Tuesday 14th February, Time: 13.00h afternoon, Room: IT-4-66.
Homework for next week
HOMEWORK for ALL COS740 students: ==> http://link.springer.com/content/pdf/10.1007/3-540-46428-X_12.pdf Specific chapter-related to-do tasks (Chapters 1, 2, 3): as discussed in class.
1st Lecture: Thursday 9 February
1st Lecture of COS740: Thursday the 9th of February, 18:30h, in IT-4-3. I will explain the 'modalities' of the course for the remainder of this semester. All registered students MUST attend! Curious students, who have not finally decided about their module choices, are also welcome to 'have a look'.
The following TWO books are prescribed for COS740 this year: * Shaoying LIU, "Formal Engineering for Industrial Software Development: Using the SOFL Method", Springer. * Daniel VELLEMAN, "How to prove it: A structured approach", Cambridge University Press. Obtaining access to these books is the students' own responsibility.
For students with PRIVATE PROBLEMS
Any student with PRIVATE PROBLEMS, such as (for example): - Psychological issues or anxieties, - Grievance in the family, - Addictions of whatever type, - Financial shortages or debt, are encouraged to VISIT Sipho DLAMINI for private consultation and advice. Sipho DLAMINI can be found in the INFORMATICS department: IT Building, 5th floor.
THIS WEB PAGE IS THE STUDY GUIDE for COS740: FORMAL METHODS (1). Please carefully take note of all further announcements which will appear on this web page! In COS740 we study the ...Show Long Description
There are no tutors assigned.
There are no teaching assistants assigned.
H.o.D Office times
The dates and times are as follows:
- 3 February 12:30-13:30
- 10 February 12:30-13:30
- 13 February 08:00-09:00
- 17 February 12:30-13:30
- 20 February 08:00-09:00
- 27 February 08:00-09:00
- 6 March 08:00-09:00
- 10 March 12:30-13:30
- 13 March 08:00-09:00
- 17 March 12:30-13:30
- 24 March 12:30-13:30
- 27 March 08:00-09:00
- 31 March 12:30-13:30
Active Fitch Fork Assignments
No bookings available
No lab bookings available
Active Team Allocations
No team allocations available
No individual bids
No team bids
No individual bids