Monash University > School of Computer Science and Software Engineering > CSE2303 > Announcements

CSE2303 Formal Methods I
Semester 1, 2005
News

Important announcements that are made during lectures will be recorded here.


[2005-03-05] dwa

All absentee forms for missed practical classes and tutorials, together with documentation, must be handed into the General Office in Building 75 by Friday 10th June.



[2005-03-05] dwa

This is a tentative schedule for the CSSE HELP exam drop-in centre.

The CSSE HELP room is G30(75). AM sessions are 10 to 1, PM sessions are 2 to 5.



[2005-03-05] dwa

Students doing CSE2303 Formal Methods I who fail the prac hurdle, may, depending on how well they do in the exam and the pracs, be given the opportunity to do a prac exam in order to pass the practical component of the course. This prac exam will be held in the first week of the second semester.



[2005-16-05] dwa

Dear FIT students

The university has asked that all units offered each semester across all faculties be evaluated. The faculty of Information Technology understands that student experiences vary from unit to unit and that is why we are asking for your comments on each unit you are studying. You should already have received a letter from the Centre of Higher Education Quality, (CHEQ) informing you about this evaluation of units.

We take the evaluation process very seriously as it represents an opportunity for you to give us feedback on your negative and positive learning experiences within the FIT units you have studied. So, if you have had a bad experience let us know and also if you have had a good experience we would also appreciate knowing about it.

The questionnaire is web based and located at http://my.monash.edu.au/units/ as communicated to you by (CHEQ). You have until June 3rd to complete it.

If you have any difficulties with this process can you please contact Christine Jessup, Education Adviser office of the ADE Christine.Jessup@infotech.monash.edu.au 99031940



[2005-14-03] dwa

CS HELP room is open for consultation from week 3 (March 14) onwards.



[2005-10-03] dwa

All students must do Prac 0 this week.



[2005-09-03] dwa

The Wednesday 10am that was scheduled to be held in Room EH1 will now be held in Room 105, Building 19.



[2005-07-03] dwa

Just a reminder that Monday March 14, Labour Day in Victoria, is not a University holiday. All classes will be running as usual.



[2005-05-03] dwa

On Tutorial Sheet 1, Question 16 should read as follows:

The language EQUAL over the alphabet {a, b} consists of those strings of a and b which have the same number of a's and b's. Give a recursive definition for the language EQUAL.

[ Top | Home ]

Last modified 3/6/2005